UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Lina Marcela Ordoñez Ordoñez

Docente

John Freddy Ruano

Curso

Pensamiento Lógico y Matemático

Grupo

200611_407

Ipiales Nariño

05/03/2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

OBJETIVO GENERAL.

 Resolver mis ejercicios con procedimientos específicos según la guía de

actividades y web conferencia transmitida.
 Utilizar la metodología adecuada para esta actividad, y obtener conocimientos
sobre este tema.
 Fijar y obtener orden en mis tablas de verdad para que puedan ser
comprendidas y claras.

OBJETIVOS ESPECIFICOS.

 Usar los símbolos básicos de la lógica proposicional.

 Trabajar estrategias generales para resolver mis problemas.
 Utiliza el simulador truth, para comprobar el resultado de los ejercicios.

.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

En esta actividad se presentó una solución completa y oportuna de la misma, se tubo en

cuenta las participaciones significativas, continuas y oportunas.

Toda metodología basada en la teoría del aprendizaje significativo, facilita a que nosotros
como alumnos en el aprendizaje tengamos una mejor y calidad sobre unas bases
fundamentales para un buen proceso pedagógico donde se obtiene el fortalecimiento
lógico matemático cuando se aplica una unidad didáctica basada en la teoría de
aprendizaje significativo donde se fortalecen mejores relaciones con el mundo externo.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Actividades Que Desarrollar

Tarea 1: Proposiciones punto B

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:

𝒑: el rector de la UNAD es Jaime Alberto Leal Afanador.

𝒒: La UNAD es una institución de carácter publico

r: En la UNAD se estudia de forma presencial

[(p→r) ∧ q] ↔ (¬r v ¬q)

Proposición compuesta en lenguaje Natural:

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

estudia de forma presencial además la UNAD es una institución de carácter público, si
y solo en la UNAD no se estudia de forma presencial ó la UNAD no es una institución
de carácter publico

Determinación del valor de verdad:

p: V

q: V

r: F

[(p → r) ∧ q] ↔ (¬r v ¬q)

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

F ∧ V ↔ V

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

Tarea 2: Tablas de verdad punto A:

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.

Enunciado.

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

Expresión en lenguaje simbólico o formal.

Definición de proposiciones simples:

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

p: en las mañanas llueve

q: en la tarde hace frio

r: en la noche llueve

Determinación de conectores:

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

Expresión en lenguaje formal:

(p > q) & (q > r)

(p → q) ∧ (q → r)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

Tabla de verdad

Simulador Truth Table

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

 El resultado final de la tabla de verdad y el simulador es igual.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 3: Problemas de aplicación punto A

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.

Proposición compuesta en lenguaje formal

{[(p→q) Λ(r→s) Λ [(q Λs) →t] Λ (p Λ r)} → t

Definición de las proposiciones simples

p: El gato duerme

q: Los ratones hacen fiesta

r: la nevera esta vacía

s: comerán solo queso

t: estarán satisfechos

Lenguaje natural de la expresión formal

si el gato duerme entonces los ratones hacen fiesta y si la nevera está vacía entonces
comerán solo queso y si los ratones hacen fiesta y solo comen queso entonces estarán
satisfechos y si el gato duerme y la nevera está vacía entonces estarán satisfechos.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

Tabla de verdad

 La expresión de la tabla de verdad es TAUTOLOGIA

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth Table

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

Table.

 El resultado final de la tabla de verdad y el simulador es igual.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

 La lógica matemática nos ayuda a desarrollar los procesos de pensamiento

encontrando sentido a lo que normalmente realizamos.

 La utilización de la lógica matemática tiene sus ventajas y desventajas, por lo

tanto, hay que conocerlas y analizarlas.

 La lógica ofrece métodos que enseñan como elaborar proposiciones, evaluar su

valor de verdad y determinar si las conclusiones se han deducido correctamente
a partir de proposiciones supuestas.
 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=110135
70&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&d
ocID=11046000&tm=1489704594878

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

proposiciones. Recuperado de http://hdl.handle.net/10596/796

 Algebra preuniversitaria, (2016), lógica proposicional, Recuperado de

https://www.youtube.com/watch?v=lrnmYWx9NNM&list=PLvV1ifY0oV9sbsYX0K
87jyE9uXGBTioTd