TRABAJO INDIVIDUAL TABLAS DE VERDAD

DIANA MARIA MAYOR SAAVEDRA

CODIGO: 65830726

TUTOR
ADRIAN REINALDO VALENCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
CHAPARRAL- TOLIMA
2016
OBJETIVOS
 Conceptualizar la Lógica Proposicional y establecer la respetiva

clasificación de las proposiciones y sus características.

 Identificar los diferentes conectores lógicos y sus respectivas

representaciones en las tablas de verdad.

 Interpretar un enunciado de una situación problemática del mundo real y

representarla a través del álgebra proposicional y establecer su valor de

verdad, clasificándola en tautología, contradicción o contingencia según

sea el caso.

 Conceptualizar las proposiciones categóricas como enunciados que

representan un evento o suceso de manera universal o particular.

 Representar gráficamente a través de los Diagramas de Venn un

enunciado conocido como silogismo

INTRODUCCION

Este trabajo está constituido sobre silogismos, diagrama de Venn y tablas de verdad,
con el fin de analizar e interpretar, los diferentes conceptos relacionados con estos.
Generando ejercicios prácticos para su respectiva solución y entendimiento de los
temas relacionados con estos.
CONCEPTUALIZACION DE LA TERMINOLOGIA DE LA LOGICA MATEMATICA

Tabla de valores de verdad, es una tabla que despliega el valor de verdad de una
proposición compuesta, para cada combinación de valores de verdad que se pueda
asignar a sus componentes

Existen 5 tablas de la verdad o valores de la verdad las cuales son:

La tabla del " Y" o conjunción

La tabla del " O" o disyunción

La tabla del entonces o condicional

La tabla de la equivalencia o el bicondicional

La tabla de la negación

Tabla de la conjunción

La conjunción es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero
cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir
es verdadera cuando ambas son verdaderas

La tabla de verdad de la conjunción es la siguiente:

A       B A   Λ  B
V       V     V
 
V       F      F
 
F             F
  V
F        F      F
Tabla de la disyunción

La disyunción es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero
cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando
ambas son falsas.

La tabla de verdad de la A        B A    V   B disyunción es la siguiente:

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

Tabla del condicional

El condicional material es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero
en cualquier otro caso.

La tabla de verdad del condicional material es la siguiente:

A        B A    →  B
V        V        V
V        F        F
F        V        V
F        V        V
Tabla del bicondicional
El bicondicional o doble implicación es un operador que funciona sobre dos valores de
verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y
falso cuando sus valores de verdad difieren.
La tabla de verdad del bicondicional es la siguiente:

        P P   ↔  Q
       V         V
              F
V       
       F               F
       F               V
EJERCICIO ANEXO UNO

2. Paola entra en una discusión con su esposo Jairo por el derroche de dinero que han
tenido en los últimos meses. En una conversación un tanto acelerada, Jairo le dice a su
esposa: “No es cierto que, compré un carro nuevo o una motocicleta de alto cilindraje, o
compré un auto nuevo o perdí el premio económico de la empresa por superar el
número de ventas. Y es que perdí el premio que otorgaba la empresa por superar el
número de ventas”. ¿Será que Paola le dará la razón a su esposo o considerará que es
falso lo que él dice? Según el resultado de la tabla de verdad, determinando si es
tautología, contradicción o contingencia, plantea una respuesta sobre la percepción de
Paola respecto a lo que mencionó su Jairo.

PREPOSICIONES
A. No es cierto que, compré un carro nuevo o una motocicleta de alto cilindraje
B. o compré un auto nuevo o perdí el premio económico de la empresa por superar el
número de ventas
C. Y es que perdí el premio que otorgaba la empresa por superar el número de ventas

a. Comprar un auto nuevo

b. Comprar una motocicleta de alto cilindraje
c. Perdí el premio de la empresa

(a Λ b) Λ (a Λ c) Λ (c Λ b) → c 
¿ ¿
a b c ab ac cb (ab ) (ab) → c
V V V V V V V V
V V F V F F F V
V F V F V F F V
V F F F F F F V
F V V F F V F V
F V F F F F F V
F F V F F F F V
F F F F F F F V
De acuerdo a los resultados obtenidos y al generarse la tabla de verdad ésta es una
Tautología, lo que significa que Jair dice la verdad.
PROCESO OPERATIVO ANEXO DOS

Todos los bachilleres que presentaron PRUEBAS SABER 11 después del año 2012
pueden acceder al crédito condenable dado por el Estado
Algunos jóvenes de estrato tres no pueden acceder al crédito condenable.
Algunos jóvenes de estrato tres no son bachilleres que hayan presentado PRUEBAS
SABER 11 después del año 2012.

PREMISA MAYOR
Todos los bachilleres que presentaron PRUEBAS SABER 11 después del año 2012
pueden acceder al crédito condenable dado por el Estado.

PREMISA MENOR
Algunos jóvenes de estrato tres no son bachilleres que hayan presentado PRUEBAS
SABER 11 después del año 2012.

CONCLUSION
Algunos jóvenes de estrato tres no pueden acceder al crédito condenable.
PREMISA MAYOR CONJUNTO A
PREMISA MENOR CONJUNTO B
CONCLUSION CONJUNTO C

CONCLUSIONES
  Se identifican conceptos claros de la tabla de valores.
 Se analizan los diagramas de Venn.
 Se da por entendido los diferentes conceptos acerca de logaritmos y conjuntos.

BIBLIOGRAFIA
 https://www.google.com.co/search?
q=tablas+de+verdad&tbm=isch&tbo=u&source=univ&sa=X&ved=0ahUKEwjd1sq
Ty_TPAhXFbj4KHfvvBdoQsAQINA&biw=1366&bih=662

 http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/process.php