Pensamiento Logico
Pensamiento Logico
Pensamiento Logico
No estudio lógica o el examen era conocido de antemano. Si el examen era conocido de antemano, entonces aprobaré lógica. Si apruebo lógica, apruebo
Filosofía. Luego, si estudio lógica, apruebo filosofía.
Sean,
P: estudio lógica
Q: el examen era conocido de antemano
R: aprobaré lógica
S: apruebo filosofía
[(~p ∨ q) ∧ (q → r) ∧ (r → s)] → (p → s)
p ~p q r s ~p ∨ q q → r r → s (~p ∨ q) ∧ (q → r) ∧ (r → s) p→s [(~p ∨ q) ∧ (q → r) ∧ (r → s)] → (p → s)
V F V V V V V V V V V
V F V V F V V F F F V
V F V F V V F V F V V
V F V F F V F V F F V
V F F V V F V V F V V
V F F V F F V F F F V
V F F F V F V V F V V
V F F F F F V V F F V
F V V V V V V V V V V
F V V V F V V F F V V
F V V F V V F V F V V
F V V F F V F V F V V
F V F V V V V V V V V
F V F V F V V F F V V
F V F F V V V V V V V
F V F F F V V V V V V
Debido a que el resultado es tautológico, la conclusión “si estudio lógica, apruebo filosofía” es válida.
Si Ana estudia, aprobará el curso. Si no estudia, se divierte en clase. Si no aprueba el curso, no se divierte en clase. Así pues, Ana aprobará el curso.
Sean,
P: Ana estudia
Q: aprobará el curso
R: se divierte en clase
R: te dedicas al deporte
[(p → q) ∧ (p ∨ r) ∧ (~r)] → q
p ~p q ~q r ~r p→q p∨r ~r [(p → q) ∧ (p ∨ r) ∧ (~r)] q [(p → q) ∧ (p ∨ r) ∧ (~r)] → q
V F V F V F V V F F V V
V F V F F V V V V V V V
V F F V V F F V F F F V
V F F V F V F V V F F V
F V V F V F V V F F V V
F V V F F V V F V F V V
F V F V V F V V F F F V
F V F V F V V F V F F V
Debido a que el resultado es tautológico, la conclusión “tendrás que esforzarte en lograr una buena preparación” es válida.