Actividades a desarrollar

Tarea 1: Proposiciones y 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.

A. {(p→∼q)∧(∼r→s)∧(r→p)}→(∼q∨s)

B. [(p→q)∧(q→r)∧(s∨~r)∧(~s∨t)∧(~t)]⟶~p

C. {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q

D. [(p v q) ^ ((p ^ r) ⟶ s) ^ (r ^ ¬s)] ⟶ q

E. {[(pV~r) ⟶ ~q] ∧ (p∧q) ∧ (~r ˅ s)} ⟶ (r∧s)

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

A. {(p→∼q)∧(∼r→s)∧(r→p)}→(∼q∨s)
Si en la UNAD se estudia a distancia entonces no siempre se tiene que ir a la

universidad, y si no toda la información se encuentra en la biblioteca digital entonces

buscamos ayuda de los tutores, y si toda la información se encuentra en la biblioteca

digital entonces en la UNAD se estudia a distancia, entonces no siempre se tiene

que ir a la universidad o buscamos ayuda de los tutores.

P: En la UNAD se estudia a distancia

Q: siempre se tiene que ir a la universidad

R: toda la información se encuentra en la biblioteca digital

S: buscamos ayuda de los tutores

~Q: No siempre se tiene que ir a la universidad

~R: No toda la información se encuentra en la biblioteca digital

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

Table.
RESULTADO: Es una tautología ya que
es completamente verdadera.