Universidad del Sinú

Escuela de ingeniería de Sistemas

Actividad: Trabajo
Lógica matemática

Elaborado por:
Dagoberto Altamar
Brando Pestana
Juan Nieto
Franklin Posso

Tutor:
Ariel

Cartagena de Indias
2019
 Introducción

La lógica matemática consiste en el estudio matemático de la lógica y en la

aplicación de este estudio por ende a otras áreas de las matemáticas, este
trabajo nos induce en el área de la lógica matemática, algo que lo que a
diario hacemos uso sin darnos cuenta, es interesante retomar los conceptos
que nos ayudan a estructurar de una manera muy sencilla, la aplicación de
los enunciados las tablas de verdad entre otros ,además de esto
presentaremos un ejemplo de la vida cotidiana ,para poder afirmar que a
través de la lógica matemática se pueda demostrar su validez no obstante
mediante el aprendizaje de la lógica matemática se facilita aprender
cualquier tema

Desarrollo

La lógica matemática es la disciplina que trata de métodos de razonamiento.

En un nivel elemental, la lógica proporciona reglas y técnicas para determinar
si es o no valido un argumento dado. El razonamiento lógico se emplea en
matemáticas para demostrar teoremas; en ciencias de la computación para
verificar si son o no correctos los programas; en las ciencias física y naturales,
para sacar conclusiones de experimentos; y en las ciencias sociales y en la
vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa
en forma constante el razonamiento lógico para realizar cualquier actividad.
Tabla de contenido
Introducción………………………………………………………………………………….3
Desarrollo……………………………………………………………………………………..3
Objetivo generales y específicos……………………………………………………4
Lógica y conjunto………………………………………………………………………….5
Ejercicios propuestos……………………………………………………………………6
Diagrama de venn………..……………………………………………………………...7
Ejercicios propuestos……………………………………………………………………9
Tabla de la verdad……………………………………………………………………….10
Ejercicios propuestos……………………………………………………………………14
Marco teórico……………………………………………………………………………….15
Conclusión…………………………………………………………………………………….16
Bibliografía…………………………………………………………………………………….17
 Problema a Desarrollar

De acuerdo con una encuesta virtual realizada a cincuenta estudiantes

de la universidad del Sinú, los que le gustan la música de juanes son 15;
mientras que los que únicamente gustan la música de Shakira son 20
¿Cuántos son fanáticos de los dos artistas si 10 de los encuestados
entre los 25 que no son fanáticos de Shakira, afirman ser fanáticos de
juanes?

a) Describe la necesidad o problema a resolver

b) Identifica los conjuntos presentes en el problema
c) Elabora un diagrama de ven
d) Describe la solución del problema
e) Argumenta tu respuesta

Solución
a) La necesidad del problema se basa en analizar cuantos estudiantes
fanáticos comparten el gusto por los dos artistas
b) En el problema podemos identificar:
El conjunto U=universal
El conjunto Shakira
El conjunto Juanes
El conjunto intersección
50
n
S=

20 5
25

U
C) S= conjunto de Shakira
J= conjunto de Juanes
U= conjunto de universal
N=intersección

S n J = {5}

D) Para describir lo que está en el diagrama podemos decir que en conjunto

universal que tenemos es de 50, un conjunto S=Shakira tiene 20 fanáticos y el
conjunto J=Juanes tiene 25 fanáticos según la encuesta, los dos artistas
comparten 5 estudiantes que afirman ser fanáticos de los dos artistas
quedando así en una suma total de 50 encuestados y una intersección de 5
estudiantes
e) Tenemos un total de 50 estudiantes encuestados de lo cual se puede
asumir según la pregunta planteada en el problema que ¿Cuántos son los
fanáticos de los dos artistas 1i 10 de los encuestados, entre 25 que no son
fanáticos de Shakira, afirman ser fanáticos de juanes?
Allí nos está diciendo que 10 de los 25 estudiantes que son fanáticos de
Shakira lo son de juanes, y además en el problema planteado nos dice que
son 20 fanáticos de Shakira lo cual no deja una suma de 45 encuestados y
quedan 5 estudiantes que son fanáticos de los dos artistas, porque juanes
tiene 15 más los 10 de los 25 que no son fanáticos de Shakira
 ¿Qué es un Diagrama de Venn?

Los diagramas de Venn se usan para mostrar gráficamente la agrupación de

elementos en conjuntos, representando cada conjunto mediante un círculo o
un óvalo. Nosotros vamos a ver y a estudiar ejemplos con 2 conjuntos: el
conjunto A y el conjunto B.
Diagrama de Venn Estos dos conjuntos muestran 2 elementos que no pueden
tener nada en común.

Por ejemplo, el conjunto A son cuadrados amarillos y el conjunto B son

cuadrados verdes. El diagrama de Venn quedaría de la siguiente manera:

Diagrama de Venn Hay otro tipo de diagrama de Venn, que son los que
tienen una zona en común entre los conjuntos A y B, y esta zona se llama
intersección (inter).
Por ejemplo, el conjunto A son cuadrados y el conjunto B son figuras verdes.
El diagrama quedaría de la siguiente manera:

Sea el siguiente enunciado "El coche enciende cuando tiene

gasolina en el tanque y tiene corriente la batería"
Sean:

p: El coche enciende.

q: Tiene gasolina el tanque.

r: Tiene corriente la batería.

De tal manera que la representación del enunciado anterior usando simbología lógica es
como sigue:

p=qÙr

Su tabla de verdad es como sigue:

q r p=qr
V V V
V F F
F V F
F F F

Sea el siguiente enunciado "Si no pago la luz, entonces me cortarán la corriente

eléctrica. Y Si pago la luz, entonces me quedaré sin dinero o pediré prestado. Y Si
me quedo sin dinero y pido prestado, entonces no podré pagar la deuda, si solo si
soy desorganizado"
Donde:

p: Pago la luz.

q: Me cortarán la corriente eléctrica.

r: Me quedaré sin dinero.

s: Pediré prestado.

t: Pagar la deuda.

w: soy desorganizado.

(p’  q)   p  (r s)    (r s)  t’   w

Tablas de Verdad
En estos momentos ya se está en condiciones de elaborar cualquier tabla de
verdad. A continuación se presenta un ejemplo para la proposición
[(p q) (q’ r)   (r q).

p q r q’ p q (q’ r) (p q) (q’ r) r q [(p q) (q’ r)   (r q)

F F F V V F V V V
F F V V V V V F F
F V F F V F V V V
F V V F V F V V V
V F F V F F F V F
V F V V F V V F F
V V F F V F V V V
V V V F V F V V V
El número de líneas de la tabla de verdad depende del número de variables de la
expresión y se puede calcular por medio de la siguiente formula.

No de líneas = 2n Donde n = número de variables distintas.

Es importante destacar a medida que se avanza en el contenido del material el

alumno deberá participar activamente. Estos significa que cuando se está
definiendo proposiciones y características propias de ellas, además de los
ejemplos que el maestro explique, el alumno deberá citar proposiciones diferentes,
deberá entender por qué un enunciado no es válido. Cuando se ven conectores
lógicos, los alumnos deberán saber emplearlos en la representación de
proposiciones más complejas. Pero algo muy importante, es que los ejemplo que
el maestro y los alumnos encuentren en la clase, deben ser de interés para el
estudiante. Cuando se ven tablas de verdad el alumno deberá saber
perfectamente bien el porqué de cada uno de los resultados. En pocas palabras el
conocimiento deberá ser significativo.

Tautología y contradicción
Tautología, es aquella proposición (compuesta) que es cierta para todos los
valores de verdad de sus variables. Un ejemplo típico es la contra positiva cuya
tabla de verdad se indica a continuación.

p q p’ q’ p q q’ p’ (p q) (q’ p’)

F F V V V 1 1
F V V F V 1 1
V F F V F 0 1
V V F F V 1 1

Note que en las tautologías para todos los valores de verdad el resultado de la
proposición es siempre 1. Las tautologías son muy importantes en lógica
matemática ya que se consideran leyes en las cuales nos podemos apoyar para
realizar demostraciones.

1.- Doble negación.

 a). p''p

2.- Leyes conmutativas.

a). (pq)(qp)

b). (pq)(qp)

c). (pq)(qp)

3.- Leyes asociativas.

a). [(pq)r][p(qr)]

b. [(pq)r][p(qr)]

4.- Leyes distributivas.

a). [p(qr)][(pq)(pr)]

b. [p(qr)][(pq)(pr)]

5.- Leyes de idempotencia.

a). (pp)p

b). (pp)p

6.- Leyes de Morgan

a). (pq)'(p'q')

b). (pq)'(p'q')

c). (pq)(p'q')'

b). (pq)(p'q')'

7.- Contrapositiva.

a). (pq)(q'p')
8.- Implicación.

a). (pq)(p'q)

b). (pq)(pq')'

c). (pq)(p'q)

d). (pq)(pq')'

e). [(pr)(qr)][(pq)r]

f). [(pq)(pr)][p(qr)]

9.- Equivalencia

a). (pq)[(pq)(qp)]

10.- Adición.

a). p(pq)

11.- Simplificación.

a). (pq)p

Conclusión
La lógica matemática nos ayuda a desarrollar los procesos de pensamiento
encontrado sentido a lo que normalmente realizamos, muchas veces
utilizamos en nuestros razonamientos oraciones frases palabras que suelen
ser estudiadas en esta área, las inferencias lógicas cotidianas y las hacemos
sin darnos cuenta alguna de que las estamos realizando, por otra parte la
lógica ofrece métodos que enseñan cómo elaborar proposiciones, evaluar su
valor de verdad y determinar si las conclusiones se han deducido
correctamente a partir de proposiciones supuestas,

Bibliografías
https://es.slideshare.net/AnggieCatherineAcero/trabajo-colaborativo-logica
http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elem
entos_Logica/Textos/Biblioteca/Libros/Libro_008/Logica_Matematica.htm
https://es.slideshare.net/JEALVARADOMO/trabajo-final-colaborativo-1-
15524455
https://www.smartick.es/blog/matematicas/recursos-didacticos/diagrama-
de-venn/
https://equipodepyl.blogspot.com/2007/02/relacin-entre-pensamiento-
crtico-y.html

Objetivo General
Desarrollar nociones básicas de las matemáticas dentro de La Teoría de
Conjuntos, tabla de verdad y diagrama de venn.
Objetivos Específicos
 Evidenciar el grado de claridad y formalización que la lógica
proposicional aporta a los métodos de demostración y a la
construcción de argumentos válidos.
 Identificar los conceptos que abarcan fundamentalmente la Teoría de
Conjuntos.
 Aplicar los conceptos fundamentales de la Teoría de Conjuntos en la
solución de problemas.
 Marco Teórico
Las matemáticas son una construcción de la humanidad para poder
interpretar y entender la realidad que nos envuelve. Son un
instrumento imprescindible en nuestra sociedad, al que acudimos
continuamente para resolver situaciones de la vida cotidiana. Las
matemáticas están presentes en la vida del escolar, por tanto
debemos ofrecer situaciones y experiencias encaminadas a
desarrollar las estrategias que le permitan el desarrollo del
pensamiento Logico-Matematico.
Para Fernández (2001) el origen del conocimiento Logico-
Matematico está en la actuación del niño con los objetos y más
concretamente, en las relaciones que a partir de esta actividad
establece con ellos. A través de sus manipulaciones, descubre las
características de los objetos, pero aprende también las relaciones
entre objetos. Estas relaciones, que permiten organizar, agrupar,
comparar, etc. no están en los objetos como tales, sino que son una
construcción del niño sobre la base de las relaciones que encuentra
y detecta.
Según Chamorro (2005) una competencia matemática se vincula
con el ser capaz de hacer relacionado con el cuándo, cómo y por
qué utilizar determinado conocimiento como una herramienta. Las
dimensiones que abarca el ser matemáticamente competente son:
- Comprensión conceptual de las nociones, propiedades y
relaciones matemáticas. - Desarrollo de destrezas procedimentales.
- Pensamiento estratégico: formular, representar y resolver
problemas. - Habilidades de comunicación y argumentación
matemática. - Actitudes positivas hacia las situaciones matemáticas
y a sus propias capacidades matemáticas.
Para Alsina (2006), los jóvenes necesitamos observar, vivenciar,
manipular, jugar, etc. para construir el razonamiento lógico-
matemático. Las necesidades que educativamente es necesario
atender son: Observación del entorno para interpretarlo
matemáticamente. Vivencia de las situaciones a través del propio
cuerpo y del movimiento. La manipulación de objetos. El juego. La
verbalización de las acciones.