USO DE LAS TABLAS DE VERDAD

EMEL ANTONIO VILORIA GAMEZ

TUTOR:
ENRIQUE RODRIGUEZ BONILLA

GRUPO: 200611_532

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA (ECBTI)
PROGRAMA DE INGENIERIA EN TELECOMUNICACIONES
COROZAL
2016

Objetivo General

Con el desarrollo de esta actividad se pretende fortalecer los conocimientos basados

en la conceptualizacin, anlisis y manejo adecuado de las tablas de verdad al momento de
desarrollar problemas de la lgica proposicional y su clasificacin para hallar sus valores de
verdad.
Objetivos Especficos
Conceptualizacin de la lgica proposicional y tablas de verdad.
Desarrollo y utilizacin de las tablas de verdad.
Identificar y conjugar los conectores lgicos.
Clasificacin de las tablas de verdad en tautologa, contradiccin o contingencia.
Representacin simblica de los conectores lgicos.
Conceptualizacin de tautologa, contradiccin y contingencia.

Introduccin

Las tablas de verdad mediante sus leyes lgicas nos permiten desarrollar problemas
de la lgica proposicional, con el fin de demostrar valores de verdad de una proposicin
compuesta, partiendo de enunciados o conceptos que pueden ser o no verdaderos los cuales
nos permiten emplear una serie de conectores simblicos para representar todas las
posibilidades posibles de valores de verdad de las proposiciones de un enunciado el cual se
representa en una tabla de verdad, que permitieron cumplir con cada uno de los objetivos
planteados.

1. Link de la presentacin en PREZI, de la demostracin de las propiedades de

las proposiciones lgicas.

https://prezi.com/fydom3kvvicn/present/?auth_key=nxzpehu&follow=uxnfoojuq6tr

2. Solucin del enunciado problmico de Lgica Proposicional del ANEXO 3 y

hacer uso del simulador TRUTH para comprobar la respectiva tabla de verdad.

SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE GRUPAL

dos es preocupante la situacin econmica actual que vivimos y que
infortunadamente todo est muy costoso y el dinero no alcanza. Clemencia reflexiona
acerca de su proceder con su propia economa 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 tautologa es afirmativo el comentario, si da
contradiccin hay falsedad en lo expresado, y si da contingencia, es porque hace falta
informacin para tener asertividad del comentario hecho.

Solucin.

Clemencia mi esposa escribe su lista de gastos

p
ella consigue un trabajo alterno en otra universidad
q
Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda
r
4

ella se desplaza caminando

s
Clemencia escribe su lista de gastos
p
ella ahorra mucho dinero
t
mi esposa ahorra mucho dinero
t
p^q
rvs
p -> t
t->

[( ) ( ) ( )]

Formula: 2 = 25 = 32

s n r (p ^ q) (r v s)

(p -> t)
[(p ^ q) ^(r v s) ^(p -> t)]

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f

v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f

v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f

v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

v
v
v
v
v
v
f
f
v
v
v
v
v
v
f
f
v
v
v
v
v
v
f
f
v
v
v
v
v
v
f
f

v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

v
f
v
f
v
f
f
f
v
f
v
f
v
f
f
f
v
v
v
v
v
v
f
f
v
v
v
v
v
v
f
f

[(p ^ q) ^(r v s) ^(p -> t)]

-> t

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

Es claro lo que expresa el esposo de Clemencia?

Teniendo en cuenta los resultados en la tabla de verdad, se puede concluir que es una
tautologa, lo cual denota una interpretacin verdadera en la asignacin de valores de
verdad en la formulacin del problema planteado, por lo tanto es claro lo que expresa el
esposo de Clemencia en cuanto a que ella ahorra mucho dinero.
Pantallazos del simulador truth

Conclusin

El desarrollo del trabajo del anexo tres, fue uno de los objetivos propuestos para el
proceso del trabajo colaborativo que aunque no fue posible ya que el grupo no hizo los
aportes para desarrollar el trabo, me permiti de forma individual presentarlo, desarrollando
habilidades de conocimientos basados en problemas y la autogestin de conceptos y
procedimientos para dar solucin a lo establecido en la gua de actividades sobre la
implementacin de las tablas de verdad, clasificacin y planteamiento de problemas de la
lgica proposicional, se logrando implementar un buen trabajo a entregar.

Bibliografa

http://ocw.univalle.edu.co/ocw/ingenieria-de-sistemas-telematica-y-afines/matematicasdiscretas-i/material/md1_01.pdf
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion1.pdf
https://docs.google.com/document/d/1-WvxGQZnwD8d8JxcDUiLbqwReHeEryU3H8pLO7GKYI/preview
https://www.youtube.com/watch?v=UqYFBYCvEIo