Expresión simbólica:
{[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s)
Premisas:
P1: (p→q)∨r
P2: (r→∼p)
P3: (p∧s)
Conclusión: (q∧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, 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 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
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
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)∨r: Si voy en motocicleta entonces aumento la velocidad o llego temprano a la universidad
P2: (r→∼p): Si llego temprano a la Universidad entonces no voy en motocicleta
P3: p∧s: Voy en motocicleta y pierdo el examen
Conclusión:
q∧p: aumento la velocidad y pierdo el examen
Generar Tabla de la Verdad.
[((p→q)∨r)∧((r→∼p)∧(p∧s)]→(q∧p)
Definir si el argumento es: Tautología, Contingencia o contradicción
El argumento es Tautologia.
Ver más en Brainly - brainly.lat/tarea/11010227#readmore
Respuesta:
Conoces como se realiza la validez del argumento mediante las leyes de inferencia? necesito resolver el mismo problema, y solo me falta el punto de leyes de inferencia ¡ agradeceria tu ayuda.
Explicación paso a paso: