LOGICA MATEMATICAS

VICTOR MANUEL DELGADO MERCHAN

CARLOS ALBERTO RESTREPO
AYANLA YESTRID SOLARTE
YEISON MANUEL MORENO
GRUPO: 412


TUTOR: FREDY ALEXANDER



UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.
ESCUELAS DE CIENCIAS ARTES Y HUMANIDES.






MALAGA SANTANDER.


INTRODUCCION

En este trabajo vamos a ver cmo podemos armar o agrupar conjuntos de
diferentes ndoles especialmente con figuras exhausticas de la lgica matemtica.
La teora de conjuntos, en un primer momento, se ocupa del estudio de los
conjuntos que se obtienen a partir de los axiomas, considerados como objetos
amorfos, i.e., desprovistos de cualquier tipo de estructura, mediante diferentes
tipos dimorfismos, Posteriormente, para profundizar en el estudio de la naturaleza
de los conjuntos, se les dota de diversas estructuras, siendo las fundamentales las
de tipo relacional, algebraico, topolgico y analtico y se les compara mediante los
morfismos adecuados, i.e., aquellos que preservan las estructuras involucradas.

Una vez estudiadas las operaciones conjuntistas bsicas, pasamos a considerar
las relaciones y las funciones, que usaremos para establecer los conceptos de
producto de una familia de conjuntos, igualador de un par de aplicaciones del
mismo.
Siguiendo los principios categoriales, demostramos la existencia del exponencial
de dos conjuntos, caracterizado por una cierta propiedad universal.

Final mente encontraremos operacin de conjuntos algebraicos para as lograr
dar solucin de cada uno de los expuestos.



Teora de conjuntos

1.1 Entre las siguientes figuras, construya cuatro agrupaciones de aquellas que
tengan caractersticas semejantes:



De forma similar, se solicita al estudiante plantear 4 relaciones agrupando los
elementos que tienen alguna caracterstica en comn.
1. Primer conjunto: *

+

2. Segundo conjunto: *

+

3. Tercer conjunto: *

+

4. Cuarto conjunto: *

+



OPERACIONES ENTRE CONJUNTOS:


Dados los anteriores conjuntos hallar:


1. * + * + *+
2. * + * + * +
3. ( ) * + * +
* + * + * +
* +
4. ( )
* + * + * +
( ) *+ * + *+

1.2. En un encuentro tutorial participan diez estudiantes, de los cuales dos
matricularon los cursos de Lgica y tica, cinco matricularon nicamente el
curso de lgica, y tres estudiantes tomaron nicamente el curso de tica.



Ayuda al tutor(a) a conocer la siguiente informacin:

a. Cuntos estudiantes matricularon Lgica y tica? _2_
b. Cuntos estudiantes matricularon Lgica o tica? _8_
c. Cuntos estudiantes matricularon ms de un curso _2_
d. Cuntos estudiantes matricularon dos cursos? _2_
e. Cuntos estudiantes matricularon menos de dos cursos? __8_


Solucin:

a. * + * + *+
b. * + * + *+
c. ( ) () * + * + * + *+
d. ( ) () * + * + * + *+
e. ( ) ( ) * + * + *+ *+


1.3. En la afirmacin: Si Ana estudia, aprende lgica, se establece una relacin
entre dos expresiones: Ana aprende Lgica y Ana estudia. En esta relacin, la
expresin Ana aprende Lgica es consecuencia de la expresin Ana estudia.

Identifica la causa y la consecuencia en cada una de las siguientes expresiones:


1.4 Haciendo uso de los diagramas de Venn.





Plantea una propuesta para representar el rea sombreada para la expresin:

CAUSA EFECTO
Ana aprende lgica si estudia Si estudia Ana aprende
Cuando llueve, hace fro Cuando llueve Hace Frio
Si estudio, aprendo Si estudio Aprendo
Aprendo cuando estudio Cuando estudio Aprendo
Para aprender hay que leer Hay que leer Para aprender.
Juan matricul lgebra o Lgica pero no Competencias Comunicativas, usando
las operaciones entre conjuntos.

A= Algebra,
L = Lgica,
C = Competencias Comunicativas
Planteamiento respuesta:

Materias: * +
Conjunto: * +

Luego el resultado se sustenta en el principio de unir los dos conjuntos iniciales A
y L, para luego quitarle el correspondiente conjunto C, el cual representara
claramente el rea solicitada.
1.5 De acuerdo con una encuesta virtual realizada a algunos estudiantes de la
UNAD, los amantes de la msica de Juanes son 12; mientras que los estudiantes
que nicamente gustan de la msica de Shakira son 18, Cuntos estudiantes son
fanticos de los dos artistas si 9 de los encuestados, entre los 30 que no son
fanticos de Shakira, afirman ser fanticos de Juanes?

( )

La respuesta seria: Solo tres les gusta los dos artistas, mientras que otros tres no
gustan de ninguno.

Fase 2. Principios de lgica
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 lgicas y cinco expresiones que no puedan ser
clasificadas como proposiciones. De estas expresiones, el equipo debe elegir una
de las propuestas por cada participante, para el trabajo FINAL:
Nombre del estudiante Son proposiciones lgicas No son proposiciones
lgicas

Vctor Manuel delgado
En las proposiciones lgicas no
se cumple un ciclo rotativo de
cultivos ya que tienen muchas
incoherencias, ya que la tierra
sufre deterioro de nutrientes por
el mal manejo del ser humano
tanto las formas qumicas y as
las vuelven estriles.
Prstame tu sombrero para
ir al campo y no quemarme.








Un bosque rico en agua
materna y pura permite dar vida
a muchos seres vivos para el
desarrollo del mismo.

Este bosque presenta tres
ramas del mismo color.
Estas son diferentes entre
s.
. Estoy matriculado en el programa
de psicologa.
Por qu un psiclogo estudia
lgica matemtica?
La psicologa estudia el
comportamiento humano
Cundo naci la psicologa? |
Estudio psicologa en la UNAD . Cuntas materias debo ver en
primer semestre?


2.2 A continuacin se propone identificar los conectivos lgicos y proposiciones
simples presentes en cada expresin, posteriormente plantearn una expresin
equivalente en lenguaje simblico:
Expresin Premisas Lenguaje
simblico
Para aprender matemticas es
necesario ser ordenado y
Constante.
p = soy ordenado
q = soy constante
r = aprendo matemticas
(p q) r
Si hay tolerancia, entonces
hay
p = hay tolerancia
q = hay paz
p q
paz
Carlos estudia de da y trabaja
de noche.
p =estudia y trabaja
q = estudia de da
R=trabaja de noche

P (Q R)

Mara es profesora de
matemticas y algebra
P= mara es profesora
Q= de matemticas
R= y algebra

P (Q R)


2.3 Las tablas de verdad nos permiten conocer el valor de verdad de una
proposicin compuesta para cada valor posible de las proposiciones simples que
la conforman. A continuacin, el equipo debe elaborar la tabla de verdad de las
siguientes proposiciones lgicas, finalmente, deben clasificar la proposicin como
tautologa, contradiccin o contingente de acuerdo al resultados










A. *, - + ( )+ ( )
P Q R S Q (PQ) [(PQ)]Q] (QR) [(PQ)]Q]
(QR)]
(QS) [(PQ)]Q]
(QR)] (QS)
V V V V F V F V F V V
V V V F F V F V F V V
V V F V F V F F F V V
V V F F F V F F F V V
V F V V V V V V V V V
V F V F V V V V V F F
V F F V V V V F F V V
V F F F V V V F F F V
F V V V F V F F F V V
F V V F F V F F F V V
F V F V F V F F F V V
F V F F F V F F F V V
F F V V V F F F F V V
F F V F V F F F F F V
F F F V V F F F F V V
F F F F V F F F F F V

Respuesta: la preposicin esta considera con una contingencia, pudimos
encontrar algunas preposiciones falsas a la correspondiente en la tabla de verdad.





B. ,( ) -

P Q Q P (PQ) [(PQ)] P [(PQ) P] Q
V V F F V F V
V F F V V V F
F V F F V F V
F F F V V V V
V F V V V V V
V F V V F V V
V F V V V V V
V F V V F V V

Respuesta: Esta preposicin se considera una contingencia, pudimos encontrar
algunas preposiciones falsas a la correspondiente en la tabla de verdad.









2.4 Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos
proposiciones: Son equivalentes?

Primera proposicin: ( ) segunda preposicin

P Q P (PQ) PQ (PQ) (PQ)
V V F V F No se cumple.
V F V F F Si se cumple.
F V F V V Si se cumple.
F F V V F No se cumple.

Respuesta: Estas dos preposiciones se consideran no equivalentes, pues dos de
las condiciones no se cumplen bajo los mismos criterios.

2.5 Proposiciones contraria, recproca y contra recproca. A continuacin el equipo
debe plantear las proposiciones contraria, recproca y contra recproca de la
expresin: Si el ganado es J ersey no tendr buena carne:

Directa

Si el ganado es jersey, entonces no tendr buena carne

Contraria


Si el ganado no es jersey entonces tendr buena carne

Reciproca


No tendr buena carne si el ganado es jersey


contra reciproca


Tendr buen carne si el ganado no es jersey
CONCLUSIONES


En este trabajo pudimos resaltar la gran importancia que tiene la lgica
matemtica para nuestro futuro ya que es una de las herramientas superficial
para modificaciones del medio.
Resaltamos y conocimos como podemos manejar las tablas de verdad y darle
resultados coherentes y lograr una verdad que o falsa pero siempre sacando
respuestas que nos lleve a un nivel avanzado de la lgica.
Estas tablas pudimos construirla haciendo una interpretacin de los signos
lgicos, , , , , como: no, o, y, sientonces, s y slo si, respectivamente. La
interpretacin corresponde al sentido que estas operaciones que tienen dentro del
razonamiento.
Pudimos establecer una correspondencia entre los resultados de estas tablas y la
deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen
un mtodo de decisin para chequear si una proposicin es o no un teorema.
Para terminar la lgica es un Mtodo o razonamiento en el que las ideas o la
sucesin de los hechos se manifiestan o se desarrollan de forma coherente y sin
que haya contradicciones entre ellas.


REFERENCIAS BIBLIOGRAFICAS


1. https://www.youtube.com/watch?v=5bgg_FyVtK8

2. https://www.youtube.com/watch?v=SUykzb4RXkA#t=42

3. https://www.youtube.com/watch?v=HCMM5PiViNc

4. https://www.youtube.com/watch?v=wdsCBSM7ef0

5. https://www.youtube.com/watch?v=cAHYJ5nC-
6w#t=88