Pruebas de deducción natural

Método Demostrativo

REGLAS Y LEYES LÓGICAS

 Método Demostrativo

Método sintáctico (estudia las relaciones entre las

proposiciones y la conclusión) de análisis de validez.
Busca demostrar que la conclusión se infiere de las
premisas. Utiliza ciertas reglas y leyes lógicas.
Ventaja: se utiliza cuando un razonamiento tiene muchas
variables proposicionales, para evitar que la tabla de verdad
en el TCA tenga muchos renglones.
Desventajas: Depende del ingenio de quien lo aplica, y no
prevé un resultado que sea muestra de invalidez. Si la
demostración se realiza el razonamiento será válido. Pero si
no se realiza no queda demostrada la validez o invalidez del
razonamiento.
 Reglas lógicas

Las reglas lógicas son modelos de razonamientos

válidos.
No modifican premisas, se aplican ENTRE ellas.
Se expresan mediante metavariables (variables de
variables). Así, en el siguiente ejemplo:
AvB
A y B pueden reemplazarse por cualquier fórmula:

pvq (p─q)vr p v ─(qr)

A B A B A B
 Modus Ponens (MP)

Modus Ponendo Ponens

AB
A
B
Ejemplos
pq p(qr) ─(pvq) r
p p ─(pvq)
q qr r
 Prueba de deducción natural

p  q 1. p  q
q r 2. q  r
p se expresa 3. p  r
r

1. p  q Ejemplo
2. q  r
3. p  r
4. q de 1 y 3 por MP
5. r de 2 y 4 por MP
 Ejercitación de la regla anterior

Ahora resuelva:

1. p  ( ─ q  r )
2. ─ q
3. p  r
4. ─ q  r de 1 y 3, MP
5. r de 4 y 2, MP
 Modus Tollens (MT)

Modus Tollendo Tollens

AB
─ B
─ A
Ejemplos
pq p─(qvr) ─(pvq) r
─q ──(qvr) ─r
─p ─ p (pvq)
 Estamos presuponiendo: ─ ─ A  A
 Ejercitación de reglas anteriores
Ejemplo Resuelva:

1. p  ( ─ q  r ) 1. ─ ( p  q )  r
2. p 2. p
3. ─ r q 3. ─ r  q
4. ─ q  r de 1 y 2 por MP 4. p  q de 1 y 3, MT
5. q de 4 y 3 por MT 5. q de 4 y 2, MP
 Simplificación (S)
Simplificación ¿En cuáles de las
siguientes expresiones se
AB puede aplicar esta regla?
A
1. ─ ( p  q )
O también 2. p  ( q  r )
AB 3. ( p v ─ q )  r
B
Respuesta: sólo en 3.
(pv─q)r
r
 Ejercitación de reglas anteriores
Ejemplo Resuelva:

1. p  (─ q  r )
1. p  ( q  ─ r )
2. p  ─ r  q
2. p  q 3. p de 2, S
3. q  ─ r de 1 y 2, MP 4. ─ q  r de 1 y 3, MP
4. q de 3, S 5. ─ r de 2, S
6. q de 4 y 5, MT
 Silogismo hipotético (SH)
 Silogismo hipotético Resuelva
A  B
B  C 1. p  ─ q
A  C
2. r  s
Ejemplo 3. ─ q  r  p  s
p─r 4. p  r de 1 y 3, SH
t p 5. p  s de 4 y 2, SH
t ─r
 Silogismo disyuntivo (SD)

Silogismo disyuntivo Resuelva

AvB AvB 1. p  ( q v ─ r )
─A ─ B 2. p  r  q
B A 3. p de 2, S
4. q v ─ r de 1 y 3, MP
Ejemplo 5. r de 2, S
(p─q)vr 6. q de 4 y 5, SD
─(p─q)
r
 Conjunción (C)

Conjunción Resuelva
A 1. ( p  q )  ─ r
B 2. p  ─ t
AB 3. ─ q  t  ─ r
4. p de 2, S
Ejemplo 5. ─ t de 2, S
p 6. q de 3 y 5, MT
pq 7. p  q de 4 y 6, C
p(pq) 8. ─ r de 1 y 7, MP
 Adición (A)
Adición  1. ( p v q )  ─ r
A 2. p  ─ r
AvB 3. p v q de 2, A
4. ─ r de 1 y 3, MP
Ejemplo  1. ( p  q ) v r
2. ─ q  ─ r
p 3. ─ q ─pv─t
pv─(qr) 4. ─ r de 2 y 3, MP
5. p  q de 1 y 4, SD
6. ─ p de 5 y 3, MT
Resuelva: 7. ─ p v ─ t de 6, A
 Leyes lógicas

Las leyes lógicas expresan equivalencias entre

pares de fórmulas.
Se usan como reglas de inferencia y permiten, en
cualquier paso de la demostración, reemplazar una
expresión por otra equivalente. Así:
2 + 3 = 2 + (3 x 1)
Análogamente:
p─(qvr)  p  (─ q  ─ r )
 Teoremas de De Morgan (DM)
Teoremas de De Morgan Ejemplos
1. p  ─ ( q v r )
─(AvB)(─A .─B) 2. p  ─ q
3. p  ( ─ q  ─ r ) de 1, DM
─ ( A . B)  ( ─ A v ─ B ) 4. ─ q  ─ r de 2 y 3, MP
5. ─ q de 4, S
Se pueden aplicar dentro O también
de un paréntesis 3. ─ ( q v r ) de 1 y 2, MP
4. ─ q  ─ r de 3, DM
5. ─ q de 4, S
 Ejercitación de reglas anteriores

1. ─ ( p v ─ q )
2. ( r  q )  p  ─ r
3. ─ p  q de 1, DM
4. ─ p de 3, S
5. ─ ( r  q ) de 2 y 4, MT
6. ─ r v ─ q de 5, DM
7. q de 3, S
8. ─ r de 6 y 7, SD
1. ─ [p v ( q v r )]
2. s  ( q v r )  ─ ( p v s )
3. ─ p  ─ ( q v r ) de 1, DM
4. ─ ( q v r ) de 3, S
5. ─ s de 2 y 4, MT
6. ─ p de 3, S
7. ─ p  ─ s de 6 y 5, C
8. ─ ( p v s ) de 7, DM
 Definición del condicional (DC)
Definición de condicional Resuelva
(AB)(─AvB)
1. ─ ( p  q )  p
2. ─ ( ─ p v q ) de 1, DC
Ejemplo
3. p  ─ q de 2, DM
(pvq)(─pq) 4. p de 3, S
 Transposición (T)
Transposición Resuelva

(A  B)  (─B─A) 1. p v q
2. r  ─ q  r  p
Ejemplo 3. ─ p  q de 1, DC
( p  ─ q )  ( q  ─ p) 4. ─ q  p de 3, T
5. r  p de 4 y 3, SH
 Más leyes lógicas
Ley de doble negación Definición del bicondicional
A──A ( A  B )  [(A  B)  ( B 
A)]
Conmutación
(AB)(B A) Distribución
(AvB) (BvA) [A v ( B  C )]  [(A v B)  (A v
C)]
Asociación
[A  (B v C)]  [(A  B ) v (A 
[( A  B)  C ] [ A  (B  C )] C)]
[( A v B) v C ]  [A v (B v C )]

Exportación
[( A  B )  C]  [A  ( B  C)]