Instituto Superior de Formacin Docente N19

Profesorado de Matemtica
ALGEBRA Y GEOMETRA I

Leyes Lgicas
1) p p p ; p
2)

p p

(leyes de idempotencia)

( p) p

(ley de involucin)

3) p q p ; p q q

(leyes de simplificacin)

4) p p q

(ley de adicin)

5) p q q p ; p q q p
6) (p q) r p ( q r) ;

(leyes conmutativas)

( p q) r) p (q r)

7) p (q r) (p q) ( p r)

p q
9) (p q) p q
10) (p q) p q
11 ) (p q) p q
8) p q

(leyes asociativas)

p (q r) (p q) (p r)

(leyes distributivas)

( equivalencia entre una implicacin y una disyuncin)

(ley de De Morgan para la negacin de una disyuncin)
(ley de De Morgan para la negacin de una conjuncin)
(ley de la negacin de una implicacin)

12) (p q) p q

(modus ponens o modo positivo)

13) (p q) q p

(modus tollens o modo negativo)

14) (p q) (q r) ( p r)
15) (p q)

p q

16) (p q) (p q) (q p)
17) p q

q p

(ley del silogismo hipottico)

(ley del silogismo disyuntivo)
( la equivalencia equivale a la conjuncin de
una implicacin y su recproca)
(equivalencia entre una proposicin y su contrarrecproca)

18) (p q) (q r) (p r)
19) (p q) (q r) (p r)
20) p q (p q r r)

(base del mtodo del absurdo)