Question

Tarea 2: Problemas de aplicación I

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.

Gabriela se encuentra estudiando el material del curso de física
general, entonces reflexiona un poco sobre su desempeño en el
curso, así sabrá si lo alcanza a aprobar, es así como se plantea lo
siguiente: “Si no apruebo el primer parcial de física, entonces
pierdo la beca por desempeño académico. Si pierdo la beca por
desempeño académico, mis padres me castigarán. Mis padres no
me castigarán. Por lo tanto, apruebo el primer parcial de física”.

Answer 1

Definición de preposiciones simples:

p: apruebo el primer parcial de física

q: pierdo la beca por desempeño académico

r: mis padres me castigarán

Lenguaje natural de la exposición formal

¬p →q : Si no apruebo el primer parcial de física, entonces pierdo la beca por desempeño académico

(q→r): Si pierdo la beca por desempeño académico, mis padres me castigarán

(¬r ⇔ p) : Mis padres no me castigarán. Por lo tanto, apruebo el primer parcial de física

Generar Tabla de la Verdad.

{[(¬p →q) ∧ (q→r)]→ (¬r ⇔ p) }

Definir si el argumento es: Tautología, Contingencia o contradicción

El argumento es contingencia.