Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje

simbólico (argumento) para el desarrollo del ejercicio 3:

A. (𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)
B. (¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)
C. (𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟 )
D. (𝑝 ∧ 𝑞) → (𝑞 ∨ ¬𝑟)
E. (𝑝 → 𝑟) ∧ (𝑞 ∨ ¬𝑝)

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

Respuesta a la pregunta

𝐷. (𝑝 ∧ 𝑞) → (𝑞 ∨ ¬𝑟)

Argumento

María va a la escuela en bicicleta y lleva a su amiga en ella juntas almuerzan en la

cafetería o en casa con su familia.

Proposiciones simples.

p – maría va a la escuela en bicicleta

q– lleva a su amiga en ella

q– juntas almuerzan en la cafetería

r – en casa con su familia

Lenguaje Simbólico

(𝒑 ∧ 𝒒) → (𝒒 ∨ ¬𝒓)
Tabla simulador lógico UNAD

p q r (p∧q)→(q∨~r)
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V

Tabla Manual

p q r 𝒑∧𝒒 𝒒 ∨ ¬𝒓 (𝒑 ∧ 𝒒) → (𝒒 ∨ ¬𝒓)
V V V V V v
V V F V F v
V F V V V v
V F F V F v
F V V v V v
F V F v F v
F F V F V v
F F F F f v

1. es una tautología porque todos los casos no son verdaderos.

2. No es una contradicción pues todos los casos no son falsos.

3. no una contingencia porque que puede ser verdadera o falsa