Leyes logicas

                LEYES LOGICAS

 

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)