Formal proof of Validity: Rules of Replacement

Описание: The Rule of Replacement means Any proposition can be replaced by a logically equivalent proposition.Two propositions are logically equivalent if they have exactly the same truth-values under every possible interpretation.
We will use the sign “≡” to express this notion.
De Morgan's Theorems (De M.)
Commutation (Com.)
Association (Assoc.)
Distribution (Dist.)
Double Negation (D.N.)
Transposition (Trans.)
Implication (Impl.)
Equivalence (Equiv.)
Exportation (Exp.)
Tautology (Taut.)
There is one typo error in the rule of Implication. Correct rule is (p ⊃ q) ≡ ( ~ p v q)
#FormalLogic