Вы находитесь на странице: 1из 12

PASO 2 USO DE LAS TABLAS DE VERDAD

PRESENTADO POR: DILBERTO ESTEBAN JIMENEZ HERNANDEZ

Cdigo: 80010473

Grupo: 200611_729

PRESENTADO A: LUIS GABRIEL PRIETO

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD JOS ACEVEDO Y GMEZ

PROGRAMA DE INGENIERA INDUSTRIAL

BOGOTA D.C 06 DE BARIL DEL 2017


2

OBJETIVOS

Fortalecer los conceptos, analice y argumente de forma adecuada los procedimientos desde

la lgica proposicional utilizados para demostrar la veracidad y validez de situaciones

especficas del mundo real; y as verificar si la tabla de verdad generada es una tautologa,

contradiccin o contingencia.
3

INTRODUCCIN

En el presente trabajo busca comprender y asimilar los principios que explican

conceptualizacin terminologas de la Lgica Matemtica, entre las cuales se aplica la

transicin del lenguaje natural al lenguaje simblico, la identificacin de las proposiciones

simples y compuestas, la elaboracin de las tablas de verdad, el uso de software simulador

como el Truth Table. Interpretar un enunciado de una situacin polmica de la vida

cotidiana y representarla a travs del lgebra proposicional y establecer su valor de verdad,

clasificndola en tautologa, contradiccin o contingencia segn sea el caso.


4

CONCEPTUALIZACIN DE LA TERMINOLOGA DE LA LGICA


MATEMTICA

Primera Etapa

Concepto de proposicin lgica:

Una proposicin es una oracin con valor referencial o informativo, de la cual se puede

predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a

la vez. Las proposiciones se denotan con letras minsculas. Ejemplo: p, q, r, a, b.

No se puede determinar la veracidad de la frase cuando son oraciones y frases

interrogativas imperativas o exclamativas. Como cuando hace referencia a bebidas o

golosinas ya para unas personas puede ser verdadera y para otras falsas. Ej. Eso es

sabroso!- cierra la puerta?, Hace calor?

Tabla Conectivos Lgicos

NOMBRE SIGNIFICADO SIMBOLO


Negacin No ~
Conjuncin Y ^
Disyuncin O
Condicional Si, entonces
Equivalencia Si y solo si

Proposiciones simples:
5

Las proposiciones simples son aquellas que carecen de palabras de enlace como: y, o, si,

entonces. Pueden ser verdaderas o falsos

Ejemplos:

Est lloviendo

Estoy empacando

Maana ser mircoles

La raz cuadrada de 16 es 4

Sali el sol

Un da nublado

Est planchando

Proposiciones Compuestas:

Son expresiones que pueden descomponerse en otras que a su vez son proposiciones

simples. Estn unidas por palabras de enlace como y, o., si solo si, entonces, llamados

conectivos lgicos. Los conectivos lgicos son partculas de enlace usadas para unir dos o

ms proposiciones simples.

La ballena no es roja.

Gustavo no es alto.

Teresa va a la escuela o Mara es inteligente.


6

4 es menor que 8 o 6 es mayor que 10.

El 1 es el primer nmero primo y es mayor que cero.

El 7 es mayor que 5 y 7 es menor que 10.

Si Yolanda es estudiosa entonces pasar el examen.

Si corro rpido entonces llegar temprano.

Terminar rpido si y slo si me doy prisa.

Aprender Matemticas si y slo si estudio mucho.

Segunda Etapa

Proceso operativo a travs de la tabla de verdad de la resolucin del enunciado problmico

de la lgica proposicional que haya seleccionado, con el respectivo pantallazo como

evidencia de la comprobacin a travs del simulador truth.

Situacin problemtica Anexo 1

4. Ins est hablando con sus amigas de la universidad, y ellas quieren saber si es

verdad que Ins no necesita dinero para pagar la matrcula del prximo semestre, para lo

cual Ins comenta lo siguiente: No es cierto que soy beneficiaria del crdito condonadle

que otorga el Estado y obtengo un promedio alto en mi periodo acadmico. Soy

beneficiaria del crdito condonadle que otorga el Estado y recibo un bono de estudio en la

empresa. Obtengo un promedio alto en mi periodo acadmico y recibo un bono de estudio

en la empresa. Por consiguiente soy beneficiaria del crdito condonadle que otorga el

Estado. Ser que es verdad lo que ha dicho Ins?, una de las amigas tom nota de lo que
7

dijo Ins y lo plasm en una tabla de verdad; qu resultado obtuvo la amiga en la tabla que

hizo?

Solucin

No es cierto que soy beneficiaria del crdito condonable que otorga el Estado y obtengo un

promedio alto en mi periodo acadmico. Soy beneficiaria del crdito condonable que otorga

el Estado y recibo un bono de estudio en la empresa. Obtengo un promedio alto en mi

periodo acadmico y recibo un bono de estudio en la empresa. Por consiguiente soy

beneficiaria del crdito condonable que otorga el Estado.

Declaraciones simples

P: soy beneficiaria del crdito condonadle que otorga el Estado

Q: obtengo un promedio alto en mi periodo acadmico

R: recibo un bono de estudio en la empresa

No es cierto que soy beneficiaria del crdito condonable que otorga el Estado y obtengo un

promedio alto en mi periodo acadmico. Soy beneficiaria del crdito condonable que otorga

el Estado y recibo un bono de estudio en la empresa. Obtengo un promedio alto en mi

periodo acadmico y recibo un bono de estudio en la empresa. Por consiguiente soy

beneficiaria del crdito condonable que otorga el Estado.


8

Declaraciones compuestas

1 No es cierto que soy beneficiaria del crdito condonadle que otorga el Estado y
obtengo un promedio alto en mi periodo acadmico.

2 Soy beneficiaria del crdito condonadle que otorga el Estado y recibo un bono de
estudio en la empresa.

3 Obtengo un promedio alto en mi periodo acadmico y recibo un bono de estudio en la


empresa.

Proposiciones compuestas lenguaje simblico:

1 ~P^ Q

2P^R

3Q^R

Declaracin de racionamiento en lenguaje formal:

[(~P^ Q) ^ (P ^ R) ^ (Q ^ R)] > P

Pantallazo Tabla de la verdad con simulador TRUTH

[(~P& Q) & (P & R) & (Q & R)] > P

EL resultado obtuvo la amiga de Ins en la tabla que hizo.


9

Representacin grfica atreves del diagrama de venn del enunciado denominado silogismo

Anexo 2

Ejercicio 5

Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo tiempo en el
pdium del Tour de Francia.

Nairo Quintana es ciclista colombiano.

Nairo Quintana no puede ser campen y ocupar el segundo lugar al mismo tiempo en el
pdium del Tour de Francia.

Premisas:

1. Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo


tiempo en el pdium del Tour de Francia.

2. Nairo Quintana es ciclista colombiano.

Conclusin

Nairo Quintana no puede ser campen y ocupar el segundo lugar al mismo


tiempo en el pdium del Tour de Francia.

DIAGRAMA DE VEN
10

En la combinacin de los diagramas de Venn, se puede observar una regin que nos

muestra la existencia de una "N" En esa regin se especifica que Nairo quintana es ciclista

y gano el Tour de Francia y los otros ciclistas estn en el espacio X que son los

correspondientes al segundo lugar en adelante, Por todo ello, la conclusin del silogismo

Nairo Quintana no puede ser campen y ocupar el segundo lugar al mismo tiempo en el

pdium del Tour de Francia es vlida.


11

CONCLUSIONES

* Como primera conclusin podemos decir que el trabajo nos llev a realizar un recorrido

ms profundo por la lgica, en el cual entendimos que las estructuras mentales son la base

para la formulacin de la lgica.

* Como segunda conclusin podemos afirmar que hay muchas leyes en las cuales nos

podemos apoyar para poder verificar la falsedad, o veracidad de una idea o teora.

* Tambin reconocemos que el uso de cada tema relacionado con la lgica es usado en

forma natural todo el tiempo y los que hacemos con el estudio de la lgica es mostrar cmo

funciona nuestra forma de pensar, y como se pude expresar eso de forma matemtica.
12

BIBLIOGRAFIA

Rodolfo Andre Huisa Sanizo, M. (2017). Lgica proposicional (pgina 2) -


Monografias.com. recuperado de: http://www.monografias.com/trabajos71/logica-
proposicional/logica-proposicional2.shtml

LGICA MATEMTICA. (2017). 3.1.1 Concepto de Proposicin. Recuperado de:


https://angelarendon.wordpress.com/2011/10/20/3-1-1-concepto-de-proposicion-2/

YouTube. (2017). Video de Apoyo Uso de Tablas de Verdad - UNAD. Recuperado de:
https://youtu.be/vtzznU68L5g

YouTube. (2017). Silogismos y Diagramas de Venn en Proposiciones Lgicas. Recuperado


de: https://www.youtube.com/watch?v=zAn59TLbyhs