LÓGICA

Equivalencias de Lógica de Proposiciones

p → q ≡ ¬p ∨ q condicional-disyunción
p → q ≡ ¬(p ∧ ¬q) condicional-conjunción
(p ↔ q) ≡ [ (p → q) ∧ (q → p) ]
DEFINICIÓN DE
CONECTIVAS

ley del bicondicional

(p ↔ q) ≡ (p ∧ q) ∨ (¬p ∧ ¬q)
p ⊕ q ≡ (p ∧ ¬q) ∨ (¬p ∧ q) definición de la disyunción exclusiva
p ↓ q ≡ ¬p ∧ ¬q
EQUIVALENCIAS MÁS IMPORTANTES DE LA LÓGICA DE PROPOSICIONES

definición de la negación conjunta (NOR)

p ↓ q ≡ ¬(p ∨ q)
p ↑ q ≡ ¬p ∨ ¬q
definición de la negación alternativa (NAND)
p ↑ q ≡ ¬(p ∧ q)
p≡p
p∨F≡p leyes de identidad
p∧V≡p
p∨V≡V
leyes de dominación
p∧F≡F
p∨p≡p
leyes de idempotencia
p∧p≡p
LEYES BÁSICAS

p ∨ ¬p ≡ V ley del tercio excluso

p ∧ ¬p ≡ F ley de contradicción
¬¬p ≡ p ley de la doble negación
p∨q≡q∨p
leyes conmutativas
p∧q≡q∧p
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
leyes asociativas
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
(p ∨ q) ∧ (p ∨ r) ≡ p ∨ (q ∧ r)
leyes distributivas
(p ∧ q) ∨ (p ∧ r) ≡ p ∧ (q ∨ r)
¬(p ∧ q) ≡ ¬p ∨ ¬q
leyes de De Morgan
¬(p ∨ q) ≡ ¬p ∧ ¬q
p ∨ (p ∧ q) ≡ p
leyes de absorción
p ∧ (p ∨ q) ≡ p
OTRAS
LEYES

p ∨ (¬p ∧ q) ≡ p ∨ q
leyes de absorción (menos frecuentes)
p ∧ (¬p ∨ q) ≡ p ∧ q
(p ∧ q) ∨ (¬p ∧ q) ≡ q
ley de casos
(p ∨ q) ∧ (¬p ∨ q) ≡ q

1c Lógica de Proposiciones - equivalencias.docx (2017-11-02T10:20:00) 1