Question

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
Definir las proposiciones simples

Definir la expresión del argumento en el lenguaje simbólico formal

Generar la tabla de verdad con el simulador lógica unad

Generar una tabla de verdad a partir del lenguaje simbólico y determinar si el resultado es una tautologia, contingencia o contradicción.

Answer 1

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. El argumento es contingencia.

Explicación paso a paso:

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.