• Expresión simbólica: [(p→q)∧(r→s)∧(p∧t)]→q Premisas: P1: p→q P2:(r→s) P3: p∧t Conclusión: q 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. • Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico. •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
Respuestas
Respuesta dada por:
0
Respuesta.
Para resolver este problema en primer lugar se deben definir las preposiciones simples, las cuales son:
p: ir en motocicleta
q: aumentar la velocidad
r: llego temprano a la Universidad
Lenguaje natural de la exposición formal
p ∧ q : Si voy en motocicleta y aumento la velocidad
p ∧ q Si voy en motocicleta entonces llego temprano a la Universidad
Luego se procede a generar la tabla de la verdad, la cual es:
p ∧ q ∧ p ∧ q
Definir si el argumento es: Tautología, Contingencia o contradicción
El argumento es contingencia.
Preguntas similares
hace 6 años
hace 6 años
hace 6 años
hace 9 años
hace 9 años
hace 9 años
hace 9 años
hace 9 años