Professional Documents
Culture Documents
Modus Tolendo Ponens: Esta regla de inferencia indica que, si una implicacin es verdadera y
Ejemplo 1:
Si desaparece la capa de ozono, la vida se extinguir, pero no es el caso que la vida se extingue.
q: la vida se extinguir
Ejemplo 2:
Si hay comida, entonces puedo comer, no hay comida por lo tanto no puedo comer
p: hay comida
q: puedo comer
Ejemplo 1:
Ejemplo 2:
Adjuncin: Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante
Ejemplo1:
Ejemplo 2:
p: El sol sale de da
Tarea 2: b. En la seguridad vial es importante tener claro que es ser precavido ayuda para evitar
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.
p: Voy en auto
q: Aumento la velocidad
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
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.
r: Si estudio ingles
p: Soy Bilinge
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
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