3. Artificios Exportacin (Exp.) [(p q) r) [ p ( q r) ] Expansin (Expan.) p [p (q q)] p [p ( q q)]
Absorcin (Abs.) [(pq)p] p [(pq)p] p [(pq)p] (pq) [(pq)p] (pq)
4. Reglas de Equivalencia: R1) (T C) C R2) (T C) T R3) (T T) T R4) (T T) T R5) ( C) R6) ( C) C R7) ( ) R8) ( ) Donde T = Tautologa = Contradiccin C = Consistencia
Ejercicios 1. Halle el equivalente de ( ) ( ) A) B) C) (A B) D) (A B) E)
2. La frmula p q, es equivalente a: A) p q B) p q C) p q D) q p E) pq
3. Simplificar: ( ) A) qp B) pq C) p q D) p q E) pq
LA IMPLICACIN
* A implica a B cuando B es una consecuencia lgica de A * AB es una implicacin cuando es una condicional tautolgica * Una inferencia vlida es cualquier condicional tautolgico * Una inferencia invlida es un condicional contingente o contradictorio p q [(pq)q] p V V F V F V F F V F F V F V V F F V V V