Conectivos Lógicos y Teoría de Conjuntos

Manuel Alejandro Chacon

Tutor:

Oscar Javier Sotelo

Curso: 90004_380

Universidad nacional abierta y a distancia – UNAD

Escuela de ciencias administrativas, contables, económicas y de negocios - ECACEN

Administración de Empresas

Cali, 26 de feb. De 2020

 Conectivos Lógicos y Teoría de Conjuntos

Ejercicio 2: Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

e. Si Sofía es docente de matemáticas entonces enseña el curso de Estadística o el de Lógica

matemática. Y si ella orienta Herramientas digitales, entonces Sofía no es docente de

matemáticas.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

• Definir las proposiciones simples del argumento.

Si Sofía es docente de matemáticas entonces enseña el curso de Estadística o el de Lógica

matemática. Y si ella orienta Herramientas digitales, entonces Sofía no es docente de

matemáticas.

p: Sofía es docente de matemáticas

q: Sofía enseña el curso de Estadística

r: Sofía enseña el curso de Lógica matemática.

s: Sofía orienta Herramientas digitales

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

[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 → ¬𝑝)

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.
• 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 (q∨r) (p→(q∨r)) (~p) (s→¬p) (p→(q∨r))∧(s→¬p)

v v v v v v f f F

v v v f v v f v V

v v f v v v f f F

v v f f v v f v V

v f v v v v f f F

v f v f v v f v V

v f f v f f f f F

v f f f f f f v F

f v v v v v v v V

f v v f v v v v V

f v f v v v v v V

f v f f v v v v V

f f v v v v v v V

f f v f v v v v V

f f f v f v v v V

f f f f f v v v V

Como existe al menos un verdadero y al menos un falso, esta forma proposicional se considera

una Contingencia, esto es cuando es verdadera de acuerdo a ciertos valores de verdad de las

proposiciones y va a ser falso para ciertos valores de p, q y r.