I.

Leyes o principios de la lgica

~ ~ p p Ley de ~ p q ~ p ~ q Ley de
involucin Morgan
p p p p Ley de ~ p q ~ p ~ q
idempotencia p q ~ p q Ley del
p p p p
condicional
pq q p Ley p q r p q r Ley
conmutativa asociativa
pq q p p q r p q r
pqq p
p q r p q r
p q p q q p Ley del p p q p Ley de
bicondicional reduccin
p q p q ~ p ~ q p p q p
p q ~ q ~ p p q ~ q ~ p
Leyes de trasposicin
p ~ p V Leyes del V p p Elemento neutro
complemento F p F
p ~ p F V p V
~ V F F p p
~ F V
V : Tautologa F : Contradiccin

A. LOS TRES PRINCIPIOS LOGICOS CLASICOS

1. Ley de identidad

{ una proposicin slo son idnticos as mismo

2. Ley no contradiccin

( ) una proposicin no puede ser verdadero y falso a la vez

3. Ley del tercio excluido

una proposicin es verdadero o es falso no hay una tercera posibilidad

B. EQUIVALENCIAS NOTABLES

1. Ley de la doble negacin

( ) la negacin de la negacin es una afirmacin

2. Ley de la Idempotencia

) )
3. Leyes Conmutativas

) ) )

4. Leyes Asociativas

a) p (q r) (p q) r b) p (q r) (p q) r c) p (q r) (p
q) p

5. Leyes Distributivas

) ( ) ( ) ( ) ) ( ) ( ) ( )

) ( ) ( ) ( ) ) ( ) ( ) ( )

6. Leyes De Morgan

) ( ) ) ( )

7. Leyes del Condicional

) ) ( )

8. Leyes del Bicondicional

) ( ) ( ) ) ( ) ( )

9. Leyes de la Absorcin

) ( ) ) ( ) ) ( )
) ( )

10. Leyes de Transposicin

) )

11. Leyes de Exportacin

) ( ) ( ) ) (1 2 )
(1 2 1 ) ( )

12. Elementos Neutros para la Conjuncin y Disyuncin

) ,
) ,

13. Tambin:

) ( ) ( ) ) ( ) ( )