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
Si estudio lógica apruebo filosofía (tautología)

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.

P: Ana estudia

Q: aprobará el curso

R: se divierte en clase

[(p → q) ∧ (~p → r) ∧ (~q → ~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

Ana aprobara si estudia (tautología)

Si eliges una carrera profesional, tendrás que esforzarte en lograr una buena preparación.
Eliges una carrera profesional o te dedicas al deporte. Es así que no te dedicas al deporte.
Luego, tendrás que esforzarte en lograr una buena preparación.

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
P: eliges una carrera profesional

Q: tendrás que esforzarte en lograr una buena preparación

R: te dedicas al deporte

[(p → q) ∧ (p ∨ r) ∧ (~r)] → q

tendrás que esforzarte en lograr una buena preparación (tautología).