Pensamiento Logico

Valide los siguientes razonamientos.  No estudio lógica o el examen era conocido de antemano. Si el examen era conocid

Views 216 Downloads 4 File size 522KB

Report DMCA / Copyright

DOWNLOAD FILE

Recommend stories

Citation preview

Valide los siguientes razonamientos. 

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

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

q

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

V

F

V

F

V

F

V

V

V

V

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

V

V

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 F V V F V F Debido a que el resultado es tautológico, la conclusión “Ana aprobará el curso” es válida.



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. Sean, 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 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.