LGICA MATEMTICA

Trabajo grupal de calificacin individual No.1

Tutor:
JOSE MANUEL RUEDA VILLALBA

UNIVERSIDAD NACIONALABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES ECSAH
PSICOLOGIA
Marzode 2015

INTRODUCCION

Este trabajo se realiz con la responsabilidad de hacer un recuento de todo

lo que se ha visto en el transcurso de nuestro diario vivir en el colegio
escuela y ha hora en la universidad. Es para m de gran satisfaccin ya que
la lgica matemtica se utiliza todos los das.
Volver a recordar estas operaciones tan sencillas como los conjuntos,
unin, interseccin, los conectivos, negacin, tablas de verdad etc.
Permitiendo as desarrollar diferentes actividades muy bien hechas.
La lgica matemtica es de gran importancia ya que haban cosas que
realmente no saba espero aprender mucho ms en el transcurso de este
modulo

Elaborar este trabajo trae consigo la posibilidad y responsabilidad de hacer

planteamientos lgicos que me permiten como

estudiante retomar

conocimientos olvidados para destacarme en mejor posicin ante una

formacin profesional, ya que en todo nuestro diario vivir hacemos uso de la
lgica matemtica.
Recordar y reconocer operaciones tan sencillas como los conjuntos, unin,
interseccin,

complemento

bicondicional,

tablas

de

proposiciones

atmicas,

los

conectivos,

verdad

mediante

proposiciones

negacin,
ejercicios

moleculares

condicional,
aplicativos,

permiten

como

estudiante un mejor desarrollo en las competencias y actividades a elaborar.

El grado de dificultad es grande ya que esta clase como tal es nueva para m,
pero con esfuerzo espero haber adquirido el conocimiento que me permite
cumplir con los requerimientos de la rubrica de trabajo.

En el presente trabajo, est generalizado por cuatro fases, lo cual son de

mucha importancia ya que la teora de conjuntos es la base fundamental
para iniciar a complementar lainiciacin del tema relacionado a la lgica

matemtica. Sin comprender esta fase sera ilgico continuar con los temas
relacionados. Por ltimo los temas relacionados a las proposiciones y
losrazonamientos, son procesos que nos indican a travs de un enunciado
en qu posicin segn la lgica est ubicado.
Este trabajo nos sumerge en el mundo de la lgica matemtica, algo de lo
que a diario hacemosuso sin darnos cuenta, es interesante retomar los
conceptos que nos ayudan a estructurar de una manera muy particular las
proposiciones, la aplicacin de los enunciados las tablas de verdad
entreotros. Adems presentamos ejemplos de la vida cotidiana, para que a
travs de la lgica matemtica se pueda demostrar su validez, considerando
que mediante el aprendizaje de la lgica matemtica sefacilita aprender
cualquier tema.
Aprender el uso de dos diferentes simuladores de tablas de verdad, para
comprobar las tablas resultantes.

El propsito de este trabajo tiene comoobjetivo demostrar los conocimientos

aprendidos en la unidad 1 como son la teora de conjuntos, su
representacin grafica por medio de diagramas de Venn y la solucin de
problemas con los mismos. Seplantearan y formularan expresiones del
lenguaje simblico y el lenguaje natural, haciendo un anlisis en la
aplicacin de conectores lgicos que se dan para determinadas situaciones
que seplantean en el trabajo a presentar. Elaborar tablas de verdad por
medio del anlisis de proposiciones lgicas para luego ser clasificadas
como tautologa, contradiccin o contingente de acuerdo alresultado.
OBJETIVO GENERAL
El objetivo de la asignatura es proporcionar a
nosotros los alumnos instrumentos que le permitan definir, expresar,
describir y elaborar conceptos lgico matemticos, de tal forma que

desarrolle su capacidad de poder representar problemas o fenmenos reales

aplicados a la carrera y a su diario vivir. Los estudiantes con la ayuda de la
lgica matemtica, seremos capaces de relacionar los conocimientos
(leyes, teoremas, frmulas, etc.) que se proporcionan en las diferentes
carreras universitarias, con los problemas que se le presentan en la vida real
OBJETIVOS ESPECIFICOS
Formalizar enunciados del lenguaje natural o comn, aplicar los
operadores lgicos para la simbolizacin de nuevas proposiciones,
aplicarlas tablas de verdad en la clasificacin de esquemas moleculares y
demostracin

de

proposicionales

identidades

para

la

lgicas,

reduccin

de

utilizar

las

principales

proposiciones

leyes

expresiones

equivalentes, representar grficamente una proposicin mediante circuitos

lgicos, aplicar las reglas de inferencia en la demostracin de la validez de
argumentos.
Conocer los fundamentos bsicos sobre la teora de conjuntos y
comprender la relacin entre la lgica y los conjuntos.
Convertir nmeros de un sistema de numeracin a otro, realizar
operaciones aritmticas en el sistema de numeracin binario.

INTRODUCCIN
Con la elaboracin de este trabajo se pretende que el estudiante conozca de
forma clara y detallada la teora de los conjuntos, tema que es de mucha
trascendencia en la adquisicin de conocimientos por ser uno de los pilares
de las matemtica, algunas definiciones bsicas y sus principales relaciones
entre conjuntos; que es un conjunto, miembros del conjunto, diferentes

formas de diagramar en esquemas grficos, las letras que los representa en

maysculas para los conjuntos y minsculas para sus miembros entre
corchetes o llaves.
OBJETIVO
Conocer las diferentes formas de representar los conjuntos y durante el
desarrollo del taller adquiera una lgica de conocimiento dinmico que le
ayude en la adquisicin de las diferentes formas de
representar los conjuntos y conocer los diferentes smbolos usados en las
operaciones con el tema.

TAREA 1 Aplicacin de la teora de conjuntos numricos.

De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la
UNAD, los amantes de la msica de Juanes son 15; mientras que los que
nicamente gustan de la msica de Shakira son 20, Cuntos son fanticos de los
dos artistas si 10 de los encuestados, entre los 25 que no son fanticos de
Shakira, afirman ser fanticos de Juanes? La solucin de este problema debe
contar con las siguientes etapas:

a) Describe la necesidad o problema a resolver: el problema a resolver el

identificar cuantos encuestados son fanticos de Juanes y Shakira; tambin
mostraremos la afinidad musical que tienen los encuestados por uno de los dos
artistas.
b) Identifica los conjuntos presentes en el problema:
Conjunto A: estudiantes que les gusta la msica de Juanes
Conjunto B: estudiantes que les gusta la msica de Shakira
Conjunto U: estudiantes que les gusta ambos artistas y/o ninguno

c) Elabora un diagrama de Venn

U
A

10

20

15

d) Describe la solucin del problema.

Podemos identificar que de los 50 estudiantes, finalmente 10 de ellos gustan de la
msica nicamente de juanes, otros 5 les gustan de la msica de Juanes como de
Shakira, otros 20 gustan de la msica solamente de Shakira y por ultimo solo 15
NO gustan de ninguno de los dos artistas.

Como realic el proceso para solucionar el problema.

1. Identificar cada uno de los grupos; los que gustaban de la msica de
Juanes y Shakira.
2. Identificar cuantos de los estudiantes de la UNAD encuestados no les gusta
ninguno de los dos artistas.
3. Determinar cuntos estudiantes que les gusta Juanes no les gusta Shakira
y cuantos de los que estn fuera del conjunto son fanticos de Juanes.

e) Argumenta la validez de tu respuesta.

Porque al representar la respuesta tanto de forma escrita como en el diagrama de
Venn la respuesta da como resultado el total de los estudiantes encuestados de la
UNAD, as como los que son fanticos de Juanes, Shakira y los que no son
fanticos de ninguno de los dos artistas.

Tarea 2. Aplicacin de la teora de conjuntos:

El problema a desarrollar en la tarea 2 es el siguiente: Considera el siguiente
diagrama de Venn y contesta los diferentes literales:

Literales a resolver:
a) Cuantos estudiantes Aristotlicos son Platnicos: 1 Silvia
b) Cuales estudiantes de filosofa son Platnicos: 3 Diego, Marcela, Silvia
c) Cuales estudiantes de filosofa son Aristotlicos: 2 Ana y Silvia
d) Cuales estudiantes de filosofa no son Aristotlicos: 4 Diego y Marcela, Carlos y
camilo
e) Cuales estudiantes de filosofa no son Platnicos: 3 Ana, Carlos y camilo
f) Cuales estudiantes son Platnicos Aristotlicos: Diego y Marcela (Platnicos)
Ana (aristotlica) y silvia
g) Cuales estudiantes son Platnicos y Aristotlicos: 3 Diego, Marcela y Ana
h) Cuales estudiantes son Platnicos pero no son Aristotlicos: 2 Diego y Marcela
i) Cuales estudiantes son Aristotlicos pero no son Platnicos: 1 Ana
j) Cuales estudiantes no siguen ninguna corriente filosfica: 2 Carlos y Camilo
k) Cuales estudiantes siguen al menos una corriente filosfica: 3 Diego, Marcela y
Ana
l) Cuales estudiantes siguen por lo menos una corriente filosfica: 4 Diego,
Marcela, Silvia y Ana.
m) Cuales estudiantes siguen dos corrientes filosficas: 1 Silvia
n) Cuales estudiantes siguen slo una corriente filosfica: 3 Diego, Marcela y Ana
o) Cuantos estudiantes siguen ms de dos corrientes filosficas: ninguno

Tarea 3. Proposiciones y tablas de verdad

El ejercicio consiste en transformar expresiones dadas en lenguaje natural al

lenguaje simblico, y posteriormente, construir la correspondiente tabla de verdad.
Miremos el ejemplo propuesto por Alfredo De ao (1974) de un fragmento de
Kafka:
Ese lapso, corto quiz si se le mide por el calendario, es interminablemente largo
cuando, como yo, se ha galopado a travs de l El anlisis lgico de esta
expresin es el siguiente: (p q) (r ~q) es decir, la expresin equivalente en la
que se evidencian los conectivos lgicos es:
Si se le mide por el calendario, entonces ese lapso de tiempo es corto, y si se ha
galopado, como yo, a travs de l, entonces es irremediablemente largo.
Ejercicios a resolver:
a) Bien pensado, no hay por qu ser bien pensante.
b) En caso de que sople el viento, podremos navegar a vela.
c) Si alguien escribe como Borges, entonces puede disculprsele todo.
d) La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la
posesin de su bien propio y ha transferido a s el dominio de s misma (Sneca).
La solucin de esta tarea debe contar con las siguientes etapas:
a) Expresin en lenguaje natural en la que se evidencien los conectivos lgicos
b) Declaracin de las premisas
c) Expresin en lenguaje natural
d) Tabla de verdad.

Respuestas
a) Expresin en lenguaje natural en la que se evidencien los conectivos lgicos

a) Bien pensado, o hay que ser bien pensante

b) Si en caso de que sople el viento, entonces podremos navegar a vela
c) Puede disculprsele todo si y solo si alguien escribe como Borges
d) La vida es larga si y solo si es plena; y se hace plena cuando el alma ha
recuperado la posesin de su propio bien o ha transferido a s el dominio
de s misma
b) Declaracin de las premisas

c) Expresin en lenguaje natural

a) Bien pensado, no hay por qu ser bien pensante.
b) En caso de que sople el viento, podremos navegar a vela.
c) Si alguien escribe como Borges, entonces puede disculprsele todo.
d) La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la
posesin de su bien propio y ha transferido a s el dominio de s misma (Sneca).

d) Tabla de verdad.

a)
b)
c)
d)

p
V
V
F
F

p
p
p
p

q
V
F
V
F

q
q
q

q
V
V
V
F

p
p
V
V
F
F

p
p
V
V
F
F

p
p
V
V
F
F

q
q
V
F
V
F

q
V
F
V
V

q
q
V
F
V
F

q
V
F
V
F

q
V
F
F
V

r
V
V
V
F

V
V
V
F

Tarea 4. Deduccin e induccin

Realice la lectura El mtodo cientfico que se encuentra en el siguiente enlace

http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin
_17_el_mtodo_cientfico.html y plantee un ejemplo en el cual se identifiquen el
proceso de deduccin e induccin en un proceso de investigacin cientfica.
Posteriormente plantee dos ejemplos de enunciados falseables.
Deduccin e induccin. La deduccin se emplea para mostrar que una teora se
sigue de otra. La induccin consiste en inferir una regla general a partir de algunos
casos:
Deduccin

1. "Los ingleses son puntuales." "Por tanto, William es puntual."

2. El libro est sobre la mesa. La mesa est sobre el piso; por lo tanto, el libro
est sobre el piso.

Induccin
1. Todos los primeros de Enero y por los ltimos aos ha llovido en Bogot.
Por lo tanto, el prximo ao en ese da, llover tambin.
2. Cada libro que he observado en la biblioteca tiene ms de un ao de
antigedad. Todos los libros en la biblioteca tienen ms de un ao.
Enunciados falseables
1. El 31 de agosto habr un eclipse de sol con base a los clculos
2. Todos los goleros son negros
3. Todos los controles del televisor son pequeos.

Tarea 5. Inferencias Lgicas.

Si la mercanca llega y la maquinaria funciona, no incumplimos. Si entregamos a
tiempo conservamos el cliente y el cliente paga. Si el cliente paga todos reciben
su dinero. Incumplimos, Qu puede concluirse sobre recibir el dinero?
Para esta tarea el equipo debe entregar las siguientes etapas:
a) Identifica las proposiciones simples y declralas (Asigna letras como p, q,..)
b) Identifica las premisas del problema.
c) Utiliza las leyes de inferencia para poder concluir sobre la proposicin que se
pide en el problema.
Para resolver este ejercicio debes estudiar las leyes de inferencia.
Proposiciones simples:
P: La mercanca llega, la maquinaria funciona.
Q: Incumplimos
R: Entregamos a tiempo y el cliente paga.
S: Todos reciben su dinero.
Premisas del problema
1. P
q
2.
Q
3. Q
r

4. R

( p q ) qv ( q rvr s )

Premisa mayor: la mercanca llega

Premisa menor: entregamos a tiempo y el cliente paga
Conclusin: todos reciben su dinero

CONCLUSIONES

Al leer el modulo y terminar la unidad 1 sobre esta materia de lgica matemtica

aprend muchos trminos. A desarrollar ejercicios lo cual creo que este mdulo es
un poco extenso lo cual hay que estudiarlo con paciencia y sobre todo comprender
los ejercicios que se presentan en l.
Aprend todo lo referente a preposiciones conjuntos tabla de verdad etc.

Se realiz un reconocimiento de la unidad uno del mdulo de Lgica matemtica

mediante el desarrollo de ejercicios prcticos de tal forma de lograr un aprendizaje
significativo.
Para m fue retomar una materia un poco compleja, entenderla y desarrollar
ejercicios de este tipo a partir de esto.
Se record planteamientos y expresiones naturales.
Se realiz la representacin grfica a travs de diagramas de diversas
expresiones.

He desarrollado un anlisis comprensivo fortaleciendo mi lgica para que los

problemas complejos me sean ms fciles de desarrollar.
Logre comprender sobre la teora de conjuntos como su creador y las ventajas
que esta tiene en las matemticas.

He alcanzado y desarroll de manera muy vlida los ejercicios propuestos sobre

la teora de conjuntos.

BIBLIOGRAFIA:
Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia.
Recuperado de:
http://www.slideshare.net/patricialeguizamon397/modulo-logica-matematica

Rubio, G. (2014). Teora de conjuntos. Ibagu, Colombia. Recuperado de:

http://www.slideshare.net/patricialeguizamon397/teoria-deconjuntosyproposiciones