Está en la página 1de 1

1

Lgica Simblica
Universidad de San Carlos de Guatemala Ingeniera en Ciencias y Sistemas Matemtica para Computacin I

Equivalencias Lgicas Equivalencia Nombre p T0 p Leyes de Identidad. p C0 p p T0 T0 Leyes de Dominacin. p C0 C0 ppp Leyes Indempotentes. ppp (p) p Doble Negacin. pq qp Leyes Conmutativas. pq qp (p q ) r p (q r) Leyes Asociativas. (p q ) r p (q r) (p (q r) (p q ) (p r) Leyes Distributivas. (p (q r) (p q ) (p r) (p q ) p q Leyes de De Morgan. (p q ) p q p (p q ) p Leyes de Absorcin. p (p q ) p p p T0 Leyes de Negacin. p p C0

Equivalencias lgicas relacionadas con implicaciones p q p q p q q p p q (p q ) p q (p q ) (p q ) (p q ) (p q ) (p r) p (q r) (p r) (q r) (p q ) r (p q ) (p r) p (q r) (p r) (q r) (p q ) r

(p q ) (p q ) (q p) (p q ) (p q ) (p q ) (p q ) (p q ) (p q ) (p q ) Donde: p, q, r = Proposiciones. T0 = Tautologa. C0 = Contradiccin.

También podría gustarte