TRABAJO LÓGICA MATEMÁTICA.

PRESENTADO POR:
Marlín Melisa López Meneses

Código:
1004548413

Grupo:
90004_47

Tutor:
JAVIER ERNESTO RODRIGUEZ

Universidad nacional abierta y a distancia (UNAD)

Escuela de ciencias agrícolas pecuarias y del medio ambiente
CEAD – Pasto Nariño
Marzo 28
Introducción.
El trabajo está compuesto por unos ejercicios donde encontramos unas tablas de verdad
resuelta tanto manualmente y unas son resueltas en una aplicación virtual la cual no las
brinda la universidad ya que aquí encontramos todo esto también encontramos muchas
oraciones simples y compuestas con muchas leyes de inferencia lo cual no las conocíamos
o también nos da entender que todos esta leyes de inferencia lo cual también estas leyes la
estamos utilizando en nuestra vida diaria lo malo es que o nos damos cuenta, todo este
trabajo esta compuesta por todas estas leyes y tablas de proporciones de verdad.
Objetivos. El objetivo principal es explicar las leyes de di inferencias que existen para así
aprender a desprender oraciones compuestas por oraciones simples, en un lenguaje natural,
y pasarlo a un lenguaje simbólico.
Proporciones de tablas de verdad

Ejercicio 1.
D.
p: Aumentan las exportaciones de flor
q: La economía de Colombia se hunde
r: Mejoran las relaciones internacionales del país
(𝒑 ∨ 𝒒) ↔ r

 Escriba proporción compuesta propuesta en el lenguaje natural.

Se aumenta la exportación de flores o la economía en Colombia se hunde, si solo si
mejoran relaciones internacionales de todo el país.
 Elaborar tabla de verdad a través del simulador lógica matemática UNAD
Tabla - Resultados

p q r (p∨q)↔r
v v v V
v v f F
v f v V
v f f F
f v v V
f v f F
f f v F
f f f V

Generar tabla de verdad manualmente.

P Q r (pVq) (p∨q)↔r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V
Ejercicio 2.
D. Expresión simbólica.
¬ r ∨s r→q p∧ q
R q→t
S r→t q
 ¬ r ∨s
r silogismo disyuntivo

S
r: Samir sale a entrenar todas las mañanas.
s: Samir trabaja en las tardes.
 Si Samir NO sale a entrenar todas las mañanas O Samir trabaja en las tardes. Samir
sale a entrenar todas las mañanas, por lo tanto, Samir trabaja en las tardes.

 r→q
q→t silogismo hipotético.
r→t

r: Samir sale a entrenar todas mañanas.

q: Samir trabaja en las tardes.
t: Samir se dedica a sus estudios virtuales en la noche.

 Si Samir sale a entrenar todas las mañanas ENTONCES Samir trabaja en la tarde.
Samir trabaja en las tardes ENTONCES Samir se dedica a sus estudios virtuales en
la noche. Por lo tanto, Samir sale a entrenar todas las mañanas ENTONCES Samir
se dedica a sus estudios virtuales en la noche.

 p∧ q
simplificación.
q
 p: Samir sale a entrenar todas las mañanas.
q: Juana en las noches se dedica a sus estudios virtuales en la noche.
 Si Samir sale a entrenar todas las mañanas Y Juana en las noches se dedica a sus
estudios virtuales en la noche. Juana en las noches se dedica a sus estudios virtuales
en la noche.

Ejercicio 3.
D. Si voy a montar bicicleta entonces tendré buen estado físico. Voy a montar bicicleta.
P: si voy a montar bicicleta.
Q: tendré buen estado físico.
c. Lenguaje simbólico:
Premisa 1: p →q
Premisa 2: p
Conclusión: q

a. Conclusión: tendré buen estado físico.

b. Ley de inferencia aplicada: modus ponens

ejercicio 4.
D. Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ (¬𝑞 ∧ 𝑟)] → (¬𝑝 ∧ ¬𝑞)
Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: ¬𝑞 ∧ 𝑟
Conclusión: ¬𝑝 ∧ ¬𝑞
Proposiciones simples:
P: Juana le gusta leer libros.
Q: Juana estudia a distancia leguas inglesas.
R: Juana trabaja en un libro de su autoría.

Si Juana le gusta leer libros entonces Juana no estudia a distancia lenguas inglesas. Juana
estudia a distancia lenguas inglesas o Juana no trabaja en un libro de su autoría. Si Juana no
estudia a distancia lenguas inglesas y Juana trabaja en un libro de su autoría entonces Juana
no le gusta leer libros, y por lo tanto, Juana no trabaja en un libro de su autoría.
Simulador de tabla de verdad de la UNAD.

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

v v v V

v v f V

v f v V

v f f V

f v v V

f v f V

f f v V

f f f V

Tabla - Resultados

Tabla manualmente.
p q R ~q ~r ~p (p→~q) (q∨~r) (~q∧r)
V V V F F F F V F
V V F F V F F V V
V F V V F F V F V
V F F V V F V V V
F V V F F V V V F
F V F F V V V V V
F F V V F V V F V
F f F V V V V V V
((p→~q)∧(q∨ (q∨~r)∧(~q∧ ((p→~q)∧(q∨~r)∧(~q (~p∧~ ((p→~q)∧(q∨~r)∧(~q∧r))→(~p
~r) r) ∧r)) q) ∧~q)
V F F V V
V V V V V
F F F F V
V V V F V
V F F V V
v V V V V
F F F V V
V V v V V

Conclusión. tautología

Conclusiones.
 Terminamos resolviendo cada uno de los trabajos con su respectivo resultado ya que
esto nos explicaron con ayuda de los tutores podemos resolver cada uno de los
ejercicios planteados en a guía.