[(p ⋁q)⟷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:
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 considerará como copia y se tomarán 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).
• Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia
Respuestas
Definición de preposiciones simples:
p: el vehículo de Gabriela necesita mantenimiento
q: lo lleva al concesionario
r: lo lleva al taller de Fernando
Lenguaje natural de la exposición formal
p →q : Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario
¬q→r: si ella no lo lleva al concesionario entonces, lo lleva al taller de Fernando
p →q ∨ ¬q→r: Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario o si ella no lo lleva al concesionario entonces, lo lleva al taller de Fernando
Generar Tabla de la Verdad.
p →q ∨ ¬q→r
Ver adjunto
Definir si el argumento es: Tautología, Contingencia o contradicción
El argumento es contingencia. Tiene valores falsos y verdaderos
Tautología una proposición que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la última columna de su tabla de verdad estará formada únicamente por verdadero.
Contradicción: es la negación de una tautología, luego es una proposición falsa cualesquiera sea el valor de verdad de sus componentes. La última columna de la tabla de verdad de una contradicción estará formada únicamente por falso.
Respuesta:
[(p ⋁q)⟷r]
Explicación paso a paso: