A.

[(𝑝⟶�)∧(∼𝑝⟶�)]⟶(∼r⟶p)

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.

- P:David es estudiante de la unad

Q:trabaja medio tiempo
R:está en el proceso de coger una carrera

 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 considerara como copia
y se tomaran las medidas correctivas estipuladas por la UNAD.

- Si David es estudiante de la unad entonces trabaja medio

tiempo, si no es estudiante de la unad entonces está en el
proceso de escoger una carrera, por lo tanto si no está en el
proceso de escoger una carrera entonces David es estudiante de
la unad.

 Generar una tabla de verdad con el simulador Truth Table a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador TRUTH, 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).

[(𝑝⟶�)∧(∼𝑝⟶�)]⟶(∼r⟶p)
p q r ∼𝑝 ∼r 𝑝⟶� ∼𝑝⟶� [(𝑝⟶�)∧(∼𝑝⟶�)] ∼r⟶p [(𝑝⟶�)∧(∼𝑝⟶�)]⟶(∼r⟶p)

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

 Definir si el argumento seleccionado inicialmente es una

tautología, contradicción o contingencia

- argumento seleccionado inicialmente es una tautología