1.

Modus Tolendo Ponens, Doble Negacin y adjuncin

a. Modus tolendo ponens:

El modus tollendo ponens o silogismo disyuntivo establece que, si se nos dice

que al menos una de las dos proposiciones es verdadera; y tambin se nos dijo
que no es la primera la que es verdadera; se puede inferir que debe ser la ltima
la que es verdadera. Es decir, si P o Q es verdadero y P es falso, entonces Q es
verdadero.

Ejemplo:
 b. Doble negacin:

La doble negacin, esto es, la negacin de la negacin de una proposicin p, es

lgicamente equivalente a p. Expresado simblicamente, (p) p.

Cualquier proposicin es equivalente a s misma.

La doble negacin de una proposicin es la misma proposicin.

Ejemplo:

Consideremos la proposicin simple:

p: es de da, luego:
~p: es de noche
~ (~p): no es de noche
Por lo tanto ~ (~p) = p

c. Adjuncin:

Tambin conocido como simplificacin, Si disponemos de dos enunciados

afirmados como dos premisas separadas, mediante la adjuncin, podemos
unirlos en una sola premisa utilizando el operador (conjuncin).

Ejemplo:

p Hugo es cocinero

q Juanito es polica
___________________________________

p q Hugo es cocinero y Juanito es polica

2. Supongamos que tenemos el argumento Si Carolina pelea contra su EPS, tendr sus
medicamentos; y tendr buena calidad de vida, si tiene sus medicamentos. O Carolina
pelea contra su EPS, o se resigna rpidamente.| Si se resigna rpidamente, la EPS
vulnerar sus derechos; y su estado de salud ser crtico, si la EPS vulnera sus
derechos. Por tanto, no tiene buena calidad de vida entonces su estado de salud ser
crtico

a. Uso de tablas de verdad

p: Si carolina pelea contra su EPS.

q: tendr sus medicamentos
r: tendr buena calidad de vida
s: se resigna rpidamente
t: la EPS vulnerara sus derechos
u: estado de salud critico

Premisas
 Premisa 1: pq < Si Carolina pelea contra su EPS, tendr sus medicamentos; >
Premisa 2: qr < y tendr buena calidad de vida, si tiene sus medicamentos >
Premisa 3: p s < Carolina pelea contra su EPS, o se resigna rpidamente. >
Premisa 4: s t <Si se resigna rpidamente, la EPS vulnerar sus derechos;>
Premisa 5: t u < su estado de salud ser crtico, si la EPS vulnera sus derechos. >

Conclusin: r u

Expresin:

[(pq) (qr) (p s) (s t) (t u) ] (r u)

[( u) (
p q r s t u p q) (q r) (p v s) (s t) (t ] r u)

V V V V V V V V V V V V V V V V V V V V V V V V V V F V V
V V V V V F V V V V V V V V V V V V V V V F V F F V F V F
V V V V F V V V V V V V V V V V V F V F F F F V V V F V V
V V V V F F V V V V V V V V V V V F V F F F F V F V F V F
V V V F V V V V V V V V V V V V F V F V V V V V V V F V V
V V V F V F V V V V V V V V V V F V F V V F V F F V F V F
V V V F F V V V V V V V V V V V F V F V F V F V V V F V V
V V V F F F V V V V V V V V V V F V F V F V F V F V F V F
V V F V V V V V V F V F F F V V V F V V V F V V V V V V V
V V F V V F V V V F V F F F V V V F V V V F V F F V V F F
V V F V F V V V V F V F F F V V V F V F F F F V V V V V V
V V F V F F V V V F V F F F V V V F V F F F F V F V V F F
V V F F V V V V V F V F F F V V F F F V V F V V V V V V V
V V F F V F V V V F V F F F V V F F F V V F V F F V V F F
V V F F F V V V V F V F F F V V F F F V F F F V V V V V V
V V F F F F V V V F V F F F V V F F F V F F F V F V V F F
V F V V V V V F F F F V V F V V V F V V V F V V V V F V V
V F V V V F V F F F F V V F V V V F V V V F V F F V F V F
V F V V F V V F F F F V V F V V V F V F F F F V V V F V V
V F V V F F V F F F F V V F V V V F V F F F F V F V F V F
V F V F V V V F F F F V V F V V F F F V V F V V V V F V V
V F V F V F V F F F F V V F V V F F F V V F V F F V F V F
V F V F F V V F F F F V V F V V F F F V F F F V V V F V V
V F V F F F V F F F F V V F V V F F F V F F F V F V F V F
V F F V V V V F F F F V F F V V V F V V V F V V V V V V V
V F F V V F V F F F F V F F V V V F V V V F V F F V V F F
V F F V F V V F F F F V F F V V V F V F F F F V V V V V V
V F F V F F V F F F F V F F V V V F V F F F F V F V V F F
V F F F V V V F F F F V F F V V F F F V V F V V V V V V V
V F F F V F V F F F F V F F V V F F F V V F V F F V V F F
V F F F F V V F F F F V F F V V F F F V F F F V V V V V V
V F F F F F V F F F F V F F V V F F F V F F F V F V V F F
F V V V V V F V V V V V V F F V V F V V V F V V V V F V V
F V V V V F F V V V V V V V F V V V V V V F V F F V F V F
F V V V F V F V V V V V V V F V V F V F F F F V V V F V V
F V V V F F F V V V V V V V F V V F V F F F F V F V F V F
F V V F V V F V V V V V V F F F F F F V V F V V V V F V V
F V V F V F F V V V V V V F F F F F F V V F V F F V F V F
F V V F F V F V V V V V V F F F F F F V F F F V V V F V V
F V V F F F F V V V V V V F F F F F F V F F F V F V F V F
F V F V V V F V V F V F F F F V V F V V V F V V V V V V V
F V F V V F F V V F V F F F F V V F V V V F V F F V V F F
F V F V F V F V V F V F F F F V V F V F F F F V V V V V V
F V F V F F F V V F V F F F F V V F V F F F F V F V V F F
F V F F V V F V V F V F F F F F F F F V V F V V V V V V V
F V F F V F F V V F V F F F F F F F F V V F V F F V V F F
F V F F F V F V V F V F F F F F F F F V F F F V V V V V V
F V F F F F F V V F V F F F F F F F F V F F F V F V V F F
F F V V V V F V F V F V V V F V V V V V V V V V V V F V V
F F V V V F F V F V F V V V F V V V V V V F V F F V F V F
F F V V F V F V F V F V V V F V V F V F F F F V V V F V V
F F V V F F F V F V F V V V F V V F V F F F F V F V F V F
F F V F V V F V F V F V V F F F F F F V V F V V V V F V V
F F V F V F F V F V F V V F F F F F F V V F V F F V F V F
F F V F F V F V F V F V V F F F F F F V F F F V V V F V V
F F V F F F F V F V F V V F F F F F F V F F F V F V F V F
F F F V V V F V F V F V F V F V V V V V V V V V V V V V V
F F F V V F F V F V F V F V F V V V V V V F V F F V V F F
F F F V F V F V F V F V F V F V V F V F F F F V V V V V V
F F F V F F F V F V F V F V F V V F V F F F F V F V V F F
F F F F V V F V F V F V F F F F F F F V V F V V V V V V V
F F F F V F F V F V F V F F F F F F F V V F V F F V V F F
F F F F F V F V F V F V F F F F F F F V F F F V V V V V V
F F F F F F F V F V F V F F F F F F F V F F F V F V V F F
Resultad
1 3 2 5 4 7 6 9 8 o 10

b. Uso simulador TRUTH TABLE

 La expresin es una tautologa.

3. Ejercicio escogido para resolver

{()()[()]()}

a. Uso de TRUTH TABLE

La expresin es una tautologa.

b. Uso regla de inferencia

{()()[()]()}

P1.
P2.
P3.
P4.
C. t

P5. p LEY DE SIMPLIFICACIN P4

P6. r LEY DE SIMPLIFICACIN P4
P7. q MODUS PONENDO PONENS P1, P5
P8. s MODUS PONENDO PONENS P2, P6
P9. qt LEY DE SIMPLIFICACIN P3
P10. st LEY DE SIMPLIFICACIN P3
 P11. t MODUS PONENDO PONENS P9, P7
P12. t MODUS PONENDO PONENS P10, P8

c. Tabla de la verdad

{()()[()]()}

p q r s t {(p q) (r s) [(q s) t] (p r) t
V V V V V V V V V V V V V V V V V V V V V V V V
V V V V F V V V V V V V F V V V F F F V V V V F
V V V F V V V V F V F F F V F F V V V V V V V V
V V V F F V V V F V F F F V F F V F V V V V V F
V V F V V V V V V F V V F V V V V V F V F F V V
V V F V F V V V V F V V F V V V F F F V F F V F
V V F F V V V V V F V F F V F F V V F V F F V V
V V F F F V V V V F V F F V F F V F F V F F V F
V F V V V V F F F V V V F F F V V V V V V V V V
V F V V F V F F F V V V F F F V V F V V V V V F
V F V F V V F F F V F F F F F F V V V V V V V V
V F V F F V F F F V F F F F F F V F V V V V V F
V F F V V V F F F F V V F F F V V V F V F F V V
V F F V F V F F F F V V F F F V V F F V F F V F
V F F F V V F F F F V F F F F F V V F V F F V V
V F F F F V F F F F V F F F F F V F F V F F V F
F V V V V F V V V V V V F V V V V V F F F V V V
F V V V F F V V V V V V F V V V F F F F F V V F
F V V F V F V V F V F F F V F F V V F F F V V V
F V V F F F V V F V F F F V F F V F F F F V V F
F V F V V F V V V F V V F V V V V V F F F F V V
F V F V F F V V V F V V F V V V F F F F F F V F
F V F F V F V V V F V F F V F F V V F F F F V V
F V F F F F V V V F V F F V F F V F F F F F V F
F F V V V F V F V V V V F F F V V V F F F V V V
F F V V F F V F V V V V F F F V V F F F F V V F
F F V F V F V F F V F F F F F F V V F F F V V V
F F V F F F V F F V F F F F F F V F F F F V V F
F F F V V F V F V F V V F F F V V V F F F F V V
F F F V F F V F V F V V F F F V V F F F F F V F
F F F F V F V F V F V F F F F F V V F F F F V V
F F F F F F V F V F V F F F F F V F F F F F V F
Res
ulta
1 3 2 8 4 5 7 6 do
 4. Cada estudiante del grupo colaborativo debe plantear una situacin, donde se evidencie
un razonamiento deductivo y otra situacin para el razonamiento inductivo,
argumentando con sus propias palabras el argumento planteado.

R/: Razonamiento deductivo:

Bsicamente parte de tema generales para hacer afirmaciones de casos particulares, es decir va
de lo general a lo particular.
Es una forma de razonamiento donde se infiere una conclusin a partir de una o varias
premisas. El filsofo griego Aristteles, con el fin de reflejar el pensamiento racional, fue el
primero en establecer los principios formales del razonamiento deductivo.

Ejemplos:

Premisa mayor: Toda planta nace, se reproduce y muere

Premisa menor: Toda flor es planta
Conclusin: Toda flor nace, se reproduce y muere

Premisa mayor: Los seres humanos tienen 1 sola cabeza

Premisa menor: Hugo es un ser humano
Conclusin: Hugo tiene 1 sola cabeza

R/: Razonamiento inductivo:

Es aquel proceso en el que se razona partiendo de lo particular para llegar a lo general, justo lo
contrario de la deduccin.
La base de la induccin es la suposicin de que algo es cierto en algunas ocasiones, una de las
formas ms simples de induccin ocurre cuando a travs de una serie de encuestas, de las que se
obtienen respuestas dadas por una muestra, es decir, de una parte de la poblacin total, nos
permitimos extraer conclusiones acerca de toda la poblacin.

Ejemplos:

Premisa 1: Cuando Juan toca la llama de un encendedor se quema

Premisa 2: Cuando Juan toca una estufa encendida se quema
Premisa 3: Cuando Juan toca la jarra de la cafetera caliente se quema
Conclusin: Si tocas un objeto caliente te quemas

Premisa 1: Veo un cuervo de color negro

Premisa 2: Veo un segundo cuervo de color negro
Premisa 3: Veo un tercer cuervo de color negro
Conclusin: Todos los cuervos son negros.