PASO 2.

PROPOSICIONES Y TABLAS DE VERDAD.

JHAN CARLOS MARTINEZ VILLALBA. CC. 73.009.479.

PRESENTADO AL TUTOR: Efraín Alejandro Perez.

EN EL GRUPO: 200611_80.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD.

ESCUELA DE CIENCIAS BASICAS TECNOLOGIAS E INGENIERIAS - ECBTI.
PENSAMIENTO LOGICO MATEMATICO.
JULIO DE 2018.
 INTRODUCCIÓN.

En el siguiente trabajo abordaremos la temática de la unidad 1: Lógica Proposicional, en la

cual trabajaremos acerca de proposiciones, tablas de verdad y resolveremos problemas de
aplicación mediante la realización de ejercicios de las tres tareas, lo cual nos ayudara a entender
mejor dichos temas.
 OBJETIVOS.

Identificar las diferentes proposiciones que se pueden encontrar en un enunciado.

Traducir proposiciones del lenguaje natural al lenguaje formal.

Aprender a elaborar tablas de verdad.

Identificar si un argumento es válido o no y demostrarlo.

Reconocer nuevas estrategias y métodos de aprendizaje, aplicadas para el desarrollo de la

educación virtual que ofrece la UNAD.
Tarea 1: Proposiciones.

Ejercicio c:

p: Falcao García fue el mejor jugador de Colombia en la copa mundial de Brasil 2014

q: Colombia llegó a la semifinal de la copa mundial de Brasil 2014

¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)

Proposición compuesta en el lenguaje natural:

Falcao Garcia no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 y
Colombia no llego a la semifinal de la copa mundial de Brasil 2014, si y solo si Falcao Garcia no
fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 o Colombia llegó a la
semifinal de la copa mundial de Brasil 2014.

Determinar el valor de la verdad:

p: F q: F

¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)

(V⋀V)↔(V∨F)

V↔V

Tarea 2: Tablas de verdad

Ejercicio b:

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.
Expresión en el lenguaje simbólico o formal.

Proposiciones:

p. La contaminación ambiental se combate.

q. Los ríos siguen recibiendo residuos tóxicos.

r. La calidad del medio ambiente será cada dia peor.

Representación en lenguaje formal.

p: V q: V r: V

[(¬p∧q)→r] ∨ (¬q→p)

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

[F→V] ∨ (F→V)

V∨V

Tabla de verdad.

p q r ¬p ¬q (¬p∧q) [(¬p∧q)→r] (¬q→p) [(¬p∧q)→r] ∨ (¬q→p)

V V V F F F V V V

V V F F F F V V 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 V V

F V F V F V F V V

F F V V V F V F V

F F F V V F V F V
Se comprueba la tabla de verdad Manual con la del Simulador Truth Table y son iguales.

Tarea 3: Problemas de aplicación.

Ejercicio D:
{[(pΛq)→r]Λ(qΛs)Λ(sVp)}→q

Lenguaje natural:

Prefiero ir de vacaciones y jugar futbol, entonces haría ejercicios y jugar futbol y salir a

trabajar y salir a trabajar o ir de vacaciones, entonces jugare futbol.

 Proposiciones:

p. Ir de vacaciones.

q. Jugar futbol.

r. Hacer ejercicios.

s. Salir a trabajar.

Tabla de verdad:

p q r s (pΛq) (pΛq)→r (qΛs) [(pΛq)→r]Λ(qΛs) (sVp) {[(pΛq)→r]Λ(qΛs) {[(pΛq)→r]Λ(q

Λ(sVp)} Λs)Λ(sVp)}→q

V V VV V V V V V V V

V V VF V V F F V F V

V V F V V F V F V F V

V V F F V F F F V F V

V F VV F V F F V F V

V F VF F V F F V F V

V F F V F V F F V F V

V F F F F V F F V F V

F V VV F V V V V V V
 F V VF F V F F F F V

F V F V F V V V V V V

F V F F F V F F F F V

F F VV F V F F V F V

F F VF F V F F F F V

F F F V F V F F V F V

F F F F F V F F F F V

Se comprueba la tabla de verdad Manual con la del Simulador Truth Table y son iguales.

El argumento es una tautología.

 CONCLUSIONES

En el anterior trabajoreforzamos los conocimientos adquiridos en la anterior unidad al dar uso

de las formas básicas de las tablas de verdad, los principios de lógica y los razonamientos lógicos
para demostrar la validez o no validez de las situaciones propuestas. Además se pudo interactuar
con los demás compañeros del grupo y aprende de cada uno de ellos, socializar y compartir
conocimientos y formas de trabajo.
 REFERENCIAS BIBLIOGRÁFICAS.

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=3214878&
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=3213116&
tm=1519931780275

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=3188149
&tm=1519932598123

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=3192156&
tm=1523377197372

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Video]. Recuperado de http://hdl.handle.net/10596/7961