You are on page 1of 1

¬( p → q ) → ¬q

¬¬ (¬p ∨ q ) ∨ ¬q ; Law of Identity (Logical Equivalence in Sir’s Video) (2 times)


(¬p ∨ q ) ∨ ¬q ; Double Negation Law
¬p ∨ ( q ∨ ¬q ) ; Associative Law
¬p ∨ T ; Negation Law
T ; Domination Law
T = Tautology

You might also like