ACTIVITY NO.

1. Use Rules of Replacement to show that the given propositions below are logically
equivalent to each other. ¬ ( 𝑺 ∨ 𝑻 ) → 𝑷 ≡ ¬ ( ¬𝑻 → 𝑷 ) → 𝑺

Answer:
¬ (S ∨ T) → P
¬ S ∧ ¬ T → P ≡ DM
¬ T ∧ ¬ S → P ≡ COMM
¬ T ∧ ¬ S → ¬ ¬ ¬ P ≡ DN
¬ T ∧ ¬ P → S ≡ C+
¬ (T ∨ P) → S ≡ DM
¬ (¬ ¬ T ∨P) → S ≡ DN
¬ (T → P) → S ≡ MI

2. Using Rules of Replacement show that ((𝒑→𝒒)∧𝒑)→𝒒 is a tautology

Answer
((~p v q) ∧ p) → q = MI
(p ∧ (~p v q)) → q = COMM
((p ∧~ p) v (p ∧ q)) → q = DIST
Ø v (p ∧ q) → q = IDENT
- (p ∧ q) v q = MI
-p v -q v q = DM
-p v 1 = IDENT
-p v 1 Tautology.