Ejercicio 2: Proposiciones y Tablas de verdad

Enunciado Elegido:
E. Si Elisa es docente de matemáticas entonces enseña el curso de Estadística o
el de Lógica matemática. Y si ella dicta Herramientas digitales, entonces Elisa no
es docente de matemáticas.

1. Definir las proposiciones simples del argumento:

p= Elisa es docente de matemáticas.
q= Elisa enseña el curso de estadística.
r= Elisa enseña el curso de lógica matemática.
s= Ella dicta herramientas digitales.

2. Definir la expresión del argumento en lenguaje simbólico o formal.

(p  q) v r ^ s ¬ p
3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico.
∨ ∧

p q r s (p→q) r s→~p
v v v v F
v v v f F
v v f v F
v v f f F
v f v v F
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción.

p q r s (p→q) (p→q)∨r (p→q)∨r)∧s (p→q)∨r∧s→~p

v v v v v v v F
v v v f v v v F
v v f v v v f F
v v f f v v f F
v f v v f v v F
v f v f f v v V
v f f v f f f V
v f f f f f f V
f v v v v v v V
f v v f v v v V
f v f v v v f V
f v f f v v f V
f f v v v v v V
f f v f v v v V
f f f v v v f V
f f f f v v f V

El resultado es contingencia porque no es ni verdadera ni  falsa

independientemente de los valores de verdad de las proposiciones simples
que la componen.