MATH260 EXAM 1 (KEY)-VERSION C

1. (7 pts) Let p, q, r be propositions. Which among the following options is correct

about the compound proposition: (𝒑 𝑽 𝒓) 𝜦 [┐𝒑 ↔ (𝒒𝜦 𝒓)]?
a.
p q r (𝒑 𝑽 𝒓) 𝜦 [┐𝒑 ↔ (𝒒𝜦 𝒓)]
T T T F
T T F T
T F T T
T F F T
F T T T
F T F F
F F T F
F F F F

b.
p q r (𝒑 𝑽 𝒓) 𝜦 [┐𝒑 ↔ (𝒒𝜦 𝒓)]
T T T F
T T F T
T F T F
T F F F
F T T F
F T F F
F F T F
F F F F

1|Page
 MATH260 EXAM 1 (KEY)-VERSION C

c.
p q r (𝒑 𝑽 𝒓) 𝜦 [┐𝒑 ↔ (𝒒𝜦 𝒓)]
T T T T
T T F F
T F T F
T F F F
F T T F
F T F T
F F T T
F F F T

d. None of these
e.
p q r (𝒑 𝑽 𝒓) 𝜦 [┐𝒑 ↔ (𝒒𝜦 𝒓)]
T T T F
T T F T
T F T F
T F F F
F T T F
F T F F
F F T F
F F F T

2. (7 pts) [ p  (q  (r ))] 

a. [(p  r )  (q)]
b. [(p  (r ))  (q)]

2|Page
 MATH260 EXAM 1 (KEY)-VERSION C

c. [( p  r )  q]
d. None of these
e. [(p  (r ))  q]
3. (7 pts) Let A and B be two logically equivalent compound propositions. Then
a. 𝐴𝛬𝐵 is a contradiction
b. 𝐴𝛬𝐵 is a tautology
c. (AΛB)↔(A⋁B) is a tautology
d. None of these
e. (AΛB)↔(A⋁B) is a contradiction
4. (7 pts) Let (M) be the statement: “It is for our good whenever it stays”. The
inverse of (M) is
a. If it is for our good then it stays.
b. If it is not for our good then it will not stay.
c. If it does not stay then it is not for our good.
d. None of these
5. (6 pts) Let 𝐴 = {1,2,3}, 𝑀 = {𝑚, 𝑛}. Then
a. 𝐴 × 𝑀 = 𝑀 × 𝐴
b. 𝐴 × 𝑀 = {(1, 𝑚), (1, 𝑛), (2, 𝑚), (2, 𝑛), (3, 𝑚), (3, 𝑛)}
c. 𝐴 × 𝑀 = {(𝑚, 1), (𝑚, 2), (𝑚, 3), (𝑛, 1), (𝑛, 2), (𝑛, 3)}
d. 𝐴 × 𝑀 = {1,2,3, 𝑚, 𝑛}
e. None of these
6. (7 pts) Let 𝑈 = {1,2,3,4,5,6} be the universal set and A={1,4,6}. Then
a. 𝑃(𝐴̅) = {∅, {2}, {3}, {5}, {2,3}, {2,5}, {3,5}, {2,3,5}}
b. 𝑃(𝐴̅) = {∅, {2}, {3}, {5}, {2,3}, {2,5}, {3,5}, 𝑈}
c. 𝑃(𝐴̅) = {∅, {1}, {4}, {6}, {1,4}, {1,6}, {4,6}, {1,4,6}}
d. 𝑃(𝐴̅) = {∅, {1}, {4}, {6}, {1,4}, {1,6}, {4,6}, 𝑈}
e. None of these
7. (7 pts) ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐴 ⋂(𝐵 ⋃ 𝐶̅ ) =

3|Page
 MATH260 EXAM 1 (KEY)-VERSION C

a. ̅̅̅̅̅̅̅
𝐴 ⋃ 𝐵̅ ⋃ ̅̅̅̅̅̅̅
𝐴⋃𝐶
̅̅̅̅̅̅̅
b. 𝐴 ⋂ 𝐶̅ ⋂ ̅̅̅̅̅̅̅
𝐴⋂𝐵
𝐴 ⋃ 𝐵 ⋃ ̅̅̅̅̅̅̅
c. ̅̅̅̅̅̅̅ 𝐴 ⋃ 𝐶̅
d. ̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅
𝐴 ⋃ 𝐵̅ ⋂ 𝐴 ⋃𝐶
e. ̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅
𝐴 ⋃ 𝐵̅ ⋂ 𝐴 ⋃ 𝐶̅
8. (6 pts) Let A, B be any sets with 𝐴 ⊆ 𝐵. Then
a. None of these
b. |P(A × B)| ≤ |P(B × B)|
c. |P(B × B)| ≤ |P(A × B)|
d. |P(A × B)| = |P(B × B)|
9. (7 pts) Let L(x): “x is not a student at Lebanese International University.”, M(x):
“x is amazing.”, and domain of x be all students. Then the statement “Every student
at Lebanese International University is amazing” can be written as
a. ∀ x, ˥L(x) → M(x)
b. ∀ x, M(x) → ˥L(x)
c. ∀ x, ˥L(x) ⋀ 𝑀(𝑥)
d. ∀ x, M(x) ⋀ ˥𝐿(𝑥)
e. ∀x, M(x) → L(x)
f. ∀x, L(x) → M(x)
10. (6 pts) Let the domain of x be the set of positive real numbers. Then ∀𝑥, (𝑥 2 =
𝑥) is
a. a true statement
b. a false statement
11. (6 pts) Which among the following is false?
a. ∃𝑥∃𝑦, 𝑀(𝑥, 𝑦) ≡ ∃𝑦∃𝑥, 𝑀(𝑥, 𝑦)
b. ∀𝑥∀𝑦, 𝑀(𝑥, 𝑦) ≡ ∀𝑦∀𝑥, 𝑀(𝑥, 𝑦)
c. None of these
1
12. (7 pts) The negation of ∀𝑥, [( ∉ 𝑅) → (𝑥 = 0)] is
𝑥

4|Page
 MATH260 EXAM 1 (KEY)-VERSION C

1
a. ∃𝑥, [(𝑥 = 0) → ( ∉ 𝑅)]
𝑥
1
b. ∃𝑥, [( ∉ 𝑅) → (𝑥 = 0)]
𝑥
1
c. ∃𝑥, [( ∈ 𝑅) ⋀(𝑥 ≠ 0)]
𝑥
1
d. ∃𝑥, [( ∉ 𝑅) ⋀(𝑥 = 0)]
𝑥

e. None of these
1
f. ∃𝑥, [( ∉ 𝑅) ⋀(𝑥 ≠ 0)]
𝑥

13. (7 pts) Let the domain of x and y be all people. Let W(x): “x is a woman”, M(y):
“y is a man”, and L(x,y): “y loves x”. Then ∀𝑥∀𝑦, [(W(x) ⋀ 𝑀(𝑦)) → 𝐿(𝑥, 𝑦)]
means
a. Every man has a woman that loves him.
b. Every woman has a man that loves her.
c. Every woman is loved by all men.
d. Every man is loved by all women.
e. None of these.
14. (7 pts) If n is an even integer then
a. 6 − 𝑛3 is even.
b. 6 − 𝑛3 is odd.
c. 6 − 𝑛3 is sometimes even and sometimes odd.
15. (6 pts) Which among the following statements is a proposition?
a. I am taking care of my health.
b. Did you sign up to get the vaccine for Covid’19?
c. None of these
d. Do not allow anyone bother you.
e. Do you have any doubt that Palestine is an Arabic country?

5|Page