NAME: CHRISTOPHER TRANX DE LOS REYES C. If you do not study hard then you do not get good grades.

FROM: 2.1 BSED-MATH D. If you do not get good grades then you do not study hard.

PROBLEM SET 1 __A__10. This logical operator is true only if both p and q
have similar truth value
I. DIRECTION: Write the CAPITAL letter of the correct A. Biconditional C. Implication
answer on the space provided. Write E if the answer is not on B. Exclusive Or D. Disjunction
the choices.

__A__1. It is the science of correct thinking. II. For Numbers 11-15, provide the justification using the
A. Logic C. Disjunctive Logic elementary valid forms for each line below the conclusion:
B. Propositional Logic D. Conjunctive Logic
1. p →¬ q
__D__2. A logical operator that is only false when it connects
two true propositions.
2. ¬ p →(r → ¬q)
A. AND C. IF-THEN 3. (¬ s ∨ ¬r )→ ¬(¬q)
B. OR D. XOR 4. ¬ s ∕ ∴ ¬ r

__A__3. A compound proposition that is neither always false 5. ¬ s ∨¬ r (11) _______4 Add._______
nor always true is called
A. Contingency C. Tautology
B. Contradiction D. Implication 6. ¬(¬ q) (12) _______3,5 M.P.______

__B__4. The biconditional: p↔q will only be false if

A. p is true and q is true 7. ¬ p (13) _______1,6 M.T.______
B. p is false and q is true
C. p is false and q is false
D. none of these 8. r →¬ q (14) _______2, 7 M.P.______

__C__5. Which of the following is logically equivalent to

p →(q → r ) ? 9. ¬ r (15) _______8, 6 M.T.______
A. p ∨q ∨ ¬r C. ( p ∧q)→ r
B. ( p ∧q ) ∧ ¬r D. r →(q → p)
III. For Numbers 16-20, prove the validity of the following
__C__6. What is the negation of p ∧¬ q ? argument by providing five premises and their corresponding
Rule of Inference.
A. ¬ p ∨¬ q C. ¬ p ∨ q
B. p ∨¬ q D. ¬(¬ p ∨ q) 1. m →n
2. (m ∧n)→ o
__B__7. Which of the following is not equivalent to p↔q ?
3. (m ∧o)→ p ∕ ∴ m →(m∧ p)
A. ( p → q)∧(q → p) C. ( p ∨q) ∧(¬ p ∨¬ q)
B. ( p → q)∨(¬ p → ¬q) D. ¬ p ↔ ¬q
4. m →(m∧ n) (16) _______1 Abs._______
__C__8. Which of the following is a tautology?
A. ((p → q)∧q)→ p 5. m →o (17) _______4,1 H.S.______

B. ( (p → q)∧(q → r) ) →(r → p)

C. ( (p → q)∧¬ p ) → ¬q 6. m →(m∧ o) (18) _______5, Abs.______

D. ( p ∨q ¿∧¬ p ) → q
7. m → p (19) _______6, 3 H.S._____
__C__9. What is the Converse of the Contrapositive of the
statement: “If you study hard then you get good grades.”?
A. If you study hard then you get good grades. 8. m →(m∧ p) (20) _______7, Abs.______
B. If you get good grades then you study hard.