7.4 Rules Of Replacement Ii
Download as PPT, PDF1 like1,971 views
The document outlines various rules of replacement in logical expressions, including transposition, material implication, and material equivalence. It details how specific formulas can be transformed based on these rules. Additional rules such as exportation and tautology are also discussed.
7.4 Rules Of Replacement Ii
- 1. 7.4 Rules of Replacement II
- 2. Rules of replacement Rule #14 Transposition (Trans) (P > Q) becomes (~Q > ~P) Rule #15 Material implication (Impl) (P > Q) becomes (~P v Q) Rule #16 Material equivalence (Equiv) (P = Q) becomes (P > Q) · (Q > P) (P = Q) can also become (P · Q) v (~P · ~Q)
- 3. Rules, continued Rule #17 Exportation (Exp.) (P · Q) > R becomes P > (Q > R) Rule #18 Tautology P can be rewritten as P v P. P can also be rewritten as P · P.