Lgica. Manuel Sierra A.

1

Reglas de la Implicacin I

1. Modus Ponens (MP) 2. Modus Tollens (MT)

A B A B A . B .

B A

3. Hypothetical Syllogism (HS) 4. Disjunctive Syllogism (DS)

A B A B B C . A . A C B

Reglas de la Implicacin II

5. Constructive Dilemma (CD) 6. Simplification (Simp)

(A B) (C D) A C . A B . B D A

7. Conjunction (Conj) 8. Addition (Add)

A B . . A . A B A B

Lgica. Manuel Sierra A.

2

Reglas de Reemplazo I

9. DeMorgans Rule (DM) 10. Commutativity (Com)

(A B) (A B) (A B) (B A)

(A B) (A B) (A B) (B A)

11. Associativity (Assoc) 12. Distribution (Dist)

[A (B C)] [(A B) C] [A (B C)] [(A B) (A C)]

[A (B C)] [(A B) C] [A (B C)] [(A B) (A C)]

13. Double Negation (DN)

A A

Reglas de Reemplazo II

14. Transposition (Trans) 15. Material Implication (Impl)

(A B) (B A) (A B) (A B)

16. Material equivalence (Equiv) 17. Exportation (Exp) (A B) [(A B) (B A)] [(A B) C] [A (B C)]

(A B) [(A B) (A B)]

18. Tautology (Taut)

A (A A)

A (A A)