EJERCICIO 2: proporciones tablas de verdad:

A. Argumento: 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.

Definir las proposiciones simples del argumento:

p: El arcoíris se forma con muchos colores

q: si el agua de lluvia interactúa con los rayos de luz solar
r: si el sol está detrás de las nubes

 Definir la expresión del argumento en lenguaje simbólico o formal:

( p ↔q ) V (r → p)

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico:
  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¿ V ¿ →

V V V V V V V V V F
V V F V V V V F V F
V F V V F F V V V V
V F F V F F V F V V
F V V F F V F V F F
F V F F F V V F V F
F F V F V F V V V V
F F F F V F V F V V

Resultado de la tabla es una contingencia