You are on page 1of 6

Tarea 1: b.

Modus Tolendo Ponens, Doble Negacin y Adjuncin

Modus Tolendo Ponens: Esta regla de inferencia indica que, si una implicacin es verdadera y

su consecuente es falso, entonces su antecedente ser falso

Ejemplo 1:

Si desaparece la capa de ozono, la vida se extinguir, pero no es el caso que la vida se extingue.

p: desaparece la capa de ozono

q: la vida se extinguir

Premisa 1: Si desaparece la capa de ozono entonces la vida se extinguir

Premisa 2: La vida no se extinguir.

Conclusin: No desaparece la capa de ozono

Ejemplo 2:

Si hay comida, entonces puedo comer, no hay comida por lo tanto no puedo comer

p: hay comida

q: puedo comer

Premisa 1: Si hay comida, entonces puedo comer

Premisa 2: No puedo comer

Conclusin: No hay comida


Doble Negacin: Si la negacin de cualquier proposicin p verdadera es falsa, entonces cuando

se vuelve a negar esta ser nuevamente verdadera y viceversa.

Ejemplo 1:

No es verdad que Andrs no ha jugado futbol.

Andrs no ha jugado futbol:

Andrs ha jugado futbol:

Ejemplo 2:

No es verdad que no es hora de salir a jugar.

No es hora de salir a jugar:

Es hora de salid a jugar:

Adjuncin: Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante

la adjuncin, podemos unirlos en una sola premisa utilizando el operador (conjuncin).

Ejemplo1:

Julin tiene 28 aos y Andrs tiene 23 aos.

p: Julin tiene 28 aos

q: Andrs tiene 23 aos

Ejemplo 2:

El sol sale de da y la luna sale de noche.

p: El sol sale de da

q: La luna sale de noche


Tarea 2: b. En la seguridad vial es importante tener claro que es ser precavido ayuda para evitar

muchos accidentes. Para implementar una campaa publicitaria, se ha planteado el siguiente

argumento: Si voy en auto y aumento la velocidad, llego temprano al trabajo. No es cierto que

si aumento la velocidad, gasto ms combustible. Pasa que gasto ms combustible o voy en auto.

En conclusin, llego temprano al trabajo.

p: Voy en auto

q: Aumento la velocidad

r: Llego temprano al trabajo

s: Gasto ms combustible

[( ) ] ( ) ( )

Tabla de Verdad

[(p q) r] (q s) (s p) r
1 V V V V V F F V V V F V V V V V
2 F F V V V F F V V V F V V F V V
3 V F F V V F F F V V F V V V V V
4 F F F V V F F F V V F V V F V V
5 V V V F F F F V V V F V V V V F
6 F F V V F F F V V V F V V F V F
7 V F F V F F F F V V F V V V V F
8 F F F V F F F F V V F V V F V F
9 V V V V V V V V F F V F V V V V
10 F F V V V V V V F F F F F F V V
11 V F F V V F F F V F F F V V V V
12 F F F V V F F F V F F F F F V V
13 V V V F F F V V F F F F V V V F
14 F F V V F V V V F F F F F F V F
15 V F F V F F F F V F F F V V V F
16 F F F V F F F F V F F F F F V F
Truth Table

Leyes de Inferencia

P 1: [( ) ]

P 2: ( )

P 3: ( )

P 4: ( ) Ley Condicional en P 2

P 5: Ley de Morgan en P 4

P 6: Ley de Simplificacin en P 5

P 7: Tollendo Ponens en P 3 y P 6

P 8: Ley de Simplificacin en P 5

P 9: Modo Tollens P 7 y P 8

P 10: Ponendo ponens en P1 y P9


Tarea 3: b. {() [( ) ] [( ) ] }

Lenguaje Natural

Si no estudio ingles entonces no soy bilinge. Si soy bilinge, viajo a estados unidos entonces

estudie ingls. Si soy bilinge y viajo a estados unidos y sigo estudiando ingls y consigo trabajo.

En conclusin, Soy bilinge.

r: Si estudio ingles

p: Soy Bilinge

q: Viajo a estados unidos

s: Consigo trabajo

Tabla de Verdad

{( r p) [(p q) r] [(p q) r] s} p
1 F V V F V V V V V V V V V V V V V V V V V
2 F V V V F V F V V V V F F F V F V F V V F
3 F V V F V F V F F V V F V F F F V F V V V
4 F V V V F V F V F V V F F F F F V F V V F
5 V F F F V F V V V V F V V V V F F F V V V
6 V F V V F V F V V F F F F F V F F F V V F
7 V F F F V F V F F V F F V F F F F F V V V
8 V F V V F V F V F F F F F F F F F F V V F
9 F V V F V V V V V V V V V V V V V F F V V
10 F V V V F V F V V V V F F F V F V F F V F
11 F V V F V F V F F V V F V F F F V F F V V
12 F V V V F V F V F V V F F F F F V F F V F
13 V F F F V F V V V V F V V V V F F F F V V
14 V F V V F V F V V F F F F F V F F F F V F
15 V F F F V F V F F V F F V F F F F F F V V
16 V F V V F V F V F F F F F F F F F F F V F
Truth Table

Tarea 4: d. Todos los seres humanos sentimos temor a provocar la muerte de otra persona. Las

personas con creencias religiosas tienen esta prohibicin como norma de conducta. Adems este

temor es compartido por personas sin religin. Finalmente, este repudio a lastimar a otro, existe

en todo tipo de culturas, en cualquier parte del mundo. Por lo tanto, esto es un valor que es

independiente de la religin, y del contexto cultural, y al ser compartido por todos los seres

humanos, es un valor Universal.

R//: Es Deductivo porque est compuesta de 3 premisas que son verdaderas y su conclusin es

vlida y lo que se dice en su conclusin estaba en las premisas, esto quiere decir que la

conclusin es una secuencia lgica de las premisas.

You might also like