UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Heiner Jose Meza

Docente

Marlon Osorio

Curso

Pensamiento Lógico y Matemático

Grupo

200611A_472

BARRANQUILLA

10/04/2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

 Comprender y aplicar los conocimientos adquiridos en desarrollo del tema

 Exponer los conocimientos del manejo de la atabla de verdad
 Dar a conocer el valor de verdad de una preposición compuesta para cada
combinación de verdad que se pueda asignar
 Familiarizarse con las diferentes operaciones con la tabla de verdad.
 Identificar y conocer los diferentes conectores lógicos
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

El siguiente trabajo proposiciones y tablas de verdad se pretende interpreta 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. Abordando temas como Lógica proposicional,
tablas de verdad en proposiciones compuestas, álgebra de proposiciones, tautologías
y contradicciones y contingencias, proposiciones categóricas.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 1: Proposiciones

Transcribir en el lenguaje natural la expresión formal que se relaciona

Y determinar el valor de verdad de la proposición compuesta, a partir del valor de

verdad de cada proposición simple:

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

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

LENGUAJE NATURAL:

Falcao García no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014y
Colombia no llegó a la semifinal de la copa mundial de Brasil 2014, si y solo si
FalcaoGarcía no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 ó
Colombiallegó a la semifinal de la copa mundial de Brasil 2014

VALOR DE VERDAD:

P: F q: F

¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)
¬(F ⋀ F) ↔ (V ∨ F)
¬( F ) ↔ (V )
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.

 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.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Enunciado.

A .Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio
entonces en la noche llueve

Preposiciones:

1. p: en las mañanas llueve

2. q: en la tarde hace frio
3. r: en la noche llueve

LENGUAJE SIMBOLICO A FORMAL:

(p⇒q)∧ (q⇒r)

TABLA SIMULADOR TRUHT TABLE:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

TABLA DE VERDAD MANUAL:

CONCLUCION TABLA MANUAL VERSUS SIMULADOR TRUTH:

 Se puede concluir que las proposiciones tomaran un valor verdadero si

cumplen con ambas partes del condicional, lo cual ocurre siempre menos
cuando.

 No hace frio en las tarde y en las mañanas llueve

 En la tarde hace frio y en la noche llueve

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.

Ejemplo:

Proposición compuesta en lenguaje formal

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Definición de las proposiciones simples:

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

p:voy a la unad los sabados

Q:llevo el portátil a la unad

R: estudio en el trabajo

S:me trasporto en moto

T:estudio ingeniería industrial

U:soy aplicado

Lenguaje natural de la expresión formal

Si voy a la unad lo sabados entonces llevo el portátil a la unad,y estudio en el trabajo

o me trasporto en moto,y si estudio en el trabajo entonces estudio ingeniería industrial,
y no llevo el portátil a la unad, y si soy aplicado entonces estudio ingeniería industrial,y
si me trasporto en moto entonces voy a la unad los sabados .entonces estudio
ingeniería industrial
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

Tabla de verdad
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth Table

[(p>q)&(r+s)&(r>t)&(~q)&(u>t)&(s>p)]>t
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

Con este trabajo podemos concluir lo importante que es la lógica matemática, ya que
nos ayuda a desarrollar los procesos de pensamiento encontrado sentido a lo que
estamos acostumbrados a realizar. Todas las enseñanzas que nos dejan la lógica
matemática, tales como, a elaborar preposiciones, a evaluar el valor de verdad y
determinar si las conclusiones se han deducido correctamente a partir de las
proposiciones.
 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.acti
on?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.acti
on?ppg=166&docID=11046000&tm=1489704594878

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.acti
on?ppg=14&docID=10345286&tm=1492518671601

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.acti
on?docID=10473069