Matemáticas, pregunta formulada por linillafer, hace 1 año

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo del ejercicio 3:
C. Expresión simbólica: [(p∨(q∧r))∧¬(q∧r)∧(p→s)]→s

Premisas
P1: p∨(q∧r)
P2: ¬(q∧r)
P3: p→s

Conclusión: s

A partir de la expresión simbólica seleccionada, el estudiante deberá:
 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,

Respuestas a la pregunta

Contestado por irmajulia
1

Las proposiciones simples para la expresión simbólica [(p∨(q∧r))∧¬(q∧r)∧(p→s)]→s es:

Estudio o me voy a jugar y comer helados, pero, no me voy a jugar y comer helados. Además se sabe que, si estudio entonces apruebo el examen. Por lo tanto, apruebo el examen.

Para realizar el enunciado anterior consideramos las variables:

p: Estudio

q: voy a jugar

r: voy a comer helado

s: apruebo el examen

Luego las premisas son:

P1: p∨(q∧r)

P1: Estudio o me voy a jugar y comer helados.

P2: ¬(q∧r)

P2: no me voy a jugar y comer helados

P3: p→s

P3: si estudio entonces apruebo el examen.

Conclusión: s

Conclusión: apruebo el examen


linillafer: Me puedes ayudar con esta
linillafer: P1: p->q
P2: q->r
P3: pvq
Conclusión: r
linillafer: Tengo que demostrar su validez usando las leyes de inferencia
Otras preguntas