PASO 2

USO DE LAS TABLAS DE VERDAD

GRUPO:

200611_52

TUTOR:

LEIDI MILDREC ROJAS

ELABORADO POR:

CRISTIAN BASALLO MEDINA

CODIGO: 1.143.153.980

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

JAG

2017

Objetivo general
Comprender las temticas presentadas y aplicar los conocimientos desarrollados
en le solucin de los diversos problemas realizando uso de los distintos conceptos.

Objetivos

Demostrar a travs de tablas de verdad los diferentes valores de certeza de

una proposicin.
Comprender algunas reglas que nos servirn para la construccin de una
tabla de verdad.
Conocer las diversas propiedades necesarias para la aplicacin y
elaboracin de una tabla de verdad.
Identificar Conceptualizacin de la terminologa de la Lgica Matemtica

Introduccin
 La lgica es bsicamente una ciencia que estudio los principios de la de
mostracin de los argumentos mediante una valide de comprobacin de
expresiones que puede ser evaluadas de dos formas, ciertas o falsas pero que no
puede incluir con el mismo resultado simultneamente. Igualmente, la lgica
pretende el estudio de diferencias y el pensamiento, proporcionando principios
para determinar qu tipo de evidencia es apropiada para una situacin y su
definitiva validez.

Primera etapa:
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las
terminologas de la Lgica Matemtica (slo selecciona una e informa en el foro
cual escogi, para que no sea escogido por otro integrante), la terminologa es la
siguiente:

DISYUNCIN:

Se representan dos enunciados separadas por la expresin o basta con que una
sea verdadera para que se cumpla la proposicin (pvq). Su smbolo es: V

EJEMPLOS:

Est lloviendo o es de noche.

Est feliz o est enojado.

Est caminando o est lloviendo.

Hay derivadas o hay integrales

p= El numero 2 es par

q = la suma de 2 + 2 es 4

Entonces

pvq: El numero 2 es par o la suma de 2 + 2 es 4

p = La raz cuadrada del 4 es 2

q = El numero 3 es par

Entonces

Pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

CONJUNCIN:

Es cuando dos proposiciones simples se combinan mediante la expresin y, la

proposicin compuesta resultante se le llama conjuncin (pq). Su smbolo es: , &,

EJEMPLOS:

La puerta est vieja y oxidada.

Hace fro y est nevando.

Est lloviendo y es de noche.

Tiene gasolina y tiene corriente.

p ^ q (se lee: p y q)

p = El numero 4 es par

q =Siempre el residuo de los nmeros pares es 2

Entonces

p^q: El numero 4 es par y Siempre el residuo de los nmeros pares es 2

p = El nmero ms grande es el 34

q =El tringulo tiene 3 lados

Entonces

p^q: El nmero ms grande es el 34 y El tringulo tiene 3 lados

NEGACIN:
Si p es una proposicin fundamental, de sta se puede formar otra proposicin, que se le
llama Negacin de p, escribiendo: Es falso que antes de p, , cuando es posible, se
inserta en p la palabra No, (p) Su smbolo es: , ~

EJEMPLOS:

No est lloviendo.

La seora no ceno.

Es falso que 52=12.

Es falso que Alemania se encuentra en Europa.

p: 4 + 4 es igual a 9

-p: 4 + 4 no es igual a 9

p: El 4 es un numero par

-p: El 4 no es un numero par

CONDICIONAL:

Es aquella proposicin compleja cuya conectiva dominante es el condicional, es decir,

aquella expresin apofnatica que tiene la forma p q, y que se lee si p, entonces q o
bien p es condicin suficiente de q, donde A es el antecedente y B el consecuente. Su
smbolo es:

EJEMPLOS:

Si est dormido entonces est soando.

Si quiere comer entonces tiene hambre.

Si Londres est en Inglaterra entonces Pars est en Francia.

Si hay gasolina en mi tanque entonces mi automvil funciona.

p: llueve

q: hay nubes

pq: si llueve entonces hay nubes

p: Hoy es mircoles

q: Maana ser jueves

pq: Si Hoy es mircoles entonces Maana ser jueves

BICONDICIONAL:
Tambin llamado equivalencia o implicacin doble, es una proposicin de la forma P si y
slo si Q, en la cual tanto P como Q son ambas ciertas o ambas falsas. Tambin se dice
que Q es una condicin necesaria y suficiente para P,(pq). Su smbolo es: ,

EJEMPLOS:

Esta completo si y solo si tienes todas las actividades.

Saldrs si y solo si acabaste tu tarea.

Est lloviendo si y solo si est nublado.

3+2=5 si y solo si 4+4=8

p: 10 es un nmero impar

q: 6 es un nmero primo

pq: 10 es un nmero impar si y solo si 6 es un nmero primo

p: 3 + 2 = 7

q: 4 + 4 = 8

pq: 3 + 2 = 7 si y solo si 4 + 4 = 8
Segunda etapa:

Planteamiento y resolucin (utilizando las operaciones necesarias de las tablas de

verdad) de uno de los problemas de la Lgica Proposicional del ANEXO 1;

ANEXO 1

Anglica se levant el lunes como lo hace siempre a las 5:30 am para alistarse e
irse a trabajar; pero ese lunes la nostalgia se apoder de ella y sumndole la
predisposicin que suele dar el comenzar la semana de trabajo. Pero ella al
mirarse al espejo minutos antes de salir de su casa hizo la siguiente reflexin:
tengo calidad de vida y poseo una buena salud. Tengo calidad de vida y poseo un
excelente empleo. Es que en realidad poseo una excelente salud y el trabajo que
poseo es excelente. Por consiguiente poseo una calidad de vida. Analiza a travs
de las tablas de verdad si es correcta la reflexin que hace Anglica, determinando
si es tautologa o contradiccin o contingencia.

1. Definir las preposiciones simples

P= Tengo calidad de vida
Q= poseo una buena salud
R= poseo un excelente empleo

2. Hallar la declaracin de las preposiciones compuestas por medio del

lenguaje natural.

Tengo calidad de vida y poseo una buena salud. Tengo calidad de vida y poseo un
excelente empleo. Es que en realidad poseo una excelente salud y el trabajo que
poseo es excelente. Por consiguiente poseo una calidad de vida

3. Hallar la declaracin de las preposiciones compuestas por medio del

lenguaje lgico.
 { ( P Q ) ( P R ) ( Q R ) } P

En la tabla de la verdad queda

as:
Tercera etapa:

Seleccionar uno de los enunciados denominados como silogismos ANEXO 2,

para representar grficamente con el uso del Diagrama de Venn el razonamiento
seleccionado

ANEXO 2

ENUNCIADOS DENOMINADOS SILOGISMOS FASE INDIVIDUAL

Algunos cursos del rea de Matemticas son obligatorios de los programas de

Ingeniera en la UNAD.
Todos los cursos de tres (3) crditos son cursos obligatorios de los programas de
Ingenieras en la UNAD.
Algunos cursos de tres (3) crditos no son cursos del rea de Matemticas.

Premisa 1: Algunos cursos del rea de Matemticas son obligatorios.

Premisa 2: Todos los cursos de tres (3) crditos son cursos obligatorios.
Premisa 3: Algunos cursos de tres (3) crditos no son cursos del rea de
Matemticas.
 Conclusiones

Podemos concluir que una tabla de verdad de un enunciado (molecular) muestra

el valor verdad de dicho enunciado para todas las posibles combinaciones de los
valores de verdad proposicin que lo componen, o de manera breve, una tabla de
verdad de un enunciado para todas sus interpretaciones
 Bibliografa

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
http://logica-unad.blogspot.com.co/p/capitulo-3-cuantificadores-y.html
https://www.youtube.com/watch?v=zAn59TLbyhs