EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD

Descripción del ejercicio:

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.
B. El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los rayos
de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con muchos
colores.
C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una
empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de
Google.
D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa
entonces escribirá poemas.
E. PlayStation es una consola si y sólo si es usada como un reproductor de BlueRay y para
jugar juegos de video.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Definir las proposiciones simples del argumento

p: El arcoíris se forma con muchos colores.

q: El agua de lluvia interactúa con los rayos de luz solar.
r: El sol está detrás de las nubes.
¬p: El arcoíris no se forma con muchos colores.

 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 s ¬s (p↔q) (p↔q) v r (p↔q)v r →¬s

V V V V F V V F
V V V F V V V V
V V F V F V V F
V V F F V V V V
V F V V F F V F
V F V F V F V V
V F F V F F F V
V F F F V F F V
F V V V F F V F
F V V F V F V V
F V F V F F F V
F V F F V F F V
F F V V F V V F
F F V F V V V V
F F F V F V V F
F F F F v V V v

El resultado de la tabla es una contingencia