Universidad Tecnológica Nacional

Facultad Regional Resistencia

Ingeniería en Sistemas de Informacion
Matematica Discreta

Unidad 1 Lógica Proposicional

Leyes de Simplificación
 LEYES LÓGICAS
 

Ley de la doble negació n: -(-p) ≡ p

L. de Identidad: p  V ≡ p
pvF≡p

 
 LEYES LÓGICAS
 

L. Idempotentes: p v p ≡ p
pp≡p

L. Conmutativa: p v q ≡ q v p
pq≡qp

L. Asociativas: (p v q)v r ≡ p v(q v r)

(p  q)  r ≡ p (q  r)
 LEYES LÓGICAS
 

• L. de De Morgan:
- (p  q )≡ -p v -q
- (p v q) ≡ -p  -q

• L. Distributivas:p v(q  r) ≡ (p v q) (p v r)

p (q v r) ≡ (p  q)v(p  r)
 LEYES LÓGICAS
 

• Ley del condicional de la conjunció n

p → q ≡ -(p  -q ) ≡-p v-(-q) ≡-pvq

• Ley del condicional de la disyunció n

p → q ≡ -p v q
 LEYES LÓGICAS
 

L. de Absorció n: p v (p  q) ≡ p
p  (p v q) ≡ p

L. de negació n o inversas:
p v-p ≡ V
p  -p ≡ F

L. de Dominació n: p v V≡ V
pF≡F