Leyes lógicas
1.- ley de impotencia
PʌPΞ P
; PvPΞ P
2.- Ley conmutativa
pʌqΞ qʌp
; pvqΞ qvp
3.- Ley asociativa
pʌ(qʌr)Ξ (pʌq)ʌr
pv(qvr)Ξ (pvq)vr
4.-Ley de negación
̴( ̴p)Ξ p
pʌ ̴pΞ F ;
pv ̴pΞ V
5.- Ley de identidad
P ʌ VΞ
P ;
pvFΞ P
6.- Ley de Morgan
̴(pvq)Ξ ̴pʌ ̴q
̴(pʌq)Ξ ̴pv ̴q
7.- Ley de implicación
p→qΞ ̴pvq
8.-Ley distributiva
pʌ(qvr)Ξ(pʌq)v(pʌr)
pv(qʌr)Ξ(pvq)ʌ(pvr)
9.-ley de absorción
pʌ(pvq)Ξp p ʌ FΞ F
pv(pʌq)Ξp
pvVΞ V
10.- definición de doble implicación
P↔qΞ (p→q)ʌ(q→p)
No hay comentarios.:
Publicar un comentario