Unidad 1 - Taller 5-3: Materia Estructuras Discretas

INFERENCIA USANDO REGLAS DE INFERENCIA Y EL METODO DE

REDUCCION AL ABSURDO RAA
En el presente taller vamos a simbolizar las premisas y conclusión de algunos
ejercicios para luego demostrar la validez e invalidez de los argumentos, usando el
método de reducción al absurdo.
Recordemos que nos dice el método de Reducción al absurdo
Demostración Indirecta o por Reducción al Absurdo (RAA)
i. Asumir como verdadera, la negación de la conclusión e
introducir, esta como una nueva premisa. (Regla de
Premisas)
ii. Utilizando las reglas de inferencia deducir una contradicción
cualquiera.
iii. Haciendo uso de la regla de reducción al absurdo (RAA) se
niega la premisa añadida, para de esta manera obtener la
conclusión deseada.

Ejemplo 1: Demostrar la validez de los siguientes argumentos utilizando para ello

el método de Reducción al absurdo
Si un triángulo tiene tres ángulos, un cuadrado tiene cuadro ángulos rectos. Un
triángulo tiene tres ángulos y su suma vale dos ángulos rectos. Si los rombos
tienen cuatro ángulos rectos, los cuadrados no tienen cuatro ángulos rectos.
Por tanto, los rombos no tienen cuatro ángulos rectos.

Lo mismo que en los anteriores talleres, debemos leer el párrafo completo,

simbolizar las premisas y la conclusión del ejercicio

Docente : Msc.Ing.Katime Gutiérrez (Grupos MV,Z1,Z5,SK) Pág.1

Unidad 1 - Taller 5-3: Materia Estructuras Discretas

p=”Un triángulo tienen 3 ángulos”

q=”Un cuadrado tiene 4 ángulos rectos”
r=”La suma vale 2 ángulos rectos”
s=” Los rombos tienen 4 ángulos rectos”
[ (p  q) Λ (p ∧ r) ] Λ ( s  ∼q )] ├ ∼s

Demostrar ∼s
P1: (p  q)
P2: (p ∧ r)
P3: ( s  ∼q )]
--------------
Asumir como verdadera la negación de la conclusión e introducir esta como una
nueva premisa mediante la Regla de Premisas
P4: ∼ (∼ s) Regla de Premisas RP
Aplicando las reglas de Inferencias tenemos que llegar a una contradicción
cualquiera; examinamos nuevas variables proposicionales (p,q,r,s,t) una Falsedad
o una contradicción inferida sobre estas variables (recordemos la Ley de la
complementación, una proposición no puede ser verdadera y falsa a la vez ) sería
(p ∧ ∼p ; q ∧ ∼ q, , r∧ ∼ r, s∧ ∼ s , t ∧ ∼t )

P5: s DN (P3)
P6: ∼ q MPP (P3,P5)
P7: ∼ p MPP (P1,P6)
P8: p S(P2) (t  u) Simplificación S (P3)
P9: p ∧ ∼p Conjunción A(P8,P7)
Haciendo uso de la regla de reducción al absurdo (RAA) se niega la premisa
añadida, para de esta manera obtener la conclusión deseada
P10: ∼ s RAA (P4,P9)

Docente : Msc.Ing.Katime Gutiérrez (Grupos MV,Z1,Z5,SK) Pág.2

Unidad 1 - Taller 5-3: Materia Estructuras Discretas

SOBRE LOS EJERCICIOS QUE HAN SIMBOLIZADO DE LOS TALLERES 1 Y 2

ESCOJAN 3 EJERCICIOS Y DEMUESTRENLO POR EL MÉTODO RAA

EJERCICIO 1:

P1) Si la tormenta continua o anochece, nos quedaremos a cenar o a dormir;

P2) si nos quedamos a cenar o a dormir no iremos mañana al concierto;
P3) pero si iremos mañana al concierto.

Por tanto, la tormenta no continúa.

Traduciendo
p = La tormenta continua
s = anochece
q = nos quedamos a cenar
t = nos quedamos a dormir
r = iremos mañana al concierto
Simbolizando
Demostrar ~p
1) (p v s) → (q v t) p
2) (q v t) →~r p
3) r p
4) ~(~p) RP
5) p DN (4)
6) ~ (q v t) MT (2,3)
7) ~ (p v s) MTT (1,6)
8) ~p ꓥ ~s LD (7)
9) ~p S (8)
10) p ꓥ ~p A (5,9)
11) ~p RAA (4 - 10)

EJERCICIO 2:
P1) Si éste es un buen libro, entonces vale la pena leerlo.
P2) El Algebra es fácil o este libro no vale la pena leerlo.
P3) Pero el Algebra no es fácil.

Por tanto, este no es un buen libro.

Docente : Msc.Ing.Katime Gutiérrez (Grupos MV,Z1,Z5,SK) Pág.3

Unidad 1 - Taller 5-3: Materia Estructuras Discretas

Traduciendo

P = si este es un buen libro

Q = vale la pena leerlo

R = El Algebra es fácil

Simbolizando

Demostrar ~p

1) p →q p
2) rv~q p
3) ~r p
4) ~(~p) RP
5) p DN (4)
6) q MPP (1,5)
7) ~q MTP (2,3)
8) q ꓥ ~q A (6,7)
9) ~p RAA (4 - 8)

EJERCICIO 3
Los estudiantes estarán contentos si y solo sí no hay examen. Si los estudiantes
están contentos, el profesor se sentirá feliz. Si el profesor se siente feliz no está
en condiciones de explicar la materia. Si no está en condiciones de explicar la
materia, habrá examen.
Por lo tanto, los estudiantes no están contentos.
EJERCICIO 4
No es verdad que soy malicioso y bueno a la vez.
Si quieres conseguir amigos entonces tienes que ser bueno.
Por tanto, si eres malicioso entonces no conseguirás amigos.

EJERCICIO 5
Si los ingresos aumentan, la compra de los consumidores aumenta.
Cuándo los consumidores compran más, los hombres de negocios invierten más.

Por tanto, los hombres de negocio invierten más, si los ingresos aumentan.
EJERCICIO 6

Docente : Msc.Ing.Katime Gutiérrez (Grupos MV,Z1,Z5,SK) Pág.4

Unidad 1 - Taller 5-3: Materia Estructuras Discretas

P1) Para que Juan sea un excelente estudiante es necesario que estudie
matemáticas.
P2) Si Juan estudia matemáticas, entonces aprueba el curso.
Por tanto, si Juan es un excelente estudiante, aprueba el curso.
Traduciendo
P= juan es un excelente estudiante
Q= es necesario que estudie matemáticas
R = aprueba el curso
Simbolizando
Demostrar p → r
1) p →q p
2) q→ r p
3) ~ (p → r) RP
4) ~ (~p v r) IM (3)
5) p ꓥ ~r LD (4)
6) ~r S(5)
7) ~q MT (2,6)
8) ~p MT (1,7)
9) p S (5)
10) p ꓥ ~p A (9,8)
11) p → r RAA (3 - 10)

Docente : Msc.Ing.Katime Gutiérrez (Grupos MV,Z1,Z5,SK) Pág.5