NAME: CHRISTOPHER TRANX DE LOS REYES __A__10.

This logical operator is true only if both p and q

FROM: 2.1 BSED-MATH have similar truth value
A. Biconditional C. Implication
PROBLEM SET 1 B. Exclusive Or D. Disjunction

I. DIRECTION: Write the CAPITAL letter of the correct

answer on the space provided. Write E if the answer is not on II. For Numbers 11-15, provide the justification using the
the choices. elementary valid forms for each line below the conclusion:

__A__1. It is the science of correct thinking. 1. � → ¬�

A. Logic C. Disjunctive Logic 2. ¬� → (� → ¬�)
B. Propositional Logic D. Conjunctive Logic
3. (¬� ∨ ¬�) → ¬(¬�)
4. ¬� ∕ ∴ ¬�
__D__2. A logical operator that is only false when it connects
two true propositions. 5. ¬� ∨ ¬� (11) _______4 Add._______
A. AND C. IF-THEN
B. OR D. XOR
6. ¬(¬�) (12) _______3,5 M.P.______
__A__3. A compound proposition that is neither always false
nor always true is called
A. Contingency C. Tautology 7. ¬� (13) _______1,6 M.T.______
B. Contradiction D. Implication

__B__4. The biconditional: p↔q will only be false if 8. � → ¬� (14) _______2, 7 M.P.______
A. p is true and q is true
B. p is false and q is true
C. p is false and q is false 9. ¬� (15) _______8, 6 M.T.______
D. none of these

__C__5. Which of the following is logically equivalent to � → III. For Numbers 16-20, prove the validity of the following
(� → �) ? argument by providing five premises and their corresponding
A. � ∨ � ∨ ¬� C. (� ∧ �) → � Rule of Inference.
B. � ∧ � ∧ ¬� D. � → (� → �)
1. � → �
__C__6. What is the negation of � ∧ ¬� ? 2. (� ∧ �) → �
A. ¬� ∨ ¬� C. ¬� ∨ � 3. (� ∧ �) → � ∕∴ � → (� ∧ �)
B. � ∨ ¬� D. ¬(¬� ∨ �)

4. � → (� ∧ �) (16) _______1 Abs._______

__B__7. Which of the following is not equivalent to p↔q ?
A. ( � → �) ∧ (� → �) C. (� ∨ �) ∧ (¬� ∨ ¬�)
B. (� → �) ∨ (¬� → ¬�) D. ¬� ↔ ¬� 5. � → � (17) _______4,1 H.S.______

__C__8. Which of the following is a tautology?

6. � → (� ∧ �) (18) _______5, Abs.______
A. ((� → �) ∧ �) → �
B. (� → �) ∧ (� → �) → (� → �)
7. � → � (19) _______6, 3 H.S._____
C. (� → �) ∧ ¬� → ¬�
D. � ∨ �) ∧ ¬� → �
8. � → (� ∧ �) (20) _______7, Abs.______
__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.
B. If you get good grades then you study hard.
C. If you do not study hard then you do not get good grades.
D. If you do not get good grades then you do not study hard.