Question

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


Expresión simbólica: {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q
Premisas
P1: p→(q∨r)
P2: s→∼q
P3: t→∼r
P4: p∧t
Conclusión: q

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: