Question

Problemas de aplicación

Expresión simbólica: [(p∨q)∧(q⟶∼r)∧(∼r⟶s)∧ (∼p)∧ (s⟶r)]⟶(r)
Premisas:
• P1: p∨q
• P2: q⟶∼r
• P3: ¬r→s
• P4: ∼p
• P5: s⟶r
Conclusión: r
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, ejemplo:
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas correctivas estipuladas por la UNAD.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).
• Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Answer 1

El argumento es tautologia y la tabla de verdad esta adjunta

Explicación paso a paso:

Definir las proposiciones simples:

p: ir en motocicleta

q: aumentar la velocidad  caminando

r: llegar temprano a la Universidad

s: pierdo el examen

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

Premisas:  

P1: p∨q

: Ir en motocicleta o aumentar la velocidad caminando

P2: q⟶¬r

: Si aumento la velocidad caminando entonces no llegare temprano a la Universidad

P3: ¬r→s

: Si no llego temprano a la Universidad entonces pierdo el examen

P4: ¬p

: no ir en motocicleta

P5: s⟶r

: pierdo el examen entonces  llego temprano a la Universidad

Conclusión: r

Generar Tabla de la Verdad.

[(p∨q)∧(q→¬r)∧(¬r⟶s)∧ (¬p)∧ (s⟶r)]⟶(r)

Definir si el argumento es: Tautología, Contingencia o contradicción

El argumento es Tautologia

Ver más en Brainly - https://brainly.lat/tarea/11010227#readmore