TRABAJO

Momento Intermedio Paso 2 Uso de las Tablas de

Verdad
.

Estudiante
Sandra Milena Ardila

Grupo del curso

781

Presentado a
Adriana del Pilar Noguera

28 de Octubre de 2016

OBJETIVOS

Entregar un trabajo completo de acuerdo a lo estipulado en la gua

Lograr que proyectar lo investigado durante el la realizacin de la

actividad

Mostrar avance de conocimiento que se adquiere durante el

proceso, en el desarrollo de las etapas.

Mostrar el grado de responsabilidad aplicado en la realizacin de

las actividades.

Obtener buena nota por el contenido de etapas presentadas.

desarrollar diferentes problemas planteados utilizando la lgica

matemticas, apoyndonos en sus tablas y proposiciones

INTRODUCCION

El siguiente trabajo muestra una propuesta donde nos encontraremos

con frases y oraciones las cuales tienen distintos significados pero
siempre van a resumirsen en la forma de verdadero y falso, lo
importante de este trabajo es nos muestra la forma de aprendizaje por
medio de enunciados y solucionando problemticas de la vida cotidiana,
se presentan estrategias y ms que que un desarrollo de una actividad
es el estmulo del pensamiento desarrollando problemas lgicos, La
lgica es muy importante; ya que permite resolver incluso problemas a
los que nunca se ha enfrentado el ser humano utilizando solamente su
inteligencia y apoyndose de algunos conocimientos acumulados, se
pueden obtener nuevos inventos innovaciones a los ya existentes o
simplemente utilizacin de los mismos.

Este mtodo de aprendizaje permite que el estudiante tenga confianza

en la aplicacin de reglas y frmulas. De tal manera que cuando llegue a
poner en practica esto, sea capaz de inventar su propia solucin, porque
en la vida cada quien resuelve sus problemas aplicando las reglas de
inferencia para relacionar los conocimientos y obtener el resultado.

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 que 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.

CONCLUSION

Con este trabajo se profundizar los conocimientos del uso de la

lgica
para
la
resolucin de problemas o la representacin de la realidad a
Nivel de proposiciones.
Despus de tratar los temas aqu plateados hemos comprendido la
importancia de la utilizacin de las tablas de verdad,
Fue una experiencia muy buena el uso del simulador TRUTH para la

solucin de los problemas

Lo importante para mi concepto es entender claramente el concepto de
la lgica matemtica como aplicarla de forma correcta para buscar la
solucin a diferentes problemticas que se nos presentaran durante la
etapa de estudiantes y como futuros profesionales.

REFERENCIAS BIBLIOGRAFICAS

Acebedo Gonzales G (1995) Lgica matemtica UNAD

Recuperado de http://www.slideshare.net/educomunicacion/como-realizar-unatablade-verdad
Recuperado de http://centros5.pntic.mec.es/ies.victoria.kent/Rincon-C/Alumnos/al18/al-18.htm
Recuperado de http://www.slideshare.net/Brayis95/la-logica-y-el-pensamiento9818987
Gealjaradomo 2012 trabajo colaborativo recuperado de
:http://es.slideshare.net/JEALVARADOMO/trabajo-final-colaborativo-1-15524455