PASO 2 USO DE LAS TABLAS DE VERDAD

GRUPO: 200611_40

EDGAR ALFONSO PERALTA RODRIGUEZ

CC. 88.265734
DANIELA PAOLA FUENTES VIDES
TI: 1003243671
PRESENTADO POR:

HILDER MOSCOTE
TUTOR.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
CATEDRA UNADISTA
CEAD VALLEDUPAR
ABRIL 2017
 Objetivos

Objetivo General

Analizar, verificar y demostrar los procedimientos de la lgica operacional; definir y argumentar si

la tabla de verdad obtenida es una tautologa, contradiccin o contingencia.

Objetivos Especfico

Conocer el enunciado de una situacin o problema del mundo real y representarla a travs de

valor de verdad, clasificndola en tautologa, contradiccin o contingencia.

Aplicar las leyes de la algebra.

Definir las variables para realizar las respectivas demostraciones del enunciado.

Interpretar la tabla de la verdad con enunciados y expresiones lgicas.

 Introduccin.

El siguiente trabajo abarca el uso de tablas de verdad mediante una fase grupal, con el fin de

obtener y consolidar el conocimiento de, Lgica proposicional, tablas de verdad en proposiciones

compuestas, lgebra de proposiciones, tautologas y contradicciones y contingencias,

proposiciones categricas, silogismos.

Todo esto con el fin de que tengamos el conocimiento; ya que estos no se excluyen del espacio

acadmico sino que hacen parte de los debates cotidianos de nuestras ideas.
Segunda Etapa:

Consiste en la interaccin acadmica de los integrantes del grupo en el cual realicen la

interpretacin, el planteamiento y la solucin del enunciado problmico de Lgica Proposicional

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

Es necesario clasificar la tabla de verdad en Tautologa, Contradiccin o Contingencia segn

Anexo 3

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.

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

P=Clemencia mi esposa 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=ella ahorra mucho dinero

Desarrollo.
{(p^q) ^ (rVs) (p q)} t

(p^q) ^ {(p^q) ^ (rVs)

P Q R S T ~P ~Q ~R ~S ~T (p^q) rVs
(rVs) (pq)} t
V V V V V F F F F F V V V V
V V V V F F F F F V V V V F
V V V F V F F F V F V V V V
V V V F F F F F V V V V V F
V V F V V F F V F F V V V V
V V F V F F F V F V V V V F
V V F F V F F V V F V F F V
V V F F F F F V V V V F F F
V F V V V F V F F F F V F V
V F F V V F V V F F F V F F
V F F F V F V V V F F F F V
V F F F F F V V V V F F F F
V F V V F F V F F V F V F V
V F V F V F V F V F F V F F
V F V F F F V F V V F V F V
V F F V F F V V F V F V F F
F V V V V V F F F F F V F V
F V V V F V F F F V F V F F
F V V F V V F F V F F V F V
F V V F F V F F V V F V F F
F V F V F V F V F V F V F V
F V F F V V F V V F F F F F
F V F F F V F V V V F F F V
F V F V V V F V F F F V F F
F F V V V V V F F F F V F V
F F F V V V V V F F F V F F
F F F F V V V V V F F F F V
F F F V F V V V F V F V F F
F F V V F V V F F V F V F V
F F V F V V V F V F F V F F
F F V F F V V F V V F V F V
F F F F F V V V V V F V F F
Desarrollo simulador.

{(p&q)& (r+s) (p q)} t

Como se evidencia es una: Contingencia.

 Conclusiones

La idea principal de este trabajo es que aprendamos el concepto de cada una de las temticas a

desarrollar, pero con problemas que le sean familiares e interesantes. Se trata de que en cada uno

de los subtemas se participe y que sobre todo al final de la unidad se tenga la habilidad,

confianza e iniciativa para inferir y dar una solucin acertada.

 Bibliografa.

En el texto: (Anon, 2017)

Bibliografa: Anon, (2017). [online] Available at:

http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logic

a/Textos/Biblioteca/Libros/Libro_008/Logica_Matematica.htm [Accessed 14 Apr. 2017]

TABLA DE VERDAD

En el texto: (Es.wikipedia.org, 2017)

Bibliografa: Es.wikipedia.org. (2017). Tabla de verdad. [online] Available at:

https://es.wikipedia.org/wiki/Tabla_de_verdad [Accessed 14 Apr. 2017].

DIAGRAMA DE VENN

En el texto: (filosofa venn, 2017)

Bibliografa: filosofa venn. (2017). diagrama de venn. [online] Available at:

http://www.paginasobrefilosofia.com/html/Diagramas%20de%20Venn/Presentacion/welc

ome.html [Accessed 14 Apr. 2017].

SIMULADOR TRUTH

En el texto: (YouTube, 2017)

Bibliografa: YouTube. (2017). Simulador Truth. [online] Available at: https://youtu.be/siXFce-

RKyc [Accessed 14 Apr. 2017].