Question

a. Expresión simbólica: [(p ∧ q) ∧ (p → r)] ⟶ (r ∧ q)
Premisas:
P1: p ∧ q
P2: p → r
Conclusión: r ∧ q
* Definir las proposiciones simples, se solicita es un
contexto académico.

* Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural.

* Generar una tabla de verdad manualmente

* Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

Answer 1

Respuesta:

Definición de proposiciones simples:

p : Si estudias.

q: Si prestas atención en clases.

r: Apruebas tu materia.

En lenguaje formal:

Si estudias tus materias y prestas atención en clases entonces apruebas tu materia por lo tanto Aprueba y Estudia.

Para determinar el valor de verdad vamos a realizar la tabla de la verdad, la cual la adjunto en la parte inferior: