UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

CÓDIGO. 200611_53

Pensamiento Lógico y Matemático

Unidad 2 Uso de las Tablas de Verdad

Presentado a:

Leidi Mildrec Rojas

Tutor

Entregado por:

Jerzy Erik Buitrago Osorio

José Alirio Salinas

Isneydi Yecenia Gómez

Víctor Antonio Rodríguez

Grupo: 200611_53

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

MAYO DE 2017

BOGOTA
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Objetivos

Objetivos generales

Ilustrar por medio de tablas de verdad la autenticidad de situaciones problémicos presentes en el

mundo real y la vida cotidiana.

Objetivos específicos

 Conocer y diferenciar los diferentes conectores lógicos y sus representaciones dadas en

las tablas de verdad.

 Construir proposiciones simples y compuestas

 Descifrar e indicar el tipo de lógica proposicional en tautología, contradicción o

contingencia.

 Distinguir y usar los conceptos, características y clasificación de la lógica proposicional

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Introducción

A partir de enunciados y según su significado es posible establecer una proposición y al tener un

conjunto de proposiciones se puede llegar a una conclusión, siendo la lógica la ciencia que se

encarga de esto.

El presente trabajo está enfocado con el fin de conocer lo relativo a Lógica proposicional, tablas

de verdad en proposiciones simples y compuestas, tautologías, contradicciones y contingencias,

indagando en las diferentes fichas bibliográficas para obtener la información más pertinente

Para desarrollar la situación Problémica de lógica proporcional planteada, en la guía se definirían

las diferentes proposiciones y usaran los diferentes conectores lógicos para comprender su

definición y sacar una conclusión, a su vez se utilizara el simulador TRUTH para comprobar la

veracidad de la tabla de verdad.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Proceso Operativo de la resolución de la situación Problémica

Para todos es preocupante la situación económica actual que vivimos y que infortunadamente

todo está muy costoso y el dinero no alcanza. Clemencia reflexiona acerca de su proceder con su

propia economía y su esposo reflexiona lo siguiente: “Clemencia mi esposa escribe su lista de

gastos y ella consigue un trabajo alterno en otra universidad. Mi esposa viaja en bicicleta a su

trabajo por lo cerca que queda o ella se desplaza caminando. Si Clemencia escribe su lista de

gastos, entonces ella ahorra mucho dinero. Por consiguiente, mi esposa ahorra mucho dinero”.

¿Es claro lo que expresa el esposo de Clemencia? Para dar la respuesta es necesario elaborar la

tabla de verdad de lo que comenta el esposo de Clemencia, si es tautología es afirmativo el

comentario, si da contradicción hay falsedad en lo expresado, y si da contingencia, es porque

hace falta información para tener asertividad del comentario hecho.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Desarrollo Situación Problémica de la Lógica Proposicional Fase Grupal

“Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra

universidad. Entonces Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se

desplaza caminando. Si Clemencia escribe su lista de gastos, entonces ella ahorra mucho dinero.

Por consiguiente, mi esposa ahorra mucho dinero”.

Declarar proposiciones simples:

p: Clemencia escribe su lista de gastos

q: Consigue un trabajo alterno en otra universidad
r: Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda
s: ella se desplaza caminando
t: Ahorra mucho dinero

Declarar proposiciones Compuestas:

1. Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra
universidad
2. Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se desplaza
caminando
3. Clemencia escribe su lista de gastos, entonces ella ahorra mucho dinero

Declarar proposición en lenguaje formal

1. p∧q
2. r∨s
3. p→t
Declarar razonamiento en lenguaje
[( p∧q ) → (r ∨s )] ↔ (p → t)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Tabla de Verdad

P Q R S T P∧Q R∨S P→T [( P∧Q ) → (R∨S )] [( P∧Q ) → (R ∨S )] ↔ (P → T)

1 V V V V V V V V V V
2 V V V V F V V F V F
3 V V V F V V V V V V
4 V V V F F V V F V F
5 V V F V V V V V V V
6 V V F V F V V F V F
7 V V F F V V F V F F
8 V V F F F V F F F V
9 V F V V V F V V V V
10 V F V V F F V F V F
11 V F V F V F V V V V
12 V F V F F F V F V F
13 V F F V V F V V V V
14 V F F V F F V F V F
15 V F F F V F F V V V
16 V F F F F F F F V F
17 F V V V V F V V V V
18 F V V V F F V V V V
19 F V V F V F V V V V
20 F V V F F F V V V V
21 F V F V V F V V V V
22 F V F V F F V V V V
23 F V F F V F F V V V
24 F V F F F F F V V V
25 F F V V V F V V V V
26 F F V V F F V V V V
27 F F V F V F V V V V
28 F F V F F F V V V V
29 F F F V V F V V V V
30 F F F V F F V V V V
31 F F F F V F F V V V
32 F F F F F F F V V V

CONTINGENCIA
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Pantallazo Truth

p q r s t [(pΛq) → (rVs)] ↔ (p→t)

T T T T T T
T T T T F F
T T T F T T
T T T F F F
T T F T T T
T T F T F F
T T F F T F
T T F F F T
T F T T T T
T F T T F F
T F T F T T
T F T F F F
T F F T T T
T F F T F F
T F F F T T
T F F F F F
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Podemos concluir que es Contingencia, porque hace falta información para tener asertividad del

comentario hecho.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Conclusiones

La lógica proposicional es fundamental en la inteligencia artificial, en este trabajo nos ha permitido

profundizar los conocimientos del uso de la lógica para la resolución de problemas o la

representación de la realidad a nivel de proposiciones. El utilizar proposiciones es una señal que

encaja en forma perfecta en este ámbito. Es un modo sencillo y práctico de resolver un problema,

considerando que se puede resolver disgregando el problema en proposiciones u oraciones

sencillas que permiten analizar los hechos y tomar decisiones, es decir, crear nuevas proposiciones

u oraciones sencillas o compuestas que se incorporan a la base de conocimiento, permitiendo el

incremento y mejora de esta.

Concluimos cómo usar un sistema de símbolos para representar un dominio de una frase, junto

con funciones que permitan razonar sobre las posibles acciones que se puedan realizar.

Generalmente, se usa algún tipo de lógica para proveer una semántica formal de como las

funciones de razonamiento se aplican a los símbolos del dominio del discurso, además de

proveer operadores como cuantificadores, operadores modales, etc. Esto, junto a una teoría de

interpretación, da significado a las frases en la lógica.

La lógica ofrece métodos que enseñan cómo elaborar proposiciones, evaluar su valor de

verdad y determinar si las conclusiones se han deducido correctamente a partir de proposiciones

supuestas, llamadas premisas.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
CÓDIGO. 200611_53

Bibliografía

 Edgar Pérez Ordoñez. (1995). Enciclopedia Matemática MEGA. Santa fe de

Bogotá D.C: Panamericana.

 Seymour Lipschutz. (1977). Teoría de Conjuntos y Temas Afines. Cali,

Colombia: McGraw-Hill.

 Julián Darío Giraldo Cortes. (27/Mar/2017). Video de Apoyo Uso de Tablas de

Verdad - UNAD. 27/Mayo/2017, de UNAD Sitio web:

https://www.youtube.com/watch?v=vtzznU68L5g

 Oscar Puentes Lagos. (23/Marzo/2013). Algoritmo de búsqueda en árbol

binario. 27/Mayo/2017, de Grupo ACI-710 2013 Sitio web:

http://groupoaci710.blogspot.com.co/2013/06/trabajo-de-investigacion-

logica.html