Está en la página 1de 1

2.

LEY
DEL
PROPOSICIONES:

ALGEBRA

DE

2.8) Leyes condicionales:


pqpq

Esta formada por equivalencias logicas , las


cuales nos permiten simplificar un problema
y expresarlo en forma mas sencilla

2.1) Leyes del tercio excluido: Una


proposicin o es verdadera, o es
falsa; no existe una tercera
posibilidad.
ppV
2.2)

2.9) Leyes bicondicionales:


p q (p q) (q p)

ppF

Ley de involucin
negacin:

p q (p q) ( p q)
doble

2.10) Leyes de absorcin:


p (p q) p

~ (~ p) p

p (p q) p

2.3) Ley de idempotencia:

p ( p q) p

ppp

ppp

p ( p q) p

2.4) Leyes conmutativas:

pqqp
pqqp
pqqp
2.5) Leyes asociativas:
(p q) r p (q r)

2.11) Leyes de la no contradiccin:


Una proposicin no puede ser
falsa y verdadera a la vez.
(p p)
2.12) Leyes de complemento:

(p q) r p (q r)

(p p) V

2.6) Leyes distributivas:

(pp) F

p (q r) (p q) (p r)
p (q r) (p q) (p r)
2.7) Leyes de Morgan:
(p q) p q
(p q) p q

2.13)

Formas normales para


conjuncin y disyuncin
VVV

FFF

pVp

pFp

pFF

pVV

la