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:

Answer 2

Respuesta:

Me puedes ayudar?

Explicación paso a paso:

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

Premisas:

P1: r→¬q

P2:¬q→s

P3: p∧¬s

Conclusión ¬r

•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. Las proposiciones simples deben ser de autoría de cada estudiante

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

Muchas Gracias si me pueden ayudar