Cada estudiante debe seleccionar uno de los ejercicios referenciados y

anunciar su escogencia en el foro, de tal forma que no coincida con los

compañeros.

Actividades a desarrollar

Tarea 1: Proposiciones

Transcribir en el lenguaje natural la expresión formal que se relaciona y

determinar el valor de verdad de la proposición compuesta, a partir del
valor de verdad de cada proposición simple:

B) p: El rector de la UNAD es Jaime Alberto Leal Afanador

q: La UNAD es una institución de carácter público

r: En la UNAD se estudia de forma presencial

[(𝒑→𝒓)∧ 𝒒]↔(¬ 𝒓 ∨¬𝒒)

Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces En la

UNAD se estudian de forma presencial y esta es una Institución de
carácter público. Si y solo si en la UNAD no se estudia de forma
presencial o la UNAD no es una institución de carácter público.

p: V q: V r: F

[(𝒑→𝒓 ∧ 𝒒] ↔ (¬ 𝒓 ∨¬𝒒)

[(V→F) ∧ V] ↔ (V ∨ F)

[(F) ∧ V] ↔ (V ∨ F)

[F] ↔ (V)

F
Tarea 2: Tablas de verdad

Cada estudiante debe seleccionar uno de los ejercicios referenciados y

anunciar su escogencia en el foro, de tal forma que no coincida con los
compañeros.

La solución de los enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico o formal. 
 Generar la tabla de verdad manualmente y a través del
simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus
simulador Truth Table.

B) Si El sol es redondo y la luna es un satélite si y solo si la tierra hace

parte de la vía láctea.
p: El sol es redondo
q: La luna es un satélite
r: La tierra hace parte de la vía láctea

 Expresión de lenguaje simbológico

(p ∧ q ) ↔ r
 Generar la tabla de verdad manualmente y a través del simulador
Truth Table.
 

 Comprobar el resultado de la tabla de verdad manual versus
simulador Truth Table.

Lenguaje en el simulador :
(p & q ) = r

Tarea 3: Problemas de aplicación

Cada estudiante debe seleccionar uno de los ejercicios referenciados y

anunciar su escogencia en el foro, de tal forma que no coincida con los
compañeros.
Desde su rol como estudiante, tendrá la libertad de definir las
proposiciones simples bajo una descripción basada en el contexto
académico, remplazando las variables expresadas simbólicamente para
llevarlas al lenguaje natural.

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples
 Lenguaje natural de la expresión formal
 Generar la tabla de verdad manualmente y a través del simulador
Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus
simulador Truth Table.
 Definir si el argumento es una Tautología, contradicción o
contingencia

B. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡

 Definición de las proposiciones simples

p: la casa es de color blanco

q: construida de 2 pisos

r: ventanas en aluminio

s: se observa la cordillera

t: el fin del mundo

 Lenguaje natural de la Expresión Formal

Si la casa en de color blanco entonces es construida de 2 pisos y consta

de ventanas en aluminio por tanto se observa entonces la cordillera.

Además de es construida de 2 pisos también observamos la cordillera.

Por tanto el fin del mundo. Así como la casa es de color blanca y consta

de ventanas en aluminio entonces si se observa el fin del mundo.

 Generar la tabla de verdad manualmente y a través del simulador

Truth Table.

B. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡

p q r s t { (𝑝⟶𝑞) (𝑟⟶𝑠) (𝑞∧𝑠) (𝑝∧𝑟) {(𝑝⟶𝑞)∧(𝑟⟶𝑠) [(𝑞∧𝑠)⟶𝑡] {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡] (𝑝∧𝑟)}⟶𝑡 {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡

v v v v v v v v v v v v v v
v v v v f v v v v v v v f v
v v v f v v f f v f f f v v
v v v f f v f f v f f f f v
v v f v v v v v f v v v f v
v v f v f v v v f v v v f v
v v f f v v v f f v v v f v
v v f f f v v f f v v v v f
v f v v v f v f v v f f v v
v f v v f f v f v v f f v v
v f v f v f f f v v f f v v
v f v f f f f f v v f f v v
v f f v v f v f f v f f f v
v f f v f f f f f v f f v v
v f f f v f v f f v f f f v
v f f f f f v f f f f f v v
f v v v v v v v f v v v f v
f v v v f v v v f v v v v v
f v v f v v f f f f f f v v
f v v f f v f f f f f f v v
f v f v v v v v f v v v v v
f v f v f v v v f v v v v v
f v f f v v v f f v v v v v
f v f f f v v f f v v v v v
f f v v v v v f f v v v v v
f f v v f v v f f v v v v v
f f v f v v f f f f f f v v
f f v f f v f f f f f f v v
f f f v v v v f f v f f v v
f f f v f v v f f v v v v v
f f f f v v v f f v v v v v
f f f f f v v f f v v v v v

En lenguaje del simulador

((p>q)&(r>s)&((q&s)>t)&(p&q))>t
 Comprobar el resultado de la tabla de verdad manual versus

simulador Truth Table.

Los resultados arrojados por la tabla de la verdad y en el

simulador Truth Table si coinciden.

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

contingencia.
El argumento es una Contingencia. Ya que encontramos en los

componentes simple una Falsa. Lo que quiere decir que es un

afrgmento Invalido.