Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
p (p)
2.
p q q p
Leyes conmutativas de la
disyuncin,
de la conjuncin,
de la bicondicional.
3.
p q r p q r
p q r p q r
Leyes asociativas de la
disyuncin,
de la conjuncin,
p q q p
p q q p
4.
p q r p q r
de la bicondicional.
p q r p q p r
Leyes distributivas
p q r p q p r
5.
6.
7.
p p p
p p p
p p c
p c c
p t t
p t p
p p t
p p c
Leyes de idempotencia
p q p q
Leyes de De Morgan.
Leyes de identidad
p q p q
p q p q
p q p q
8.
9.
10.
p q q p
p q p q
p q p q
p q p q
p q p q
11.
p r q r p q r
p q p r p q r
12.
p q p q q p :
p q r p q r
13. (p q) (p
q) c
Ley de la contrapositiva
Leyes de la implicacin
Ley de la equivalencia
Ley de la reduccin al
absurdo
14. (p q) (p q)
15. (p c)
Si tenemos
P = (pc)(pq) , entonces podemos construir
P= (p)(pq)
y
despus
P= (p)( pq), y luego P= ((p) p) q para obtener finalmente P= (p p)
q. Observe que los parntesis se usan slo para agrupar las proposiciones y se pueden
desaparecer cuando la proposicin que obtengamos sea la misma.
Pregunta: Cules fueron las leyes usadas y en qu orden en el ejemplo anterior?
p (p q) q
5.
5. (p q)
6.
6. p q (p q)
p p q
(p q) p
(p q)
q
p q
Modus ponens
Adicin
Simplificacin
Modus tollens
Silogismo disyuntivo
7.
(p q) (q r) (p r)
8.
(p q) (p r) (q r)
(p q) (p r) (q r)
(p q) (q r) (p r)
9.
(p q) (r s) (p r) (q s)
(p q) (r s) (p r) (q s)
10. (p q) (r s) (
r)
(p q) (r s) (
r)
q s) (
Transitividad de o
silogismo hipottico
Dilemas constructivos
q s) ( p