Ejercicio 4: Problemas de aplicación
Expresión simbólica: [(r→¬q)∧(p∨ s)∧(q∧ p)]→¬r Premisas: P1:r→¬q P2:p∨ s P3: q∧ p 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, ejemplo:
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
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
Respuestas
Respuesta dada por:
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: r→¬q : Llegar temprano a la Universidad entonces no aumentar la velocidad caminando
P2: p∨s : Voy en motocicleta o pierdo el examen
P3: q∧p: Aumento la velocidad caminando y voy en motocicleta
Conclusión: ¬r
Generar Tabla de la Verdad.
[(r→¬q)∧(p∨ s)∧(q∧ p)]→¬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
Adjuntos:
Preguntas similares
hace 6 años
hace 6 años
hace 9 años
hace 9 años
hace 9 años