[p ∨ (q & r)] ≡ [(p ∨ q) & (p ∨ r)]. 14. Kahekordne eitus (DN) p ≡ ¬¬p. 15. Transpositsioon (Trans, Contra) p → q ≡ ¬q → ¬p. 5 16. Materiaalne implikatsioon (Impl, CE) p → q ≡ ¬p ∨ q. 17. Materiaalne ekvivalents (Bic) (Equiv) p↔q ≡ [(p → q) & (q → p)]; p↔q ≡ [(p & q) ∨ (¬p & ¬q)]. 18. Väljaviimisreegel (Exp) [(p & q) → r] ≡ [p → (q→ r)]. 19. Tautoloogia (Taut, Red) p ≡ p ∨ p; p ≡ p & p. Asendusreegel on samuti tuletusreegel, kuid asendusreeglil on täiendavaid omadusi, seda saab kasutada ka asendamiseks. Kasutades asendusreeglit (teisendusreeglit) tuletusreeglina viiakse tuletussamm läbi seda teisendusreeglit kasutades. Nt 1. E & D→ P & R (eeldus); 2. D & E (eeldus); ∴ R & P (postuleeritud järeldus). See kehtib, sest: 3. E & D (2. põhjal; Com) teisendusreeglit kasutatakse tuletusreeglina; 4. E & D→ R & P (1. põhjal; Com) reeglit kasutatakse eelduse osa kohta, tuletusreegli puhul pole see lubatud. Siin võinuks seda
16. Materiaalne implikatsioon (Impl, CE) p q ¬p q. 17. Materiaalne ekvivalents (Bic) p q [(p q) & (q p)]; (Equiv) p q [(p & q) (¬p & ¬q)]. 18. Väljaviimisreegel (Exp) [(p & q) r] [p (q r)]. 19. Tautoloogia (Taut, Red) p p p; p p & p. Asendusreegel on samuti tuletusreegel, kuid asendusreeglil on täiendavaid omadusi, seda saab kasutada ka asendamiseks. Kasutades asendusreeglit (teisendusreeglit) tuletusreeglina viiakse tuletussamm läbi seda teisendusreeglit kasutades. Nt 1. E & D P & R (eeldus); 2. D & E (eeldus); R&P (postuleeritud järeldus). See kehtib, sest: 3. E & D (2. põhjal; Com) teisendusreeglit kasutatakse tuletusreeglina; 4. E & D R & P (1
annaabi.ee 
