Formulario Resumen de Leyes y Equivalencias L1gicas

Apuntes

Formulario Resumen de Leyes y Equivalencias Lógicas Proposiciones: p,q,r Valores de Verdad: V (Verdadero / Tautología), F (Falso / Contradicción) Leyes de Idempotencia p∧p≡p p∨p≡p Leyes Conmutativas p∧q≡q∧p p∨q≡q∨p p△q≡q△p (para Disyunción Exclusiva) p↔q≡q↔p (para Bicondicional) Leyes Asociativas (p∧q)∧r≡p∧(q∧r) (p∨q)∨r≡p∨(q∨r) (p△q)△r≡p△(q△r) (para Disyunción Exclusiva) (p↔q)↔r≡p↔(q↔r) (para Bicondicional) Leyes Distributivas p∧(q∨r)≡(p∧q)∨(p∧r) p∨(q∧r)≡(p∨q)∧(p∨r) Leyes de De Morgan ¬(p∧q)≡¬p∨¬q ¬(p∨q)≡¬p∧¬q Ley de la Doble Negación ¬(¬p)≡p Leyes de Identidad p∧V≡p p∨F≡p p∧F≡F p∨V≡V Leyes de Complemento (o de Negación) p∧¬p≡F (Contradicción) p∨¬p≡V (Tautología / Tercero Excluido) Leyes de Absorción p∧(p∨q)≡p p∨(p∧q)≡p Equivalencias para Condicional (→) p→q≡¬p∨q p→q≡¬q→¬p (Contrapositiva) ¬(p→q)≡p∧¬q (Negación del Condicional) Equivalencias para Bicondicional (↔) p↔q≡(p→q)∧(q→p) ...