Universidad Nacional Abierta y a Distancia

Pensamiento Lgico Y Matemtico: 200611A

Grupo: 291

Unidad 1: Uso de las tablas de la verdad

Tutor: Mara Jos Charfuelan

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera.

Octubre del 2016
UDR - Cali
 Introduccin

Las tablas de verdad son una estrategia de la lgica simple que permite establecer
la validez de varias propuestas en cuanto a cualquier situacin, es decir,
determina las condiciones necesarias para que sea verdadero un enunciado
propuesto, permitiendo clasificarlos en tautolgicos (resultan verdaderos durante
cualquier situacin) contradictorias (son enunciados falsos en la mayora de los
casos) o contingentes (enunciados que no pueden ser tantos verdaderos como
falsos no existen tendencia a un solo sentido), en el transcurso de este trabajo, se
aplicaran los conocimiento previos que se tienen sobre las tablas de la verdad.
 Objetivos

Diagramar y plasmar ejercicios prcticos en diagramas de Venn.

Conceptualizar la Lgica Proposicional y establecer la respetiva
clasificacin de las proposiciones y sus caractersticas.
Identificar los diferentes conectores lgicos y sus respectivas
representaciones en las tablas de verdad.
Interpretar un enunciado de una situacin problemtica del mundo real y
representarla a travs del lgebra proposicional y establecer su valor de
verdad, clasificndola en tautologa, contradiccin o contingencia segn sea
el caso.
Conceptualizar las proposiciones categricas como enunciados que
representan un evento o suceso de manera universal o particular.
Representar grficamente a travs de los Diagramas de Venn un enunciado
conocido como silogismo.

Anexo 3
Situacin problemtica de la lgica proposicional

Para todos 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.

De acuerdo a lo anteriormente mencionado, el anlisis sera el siguiente:

Simbologa para las proposiciones simples.

p = Clemencia escribe su lista de gastos
q = Ella 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
mi esposa ahorra mucho dinero = t

Simbologa para las proposiciones compuestas

Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno
en otra universidad = (pq)
Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se desplaza
caminando = (rVs)
Ahora unimos las proposiciones anteriores as = (pq)(rVs)
Si Clemencia escribe su lista de gastos, entonces ella ahorra mucho dinero =
(pt)
Con lo anterior ahora podemos organizarlo de la siguiente manera =
[((pq)(rVs)(pt)]

Y con esto tenemos la composicin lgica completa =

[((pq)(rVs)(pt)t]
 La tabla de la verdad quedara as:

p q r s t (pq) (rVs) (pq)(rVs) (pt) [((pq)(rVs)(pt)] [((pq)(rVs)(pt) t]

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

Comprobacin en Simulador Truth:

 Conclusin
Compresin de enunciados y aplicacin de tablas de la verdad para solucionar
proposiciones lgicas, infiriendo las proposiciones simples y las compuestas que
componen un enunciado, identificando si las proposiciones son conjuncin,
disyuncin o implicacin y graficando la tabla de la verdad con ello.