Question

Expresión simbólica: [(p∨q)∧(p→r)∧(q→s)⋀(¬r)]→s

Premisas:
P1: p∨q
P2: p→r
P3: q→s
P4: ¬r

Conclusión: s

- Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico.

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

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: