CONECTIVOS LÓGICOS LEYES DEL ÁLGEBRA

 Conjunción o Conjuntiva PROPOSICIONAL

p q pq 1. Leyes de absorción
V V V p(pq)  p p(pq)  pq
V F F p(pq)  p p(pq)  pq
2. Leyes de la condicional
F V F pq  pq pq  qp
F F F 3. Ley de Ídem potencia
 Disyunción o Disyuntiva ppp ppp
 Disyunción exclusiva 4. Leyes conmutativas
p Q pq pq  qp pq  qp
V V V pq  qp pqqp
V F V 5. Leyes de complemento
F V V pp  V (p)  p
pp  F
F F F
6. Unas más
 Disyunción inclusiva pq  pq pq  pq
p q pq pq  pq pq  pq
V V V 7. Leyes de morgan
V F F (pq)  pq
(pq)  pq
F V F
8. Leyes asociativas
F F F (pq)r  p(qr)
 Condicional o Implicación (pq)r  p(qr)
p q pq 9. Leyes distributivas
V V V p(qr)  (pq)(pr)
V F F 10. Leyes de la bicondicional
pq  (pq)(pq)
F V V
pq  (pq)(pq)
F F V
pq  (pq)(qp)
 Bicondicional o Doble pq  (pq)
implicación 11. Ley de la identidad
p q pq pV  V pp  V
V V V pF  F pp  F
V F F pV  p pp  F
F V F pF  p pp  V
F F V