Ejercicio # 2 Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio

2:
A. 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 taller de Fernando

 Definir las proposiciones simples del argumento.

𝑷: 𝑺𝒊 𝒆𝒍 𝒗𝒆𝒉í𝒄𝒖𝒍𝒐 𝒅𝒆 𝑮𝒂𝒃𝒓𝒊𝒆𝒍𝒂 𝒏𝒆𝒄𝒆𝒔𝒊𝒕𝒂 𝒎𝒂𝒏𝒕𝒆𝒏𝒊𝒎𝒊𝒆𝒏𝒕𝒐
𝑸: 𝑬𝒍𝒍𝒂 𝒍𝒐 𝒍𝒍𝒆𝒗𝒂 𝒂𝒍 𝒄𝒐𝒏𝒄𝒆𝒔𝒊𝒐𝒏𝒂𝒓𝒊𝒐
𝑹: 𝒍𝒐 𝒍𝒍𝒆𝒗𝒂 𝒂𝒍 𝒕𝒂𝒍𝒍𝒆𝒓 𝒅𝒆 𝑭𝒆𝒓𝒏𝒂𝒏𝒅𝒐

 Definir la expresión del argumento en lenguaje simbólico o formal.

{𝒑 → [(𝒒 ∧∽ 𝒒) → 𝒓]}

 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 y determinar si el resultado es una tautología,
contingencia o contradicción.
p q r ~q (q^~q) p->[(q^~q)->r]
V V V F F V
V V F F F V
V F V V F V
V F F V F V
F V V F F V
F V F F F V
F F V V F V
F F F V F V