Question

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de: • Generar la tabla de verdad manualmente y a través del simulador Truth Table. • Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table. • Aplicación de las reglas de inferencia. Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en el foro, de tal forma que no coincida con los compañeros. 5. A los niños en edad escolar se les debe enseñar la importancia de cumplir con sus deberes en el colegio, por tal razón una psicóloga infantil le recomienda a un chico lo siguiente: “Si estudias a diario, tendrás tiempo para divertirte en el parque. Te va bien en las materias o no tendrás tiempo para divertirte en el parque. Si haces trampa en las tareas, entonces no te va bien en las materias. Por lo tanto, si estudias a diario, entonces no haces trampa en las tareas”.

Answer 1

Definición de preposiciones simples:
p: estudiar a diario
q: tiempo de divertirse en el parque
r: ir bien en las materias
o: hacer trampa

Lenguaje natural de la exposición formal

p →q : Si estudias a diario, tendrás tiempo para divertirte en el parque

r ∨ q: Te va bien en las materias o no tendrás tiempo para divertirte en el parque

(o →¬r) : Si haces trampa en las tareas, entonces no te va bien en las materias

p →¬o: si estudias a diario, entonces no haces trampa en las tarea

Generar Tabla de la Verdad.
{[(p →q] ∧ [ r ∨ q:] ∧[(o →¬r)] → [p →¬o]}

Definir si el argumento es: Tautología, Contingencia o contradicciónEl argumento es contingencia.

ea26220fe92c1d1af12025ec1313bae7.xlsx