Professional Documents
Culture Documents
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.
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.
[( ) ( )] ( )
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
p q r ~r ( ) ( )] ( ) ( ) ( ) [( ) ( )] ( )
Por Simulador TRUTH (captura de pantalla con la solucin que arroja el simulador TRUTH,
ingrese aqu).
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
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.
p: mi equipo gana
q: yo me pongo contento
r: mi equipo pierde
s: me pongo triste
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.
[( ) ( ) ( )] ( )
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).
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
Sea el razonamiento:
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.
[( ) ( )] ( )
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).
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
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.
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.
[( ) ( ) ( )] ( )
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 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
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.
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.
[( ) ( ) ( )] ( )
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 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