Scribd
Cargar
90 vistas3 páginas

Validación de Razonamientos Lógicos

El documento presenta tres razonamientos condicionales para validar si las conclusiones son correctas o no. En cada caso, se establecen las premisas y se representan las afirmaciones como una tabla de verdad para determinar si la estructura lógica subyacente es una tautología. En los tres razonamientos, la tabla muestra que se trata de una tautología, por lo que las conclusiones "si estudio lógica, apruebo filosofía", "Ana sacará el curso" y "tendrás que esforzarte en lograr una bu

Cargado por

Daniela Palma
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
90 vistas3 páginas

Validación de Razonamientos Lógicos

El documento presenta tres razonamientos condicionales para validar si las conclusiones son correctas o no. En cada caso, se establecen las premisas y se representan las afirmaciones como una tabla de verdad para determinar si la estructura lógica subyacente es una tautología. En los tres razonamientos, la tabla muestra que se trata de una tautología, por lo que las conclusiones "si estudio lógica, apruebo filosofía", "Ana sacará el curso" y "tendrás que esforzarte en lograr una bu

Cargado por

Daniela Palma
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

Tarea No.

1 de la Unidad III (Seguimiento 1)

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.

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

Es una tautología así que la conclusión “si estudio lógica, apruebo filosofía” es correcta.

Siguiente hoja
Si Ana estudia, aprobará el curso. S no estudia, se divierte en clase. Si no aprueba el curso, no se
divierte en clase. Así pues, Ana sacará 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 ~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 V F V F F V

Es una tautología así que la conclusión “Ana sacará el curso” es correcta.

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


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

Es una tautología así que la conclusión “tendrás que esforzarte en lograr una buena preparación”
es correcta

También podría gustarte