You are on page 1of 8

LÓGICA MATEMÁTICA

PRESENTA

ANDRES FELIPE RAMIREZ CORTES


1.077.970.722

TUTOR
NORBERTO DIAZ

DIRECTOR DE CURSO
GEORFFREY ACEVEDO GONZÁLEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


VILLETA CUNDINAMARCA
16 DE OCTUBRE 2012
INTRODUCCION

Con la solución de este trabajo encontraremos las soluciones a todo el contenido


de la unidad, reconociendo la importancia de cada concepto de lógica matemática
y teniendo claro que la lógica matemática consiste en el estudio matemático de la
lógica y en la aplicación de este estudio a otras áreas de las matemáticas. Por
esto es importante que cada concepto de teoría de conjuntos, principios de lógica,
conectivos lógicos, proposiciones simples y las tablas de verdad sean estudiadas
y tengan un mejor entendimiento superando cada dificultad en el estudio todo
problema a resolver.
DESARROLLO DE LA ACTIVIDAD

1. Saberes previos para la unidad: Teoría de conjuntos

POBLACION
COLOMBIANA

100 %
2. Principios de lógica

2.1 En su aporte individual, cada estudiante debe plantear diez expresiones


relacionadas con su programa de estudio, tal que cinco de las expresiones
correspondan a proposiciones lógicas y cinco expresiones que no puedan
ser clasificadas como proposiciones. De éstas expresiones, el equipo debe
elegir una de las propuestas por cada participante:

Nombre del estudiante Son proposiciones No son proposiciones


lógicas: lógicas
Un ingeniero industrial es Un industrial es el que se
el que se encarga de la encarga de contratar el
organización de un personal
empresa
Las herramientas El aprendizaje virtual se
informáticas son basa en la asistencia
importantes para nuestro presencial.
aprendizaje virtual
Las matemáticas son Las matemáticas solo sirven
ANDRES RAMIREZ fundamentales para los para estudiantes que
estudiantes de la UNAD. estudian presencialmente.
El trabajo individual es El trabajo individual es
cuando realizamos cuando nos reunimos con
nuestros aportes y trabajos nuestros compañeros y
solos. hacemos entrega de un solo
trabajo por todos.
La lógica matemática nos La lógica matemática nos
enseña una nueva forma enseña a multiplicar cifras
de analizar y ver las cosas. grandes.
2.2 A continuación se propone identificar los conectivos lógicos y proposiciones
simples presentes en cada expresión, posteriormente plantearán una
expresión equivalente en lenguaje simbólico:

Expresión premisas Lenguaje simbólico


Ejemplo Si hay tolerancia, entonces hay p = hay tolerancia pq
paz q = hay paz
Aprendemos matemáticas P=aprendemos P<->Q^R
cuando somos ordenados y matemáticasQ=som
constantes. os
ordenados R=cons
tantes
Dos condiciones son P=dos condiciones P^Q<->R^S
necesarias y suficientes para necesariasQ=para
tener una buena vida humana: tener una buena
Tener cariño sincero y vida
compañía inteligente. humanaR=tener
cariño
sinceroS=compañía
inteligente
Patricia es ordenada. P=patricia es P
ordenada
La vitamina A proviene de P=la vitamina A P^Q
carnes, huevos y lácteos. proviene de carnes
huevosQ=lácteos
Si consumes carne o lácteos, P=consumes P (o) Q -> R^S
adquieres proteína y vitamina carnesQ=lácteosR=
A adquiere
proteínasS=vitamin
aA|
2.3. Las tablas de verdad nos permiten conocer el valor de verdad de una
proposición compuesta para cada valor posible de las proposiciones
simples que la conforman. A continuación, el equipo debe elaborar la tabla
de verdad de la siguiente proposición lógica, finalmente, deben clasificar la
proposición como tautología, contradicción o contingente de acuerdo al
resultado:

p q r p →q v q→r V → (¬p) ¬p

V V V v V V F F
V V F V V F F F

V F V F V V F F

V F F F V V F F

F V V V V V V
V

F V F V V F V V

F F V V V V V V
F F F V v v V V
2.4. A continuación clasifica los siguientes enunciados como verdaderos, falso,
proposición atómica, proposición molecular, no es proposición (como V,F,
PA,PM, NP,):

ENUNCIADOS NP PA PM V, F
Ejemplo Contraria x
Ejemplo Juan Manuel Santos es el presidente de Colombia x V
Boole inventó el Silogismo x F
Una proposición compuesta siempre es verdadera x V
Botero es pintor o Gabriel García Márquez es escultor x F
Tales de Mileto es presocrático y Sócrates es agricultor x F
Si los humanos somos seres racionales, entonces
x V
podemos construir una ética para vivir bien
Hay paz en Colombia si y sólo si los Colombianos nos
x V
escuchamos mutuamente
El dinero sirve para comprar el afecto y el cariño sinceros x F
CONCLUSION

 Quedan claros todos los conceptos en la finalidad de la unidad porque ya


tenemos la habilidad, confianza e iniciativa para inferir posibles soluciones.