Ejercicio

(𝑞 ∧ 𝑟) ↔ [¬𝑟 ∨ (𝑝 → 𝑞)]

A partir de la proposición compuesta en lenguaje simbólico que haya

seleccionado deberá:

• Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto. el que se solicita es un contexto académico,

ejemplo:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada estudiante, por lo

que de encontrar proposiciones iguales entre estudiantes se considerará como

copia y se tomarán las medidas correctivas estipuladas por la UNAD. • 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 (En Word, Excel o foto del desarrollo manual).

• Definir si el argumento seleccionado inicialmente es una tautología, contradicción

o contingencia
Solucion:

(𝑞 ∧ 𝑟) ↔ [¬𝑟 ∨ (𝑝 → 𝑞)]

Lenguaje Simbólico

p: harán sus tareas de manera virtual.

q: Los estudiantes de colegios públicos entraron en cuarentena

r: solo verán clases virtuales en sus casas

Lenguaje natural

Los estudiantes de los colegios públicos entraron en cuarentena y solo verán

clases virtuales en sus casas si y solo si no solo verán clases virtuales o harán
sus tareas de manera virtual entonces los estudiantes de colegio público entraron
en cuarentena.

Tabla en word

𝑝 𝑞 𝑟 ¬𝑟 (𝑝 → 𝑞) (𝑞 ∧ 𝑟) [¬𝑟 ∨ (𝑝 → 𝑞)] (𝑞 ∧ 𝑟) ↔ [¬𝑟 ∨ (𝑝 → 𝑞)]

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

Simulador lógica UNAD

Podemos concluir que la tabla de verdad comparada con el simulador son iguales.

 Definir si el argumento es una Tautología, contradicción o

contingencia.
El argumento es una contingencia ya que contiene valores verdades y
falsos.