Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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