Expresión simbólica: [(r∨s)∧¬p∧(q∨¬r)∧(q→p)]→s
Premisas:
P1: r∨s
P2: ¬p
P3: q∨¬r
P4: q→p
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.
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.
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico.
• Demostración de la validez del argumento mediante las leyes de la inferencia lógica.
AYUDA...POR FAVOR
Respuestas a la pregunta
Contestado 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.
Adjuntos:
Otras preguntas
Matemáticas,
hace 7 meses
Castellano,
hace 7 meses
Tecnología y Electrónica,
hace 1 año
Matemáticas,
hace 1 año
Biología,
hace 1 año