Del siguiente enunciado: "Ayer supe que mañana tengo un examen de lógica
temporal y no sé nada del tema. Si no me pongo a estudiar, mañana suspendere
y mi fracaso se recordará por los siglos de los siglos". ¿Cuántas posibles
soluciones habra al resolverlo con una tabla de verdad?
20
ооооо
02
Los operadores temporales no son interdefinibles
Respuestas
El argumento del enunciado "Ayer supe que mañana tengo un examen de lógica temporal y no sé nada del tema. Si no me pongo a estudiar, mañana suspenderé y mi fracaso se recordará por los siglos de los siglos" es contingencia
Explicación paso a paso:
Definición de preposiciones simples:
p: Ayer supe que mañana tengo un examen de lógica temporal
¬q: no se nada del tema
¬r: Si no me pongo a estudiar
o: mañana suspenderé
s: mi fracaso se recordará por los siglos de los siglos
Lenguaje natural de la exposición formal
p ∧ ¬q : Ayer supe que mañana tengo un examen de lógica temporal y no sé nada del tema
(¬r→o)∧ s: Si no me pongo a estudiar, mañana suspenderé y mi fracaso se recordará por los siglos de los siglos
Generar Tabla de la Verdad.
p ∧ ¬q ∧ (¬r→o)∧ s: "Ayer supe que mañana tengo un examen de lógica temporal y no sé nada del tema. Si no me pongo a estudiar, mañana suspenderé y mi fracaso se recordará por los siglos de los siglos"
p q r o s (~q) (p^(~q)) (~r) ((~r)→o) ((~r)→o)^s)(p^~q)^((~r→o)^s)
F F F F F V F V F F F
F F F F V V F V F F F
F F F V F V F V V F F
F F F V V V F V V V F
F F V F F V F F V F F
F F V F V V F F V V F
F F V V F V F F V F F
F F V V V V F F V V F
F V F F F F F V F F F
F V F F V F F V F F F
F V F V F F F V V F F
F V F V V F F V V V F
F V V F F F F F V F F
F V V F V F F F V V F
F V V V F F F F V F F
F V V V V F F F V V F
V F F F F V V V F F F
V F F F V V V V F F F
V F F V F V V V V F F
V F F V V V V V V V V
V F V F F V V F V F F
V F V F V V V F V V V
V F V V F V V F V F F
V F V V V V V F V V V
V V F F F F F V F F F
V V F F V F F V F F F
V V F V F F F V V F F
V V F V V F F V V V F
V V V F F F F F V F F
V V V F V F F F V V F
V V V V F F F F V F F
V V V V V F F F V V F
Definir si el argumento es: Tautología, Contingencia o contradicción
El argumento es contingencia..