Taller 5 - 3 Inferencia

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

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)

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.

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

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)

Taller 5 - 3 Inferencia

Cargado por

Copyright:

Formatos disponibles

Taller 5 - 3 Inferencia

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Taller 5 - 3 Inferencia

Cargado por

Copyright:

Formatos disponibles

Unidad 1 - Taller 5-3: Materia Estructuras Discretas

INFERENCIA USANDO REGLAS DE INFERENCIA Y EL METODO DE

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

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

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

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

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

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

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

Por tanto, la tormenta no continúa.

Por tanto, este no es un buen libro.

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

P = si este es un buen libro

Q = vale la pena leerlo

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

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

También podría gustarte