UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Elkin Capera Pamo

Docente

Elizabeth Puentes Montaño

Curso

Pensamiento Lógico y Matemático

Grupo

200611_654

Bogotá

9/marzo/2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

 Aprender a realizar la determinación del valor de la verdad

 Aprender a expresar el lenguaje simbólico y el lenguaje natural
 Realizar tablas de verdad manualmente
 Aprender a utilizar el programa truth table
 Aprender a reconocer que es una tautología, contingencia o contradicción
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

Las matemáticas, son ciencias exactas que permiten determinar ciertos postulados, en
este caso se estudiara las proposiciones y tablas de verdad donde se demostrara el
conocimiento aprendido por en el entorno de conocimiento, el entorno de aprendizaje
practico y el b-learning (aprendizaje presencial).
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Actividades a Desarrollar

Tarea 1: Proposiciones

Ejercicio c

Ejemplo:

𝒑: Falcao Garcia fue el mejor jugador de Colombia en la copa mundial de Brasil 2014.

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

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

Proposición compuesta en lenguaje Natural:

No es cierto que Falcao Garcia fue el mejor jugador de Colombia en la copa mundial de Brasil
2014 Y Colombia llego a la semifinal de la copa mundial Brasil 2014, si y solo si es falso que
Falcao Garcia fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 y Colombia
llego a la semifinal de la copa mundial de Brasil 2014.

Determinación del valor de verdad:

p: F Es falsa porque Falcao Garcia no fue al mundial

q: F Es falsa porque Colombia llego a cuartos de final

Reemplazamos

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

¬ (F ⋀ F) ↔ (V ∨ F)

¬ (F) ↔ (V)

¬F ↔V

V↔V

Tarea 2: Tablas de verdad

La solución de los enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico o formal.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth
Table.

Ejercicio c

Enunciado.

Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa

Expresión en lenguaje simbólico o formal.

Definición de proposiciones simples:

Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa

p: tengo una moto

q: tengo licencia

r: los policías me paran

s. me harán una multa

Determinación de conectores:

Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa

Expresión en lenguaje formal:

[(p⋀¬q) ⋀ r]→s

Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Tabla de verdad

p q r s ~q (p⋀¬q) (p⋀¬q) ⋀r [(p⋀¬q) ⋀ r]→s

V V V V F F F V
V V V F F F F V
V V F V F F F V
V V F F F F F V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

Simulador Truth Table

Comprobar el resultado de la tabla de verdad manual versus simulador Truth

Table.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

El resultado final de la tabla de verdad y el simulador es igual, es una contigencia.

Tarea 3: Problemas de aplicación

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples
bajo una descripción basada en el contexto académico, remplazando las variables
expresadas simbólicamente para llevarlas al lenguaje natural.

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

 Lenguaje natural de la expresión formal
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Ejercicio c

Proposición compuesta en lenguaje formal

[(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡

Definición de las proposiciones simples.

p. estudio en el programa de economía

q. inscribí en el periodo académico 5 cursos

r. el programa es de la unidad académica ECACEN

s. la Unad es de metodología virtual

t. el programa analiza la economía nacional

u. el nivel de formación es profesional

Lenguaje natural de la expresión formal

Estudio en el programa de economía entonces inscribí en el periodo académico 5 cursos y el

programa es de la unidad académica ECACEN además la Unad es de metodología virtual
también el programa es de la unidad académica ECACEN entonces el programa analiza la
economía nacional también no inscribí en el periodo académico 5 cursos también el nivel de
formación es profesional entonces el programa analiza la economía nacional también la Unad
es de metodología virtual entonces estudio en el programa de economía. Entonces el programa
analiza la economía nacional.

Tabla de verdad
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth Table

La expresión es una tautología

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

En el trabajo de lógica proposicional, se aprendió que se debe tener en cuenta los

signos de puntuación, las proposiciones se componen de delimitadores, proposición
atómica que puede tomar valores de verdadero o falso y los conectivos que pueden ser
de conjunción, disyunción, condicional o bicondicional. Finalmente se aprende a
realizar las tablas de verdad y comprobarlos con el programa truth table.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de
aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&
ppg=30

Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp.

151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=1
1046000&tm=1489704594878

Argoty, L. (2015). Repaso Lógica Matemática. Recuperado

de http://erenriquez.net/largoty/Ova01MD/

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=10
345286&tm=1492518671601

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

Recuperado de http://hdl.handle.net/10596/7961

Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado

de http://hdl.handle.net/10596/13871

Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas

universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069

Presentacion para Webconference Logica Proposicional.pptx