Ejercicio 2: Tablas de verdad

c) Colombia cuenta con una variedad de fauna y flora. Si y solo si,

la traviesa la cordillera de los Andes y la llanura amazónica.

• Definir las proposiciones simples del argumento.

p: Colombia cuenta con una variedad de fauna
q: Flora
r: La traviesa la cordillera de los Andes
s: La llanura amazónica

• Definir la expresión del argumento en lenguaje simbólico o

formal.
[ ( p ∧ q ) ↔ ( r ∧ s) ]

• 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.
Tabla de verdad

p q r s ( p ∧q ) ( r ∧ s) [ ( p ∧ q ) ↔ ( r ∧ s) ]
v v v v v v v
v v v f v f f
v v f v v f f
v v f f v f f
v f v v f v f
v f v f f f v
v f f v f f v
v f f f f f v
f v v v f v f
f v v f f f v
f v f v f f v
f v f f f f v
f f v v f v f
f f v f f f v
f f f v f f v
f f f f f f v

De la elaboración de la presente tabla de verdad, podemos concluir que

es una contingencia porque dentro de los valores de verdad de la
proposición final se obtiene como resultados verdaderos (v) y falso (f).