200611_ PENSAMIENTO LOGICO MATEMATICO

GUIA PARA SOLUCIONAR LAS SITUACIONES PROBLEMICAS DE LA INFERENCIA LOGIC A

FASE INDIVIDUAL ANEXO 1

GUIA DE ACTIVIDADES Y RUBRICA DE EVALUACION UNIDAD 3 PASO 3 USO DE LAS REGLAS DE

INFERENCIA

SITUACION PROBLEMICA No. 1

Sea el razonamiento:

Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de abogados. Mara se
retira del buffet de abogados si y slo si Alberto el cliente de Juan no es llevado a prisin. Por lo
tanto, si el cliente de Juan gana la apelacin, entonces no es llevado a prisin.

a. Declaracin de las proposiciones simples.

p: el cliente de Juan gana la apelacin

q: Mara se retira del buffet de abogados
r: Alberto el cliente de Juan es llevado a prisin

b. Declaracin de premisas y conclusin.

Lenguaje
Lenguaje natural
formal
Premisa 1 SI el cliente de Juan gana la apelacin, ENTONCES Mara se retira del

buffet de abogados.

Premisa 2 Mara se retira del buffet de abogados SI Y SLO SI Alberto el cliente
~
de Juan no es llevado a prisin.
POR LO TANTO,
Conclusin SI el cliente de Juan gana la apelacin, ENTONCES no es llevado a
~
prisin.

Declaracin formal del razonamiento:

[( ) ( )] ( )

c. Demostracin con Tabla de verdad.

De forma manual.

Si n es el nmero de proposiciones, n = 3
Si No. de filas para los valores de verdad es 2 n, 2 3 = 8

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
 Tabla de Verdad

p q r ~r ( ) ( )] ( ) ( ) ( ) [( ) ( )] ( )

Por Simulador TRUTH (captura de pantalla con la solucin que arroja el simulador TRUTH,
ingrese aqu).

Interpretacin de la Tabla de verdad. Interpretar los resultados de acuerdo a la situacin

planteada validada por una Tautologa.

d. Demostracin con reglas de Inferencia lgica.

Por deduccin proposicional, aplicar las Reglas de inferencia lgica (consulte aqu) se tiene que:

(1) Premisa 1

(2) ~ Premisa 2

(3) Por Ley de las Proposiciones Bicondicionales a (2) para obtener (3). Consultar
Reglas de inferencia lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica
(consulte aqu).

(4) Por Ley de Silogismo Hipottico a (1) y (3) para obtener (4) que debe ser la
Conclusin. Consultar Reglas de inferencia lgica (consulte aqu) y Problema de aplicacin Reglas
de inferencia Lgica (consulte aqu).

En resumen:

(1) Premisa 1
(2) ~ Premisa 2
(3) Proposiciones Bicondicionales (2)
(4) Silogismo Hipottico (1), (3). Conclusin

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
 SITUACION PROBLEMICA No. 2

Sea el razonamiento:

Si mi equipo gana yo me pongo contento. Si mi equipo pierde me pongo triste. En este momento
mi equipo est ganando o est perdiendo. Por consiguiente, estoy contento o triste.

a. Declaracin de las proposiciones simples.

p: mi equipo gana
q: yo me pongo contento
r: mi equipo pierde
s: me pongo triste

b. Declaracin de premisas y conclusin.

Lenguaje
Lenguaje natural
formal
Premisa 1 SI mi equipo gana yo me pongo contento.

Premisa 2 SI mi equipo pierde me pongo triste.

Premisa 3 En este momento mi equipo est ganando O est perdiendo.
POR CONSIGUIENTE,
Conclusin estoy contento o triste.

Declaracin formal del razonamiento:

[( ) ( ) ( )] ( )

c. Demostracin con Tabla de verdad.

De forma manual.

Si n es el nmero de proposiciones, n = 4
Si No. de filas para los valores de verdad es 2 n, 2 4 = 16

Tabla de Verdad

p q r s ( ) ( ) ( ) ( ) [( ) ( ) ( )] [( ) ( ) ( )] ( )

Por Simulador TRUTH (captura de pantalla con la solucin que arroja el simulador TRUTH,
ingrese aqu).

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
 Interpretacin de la Tabla de verdad. Interpretar los resultados de acuerdo a la situacin
planteada validada por una Tautologa.

d. Demostracin con reglas de Inferencia lgica.

Por deduccin proposicional, aplicando las Reglas de inferencia lgica (consulte aqu) se tiene que:

(1) Premisa 1

(2) Premisa 2

(3) Premisa 3

(4) Por Ley de Silogismo Disyuntivo a (3), (1) y (2) para obtener (4). Consultar Reglas de
inferencia lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte
aqu).

En resumen:

(1) Premisa 1
(2) Premisa 2
(3) Premisa 1
(4) Silogismo Disyuntivo (3), (1), (2). Conclusin

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
SITUACION PROBLEMICA No. 3

Sea el razonamiento:

He ingresado a estudiar administracin en Salud y lograr materializar mi proyecto de vida. Si he

ingresado a estudiar en la UNAD Administracin en Salud, entonces conseguir un mejor estatus
laboral. Por lo tanto, conseguir un mejor estatus laboral y lograr materializar mi proyecto de
vida

a. Declaracin de las proposiciones simples.

p: He ingresado a estudiar administracin en Salud

q: lograr materializar mi proyecto de vida
r: conseguir un mejor estatus laboral

b. Declaracin de premisas y conclusin.

Lenguaje
Lenguaje natural
formal
Premisa 1 He ingresado a estudiar administracin en Salud Y lograr materializar

mi proyecto de vida.

Premisa 2 SI he ingresado a estudiar en la UNAD Administracin en Salud,

ENTONCES conseguir un mejor estatus laboral.
POR LO TANTO,
Conclusin conseguir un mejor estatus laboral Y lograr materializar mi

proyecto de vida.

Declaracin formal del razonamiento:

[( ) ( )] ( )

c. Demostracin con Tabla de verdad.

De forma manual.

Si n es el nmero de proposiciones, n = 3
Si No. de filas para los valores de verdad es 2 n, 2 3 = 8

Tabla de Verdad

p q r ( ) ( ) ( ) [( ) ( )] [( ) ( )] ( )

Por Simulador TRUTH (captura de pantalla con la solucin que arroja el simulador TRUTH,
ingrese aqu).

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
 Interpretacin de la Tabla de verdad. Interpretar los resultados de acuerdo a la situacin
planteada validada por una Tautologa.

d. Demostracin con reglas de Inferencia lgica.

Por deduccin proposicional, aplicando las Reglas de inferencia lgica (consulte aqu) se tiene que:

(1) Premisa 1

(2) Premisa 2

(3) Por Regla de Simplificacin a (1) para obtener (3). Consultar Reglas de inferencia
lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte aqu).

(4) Por Regla de Simplificacin a (1) para obtener (4). Consultar Reglas de inferencia
lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte aqu).

(5) Por Modus Ponendo Ponens a (2) y (3) para obtener (5). Consultar Reglas de
inferencia lgica (consulte aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte
aqu).

(6) Por Regla de Adjuncin a (4) y (5) para obtener (6) que debe ser la Conclusin.
Consultar Reglas de inferencia lgica (descargue aqu) y Problema de aplicacin Reglas de
inferencia Lgica (consulte aqu).

En resumen:

(1) Premisa 1
(2) Premisa 2
(3) Simplificacin (1)
(4) Simplificacin (1)
(5) Modus Ponendo Ponens (2), (3)
(6) Adjuncin (4), (5). Conclusin

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
SITUACION PROBLEMICA No. 4

Sea el razonamiento:

Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un promedio ms bajo
que Aura. Martha no tiene un nivel acadmico ms bajo que Aura. Si Jaime y Lina tienen el mismo
promedio, entonces Jaime est con un promedio ms alto que Pablo. Por consiguiente Jaime y
Lina no tienen el mismo promedio.

a. Declaracin de las proposiciones simples.

p: Jaime posee promedio ms alto que Pablo

q: Martha posee un promedio ms bajo que Aura
r: Jaime y Lina tienen el mismo promedio

b. Declaracin de premisas y conclusin.

Lenguaje
Lenguaje natural
formal
Premisa 1 SI Jaime posee un promedio ms alto que Pablo, ENTONCES Martha

posee un promedio ms bajo que Aura.

Premisa 2 Martha NO tiene un nivel acadmico ms bajo que Aura.

Premisa 3 SI Jaime y Lina tienen el mismo promedio, ENTONCES Jaime est con

un promedio ms alto que Pablo.
POR CONSIGUIENTE,
Conclusin Jaime y Lina NO tienen el mismo promedio.

Declaracin formal del razonamiento:

[( ) ( ) ( )] ( )

c. Demostracin con Tabla de verdad.

De forma manual.

Si n es el nmero de proposiciones, n = 3
Si No. de filas para los valores de verdad es 2 n, 2 3 = 8

Tabla de Verdad

p q r ( ) ( ) [( ) ( ) ( )] [( ) ( ) ( )] ( )

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
 Por Simulador TRUTH (captura de pantalla con la solucin que arroja el simulador TRUTH,
ingrese aqu).

Interpretacin de la Tabla de verdad. Interpretar los resultados de acuerdo a la situacin

planteada validada por una Tautologa.

d. Demostracin con reglas de Inferencia lgica.

Por deduccin proposicional, aplicando las Reglas de inferencia lgica (consulte aqu) se tiene que:

(1) Premisa 1

(2) Premisa 2

(3) Premisa 3

(4) Por Modus Tollendo Tollens a (1) y (2) para obtener (4). Consultar Reglas de
inferencia lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte
aqu).

(5) Por Modus Tollendo Tollens a (3) y (4) para obtener (5) que debe ser la Conclusin.
Consultar Reglas de inferencia lgica (descargue aqu) y Problema de aplicacin Reglas de
inferencia Lgica (consulte aqu).

En resumen:

(1) Premisa 1
(2) Premisa 2
(3) Premisa 1
(4) Modus Tollendo Tollens (1), (2)
(5) Modus Tollendo Tollens (3), (4). Conclusin

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
 SITUACION PROBLEMICA No. 5

Sea el razonamiento:

Si Teresa tiene cuatro aos de edad, entonces Teresa posee los mismos aos de vida que Juliana.
Si Jacinto tiene una edad diferente que Teresa, entonces Jacinto posee una edad diferente que
Juliana. Teresa tiene cuatro aos y Jacinto tiene la misma edad que Juliana. Por consiguiente,
Jacinto posee la misma edad que Teresa y Teresa la misma edad que Juliana.

a. Declaracin de las proposiciones simples.

p: Teresa tiene cuatro aos de edad

q: Teresa posee los mismos aos de vida que Juliana
r: Jacinto tiene la misma edad que Teresa
s: Jacinto posee la misma edad que Juliana

b. Declaracin de premisas y conclusin.

Lenguaje
Lenguaje natural
formal
Premisa 1 SI Teresa tiene cuatro aos de edad, ENTONCES Teresa posee los

mismos aos de vida que Juliana.

Premisa 2 SI Jacinto tiene una edad DIFERENTE que Teresa, ENTONCES Jacinto

posee una edad DIFERENTE que Juliana.

Premisa 3 Teresa tiene cuatro aos Y Jacinto tiene la misma edad que Juliana.
POR CONSIGUIENTE,
Conclusin Teresa tiene cuatro aos Y Jacinto tiene la misma edad que Juliana.

Declaracin formal del razonamiento:

[( ) ( ) ( )] ( )

c. Demostracin con Tabla de verdad.

De forma manual.

Si n es el nmero de proposiciones, n = 4
Si No. de filas para los valores de verdad es 2 n, 2 4 = 16

Tabla de Verdad

p q r s ( ) ( ) ( )] ( ) [( ) ( ) ( )] [( ) ( ) ( )] ( )

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
 Por Simulador TRUTH (captura de pantalla con la solucin que arroja el simulador TRUTH,
ingrese aqu).

Interpretacin de la Tabla de verdad. Interpretar los resultados de acuerdo a la situacin

planteada validada por una Tautologa.

d. Demostracin con reglas de Inferencia lgica.

Por deduccin proposicional, aplicando las Reglas de inferencia lgica (consulte aqu) se tiene que:

(1) Premisa 1

(2) Premisa 2

(3) Premisa 3

(4) Por Regla de Simplificacin a (3) para obtener (4). Consultar Reglas de inferencia
lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte aqu).

(5) Por Regla de Simplificacin a (3) para obtener (5). Consultar Reglas de inferencia
lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte aqu).

(6) Por Modus Tollendo Tollens a (2) y (5) para obtener (6). Consultar Reglas de
inferencia lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte
aqu).

(7) Por Modus Ponendo Ponens a (1) y (4) para obtener (7). Consultar Reglas de
inferencia lgica (descargue aqu) y Problema de aplicacin Reglas de inferencia Lgica (consulte
aqu).

(8) Por Ley de Adicin a (6) y (7) para obtener (8) que debe ser la Conclusin.
Consultar Reglas de inferencia lgica (descargue aqu) y Problema de aplicacin Reglas de
inferencia Lgica (consulte aqu).

En resumen:

(1) Premisa 1
(2) Premisa 2
(3) Premisa 3
(4) Simplificacin (3)
(5) Simplificacin (3)
(6) Modus Tollendo Tollens (2), (5)
(7) Modus Ponendo Ponens (1), (4)
(8) Ley de Adicin (6), (7). Conclusin

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI
REGLAS DE INFERENCIA LOGICA

Alvaro Javier Rojas Baracaldo

Docente Tutor ECBTI