LOGICA MATEMATICA

Conectivos lógicos y teoría de conjuntos

Ejercicio 2 e

Presentado por:
Stifen Manfred Pohl R.

UNAD - (90004A_612)
BOGOTA 2019
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

e) Si Gabriela consume alimentos balanceados y practica ejercicio regularmente, entonces,

goza de buena salud. Si Gabriela no practica ejercicio regularmente o se dedica a otras
actividades, no gozara de buena salud.

I. proposiciones simples del argumento.

P: consume alimentos balanceados

q: Práctica ejercicios regularmente
r: Goza de buena salud
s: Se dedica a otras actividades

II. expresión del argumento en lenguaje simbólico o formal.

[(p ^ q) - r] – [(~q v s) ~r]

III. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)

p q r s ((p∧q)→r)→((~q∨s)~r)
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
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
IV. 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 p∧q ~r (p ∧ q)→(~r)
V V V V F F
V V F F V V
V F V F F V
V F F F V V
F V V F F V
F V F F V V
F F V F F V
F F F F V V

La tabla es de tipo contingencia, ya que toda proposición que es inventada generalmente lo

es.

V. Bibliografía

 Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado de

http://hdl.handle.net/10596/6547

 (2016). Lógica conjuntos 1, [Video]. Recuperado de http://hdl.handle.net/10596/6558

 Wagner, M. (2016). Lógica Proposiciones 1, [Video]. Recuperado de

http://hdl.handle.net/10596/6542