LÓGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES

COMPUESTAS, ÁLGEBRA DE PROPOSICIONES, TAUTOLOGÍAS Y

CONTRADICCIONES Y CONTINGENCIAS, PROPOSICIONES CATEGÓRICAS.

EDWIN GIOVANNI BECERRA DUITAMA

Grupo: 200611_136
PROGRAMA DE MÚSICA
CC: 1049606428
Fecha: 09/07/2018

Tutor:
CAROLINA CASTAÑO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
PENSAMIENTO LÓGICO Y MATEMÁTICO
DUITAMA
 INTRODUCCIÓN

El pensamiento lógico y matemático sirve para ayudar en la resolución de problemas en la

vida cotidiana, ya que permite un desarrollo cerebral para el discernimiento de situaciones
que permite juzgar los diferentes acontecimientos de la vida de manera adecuada. De esta
manera, para un estudiante de cualquier carrera, es importante desarrollar habilidades
matemáticas que le permitan asumir y afrontar la vida de una manera más equilibrada y
justa.

Este ejercicio, muy interesante, ha servido para tener un acercamiento a algunos de los
temas básicos de la lógica matemática, tales como proposiciones, valores, tablas de verdad,
etc. Esto ha servido para poder aprender a manejar todos estos temas y para seguir
construyendo un profesional integral que es la idea que propende la UNAD en todas sus
carreras y en todas sus asignaturas.

Se espera que el trabajo dé muestra de la comprensión de los temas propuestos por la

asignatura y que todo esto siga contribuyendo al desarrollo profesional de la carrera que he
elegido en la UNAD.
 OBJETIVO

Interpretar y conjugar expresiones del lenguaje simbólico y del lenguaje natural en la

formulación y representación del pensamiento lógico a través de las estructuras semánticas,
variables y conectores, como elementos fundamentales de la lógica proposicional.
 TAREA 1: PROPOSICIONES: ejercicio b.

p: El rector de la UNAD es Jaime Alberto Leal Afanador

q: La UNAD es una institución de carácter privado
r: En la UNAD se estudia de forma virtual

[(𝒑→𝒓)∧ 𝒒]↔(¬ 𝒓 ∨¬𝒒)

Expresión en lenguaje natural:

Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces, en la UNAD se estudia

de forma virtual. La UNAD es una Institución de carácter privado, si y solo sí, en la UNAD
no se estudia de forma virtual o la UNAD no es una institución de carácter privado.

Valor de verdad:

p: V q: F r: V

[(𝒑→𝒓)∧ 𝒒]↔(¬ 𝒓 ∨¬𝒒)

[(V→V)∧ F]↔(F ∨ V)

[(V)∧ F]↔(V)

[F]↔(V)

F
 TAREA 2: TABLAS DE VERDAD: ejercicio b.

Si la contaminación ambiental no se combate y los ríos siguen recibiendo residuos tóxicos,

entonces la calidad del medio ambiente será cada día peor. Los ríos no están recibiendo
residuos tóxicos. Por lo tanto, la contaminación ambiental se está combatiendo.

p: La contaminación ambiental se está combatiendo

q: los ríos siguen recibiendo residuos tóxicos
r: la calidad del medio ambiente será cada día peor

{[(¬p∧q)→r] ∧ ¬q} → p

p q r ¬p ¬q ¬p∧q (¬p∧q)→r {[(¬p∧q)→r] ∧ ¬q} {[(¬p∧q)→r] ∧ ¬q} → p

V V V F F F V F V
V V F F F F V F V
V F V F V F V V V
V F F F V F V V V
F V V V F V V F V
F V F V F V F F V
F F V V V F V V F
F F F V V F V V F

Resultados del simulador TRUTH

 TAREA 3: EJERCICIOS DE APLICACIÓN: ejercicio b

{(pΛq)Λ(r→s)Λ(qVs)}→(r→p)

p: la guitarra es un instrumento musical

q: practicar hace músicos virtuosos
r: el piano es un instrumento musical
s: la música es hermosa

La guitarra es un instrumento musical y practicar hace músicos virtuosos. Si el piano es un

instrumento musical entonces la música es hermosa. Practicar hace músicos virtuosos o la
música es hermosa, por lo tanto, si el piano es un instrumento musical, entonces, la guitarra
es un instrumento musical.

p q r s pΛq r→s qVs (pΛq)Λ(r→s) (pΛq)Λ(r→s)Λ(qVs) r→p {(pΛq)Λ(r→s)Λ(qVs)}→(r→p)

V V V V V V V V V V V
V V V F V F V F F V V
V V F V V V V V V V V
V V F F V V V V V V V
V F V V F V V F F V V
V F V F F F V F F V V
V F F V F V V F F V V
V F F F F V V F F V V
F V V V F V V F F F V
F V V F F F F F F F V
F V F V F V V F F V V
F V F F F V F F F V V
F F V V F V V F F F V
F F V F F F F F F F V
F F F V F V V F F V V
F F F F F V F F F V V
Resultado del simulador TRUTH
 CONCLUSIONES

 Es necesario comprender qué son las proposiciones para poder resolver los
ejercicios de una manera más correcta y asertiva.

 Existen dos tipos de proposiciones, simples y compuestas, mediante las

proposiciones compuestas se pueden lograr combinaciones mediante los conectores
lógicos: negación, conjunción, condicional y bicondicional.

 Las tablas de verdad nos sirven para probar la validez de los argumentos.
 BIBLIOGRAFÍA

Ferrando, J., & Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 1 – 8). Editorial
Reverté. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=28&docID=3214
878&tm=1519931547569

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. (pp. 3
– 22). El Cid Editor. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=22&docID=3213
116&tm=1519931780275

Herrera, M. J. (2005). Lógica de enunciados: algunos aspectos básicos. (pp. 19 – 41).

Instituto Politécnico Nacional. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3192
156&tm=1523377197372

Gutiérrez, G. E., & Larios, G. R. (2010). Fundamentos de matemáticas y lógica. (pp. 162 –
172). Instituto Politécnico Nacional. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=172&docID=318
8149&tm=1519932598123
.
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones, [Video]. Recuperado de http://hdl.handle.net/10596/7961