jueves, 23 de febrero de 2017

LEYES LOGICAS


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Ξ 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