UNIVERSIDAD TÉCNICA DEL NORTE
VICERRECTORADO ACADÉMICO
SISTEMA DE NIVELACIÓN Y ADMISIÓN
TEMA: LÓGICA MATEMÁTICA
MATEMÁTICA
CARRERA: Pedagogía en Idiomas y
Ciencias Experimentales.
AUTOR (ES): Chunchir Andrés
Cuásquer Ibeth
Fernández Pamela
Flores Jomayra
Moreta Tatiana
DOCENTE: Lic. Eugenia Meneses
IBARRA - ECUADOR
OBJETIVOS..................................................................................................................... III
Objetivo general ........................................................................................................... III
Objetivos Específicos ................................................................................................... III
MARCO REFERENCIAL ............................................................................................... 1
Definición ....................................................................................................................... 1
Definición de proposiciones. ..................................................................................... 1
Clases de proposiciones. ........................................................................................... 2
Proposiciones simples. .......................................................................................... 2
Proposiciones compuestas. ................................................................................... 2
Conectivos lógicos en proposiciones compuestas. .................................................. 2
Tabla de verdad para las proposiciones compuestas. ............................................ 3
Negación. ................................................................................................................ 3
Conjunción............................................................................................................. 4
Disyunción. ............................................................................................................ 5
Conjunción negativa. ............................................................................................ 6
Disyunción exclusiva. ............................................................................................ 7
Condicional o implicación. ................................................................................... 7
Bicondicional. ........................................................................................................ 8
Tautología, Contradicción y Contingencia. ............................................................ 9
Tautología. ............................................................................................................. 9
Contradicción. ..................................................................................................... 10
Contingencia. ....................................................................................................... 10
Leyes del algebra de proposiciones........................................................................ 11
Conclusiones ................................................................................................................ 12
Recomendaciones ........................................................................................................ 12
Referencia Bibliográfica ............................................................................................. 13
Glosario ........................................................................................................................ 15
Anexos .......................................................................................................................... 16
II
OBJETIVOS
Objetivo general
Desarrollar la unidad de lógica matemática estableciendo las temáticas y la
problemática de cada elemento.
Objetivos Específicos
Recopilar la información necesaria para la explicación profunda, y desarrollo de
ejercicios.
Elaborar un material didáctico que permita mejorar la enseñanza en la unidad de
lógica matemática.
Exponer la unidad de análisis haciendo uso de una herramienta digital.
III
MARCO REFERENCIAL
Definición
La matemática se ha visto dividida en muchas temáticas, entre ellas se encuentra
la lógica matemática, una rama de la materia que involucra varias subdivisiones.
Becerra (s.f) menciona “La Lógica estudia la forma del razonamiento. 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” (p.1). De esta manera la lógica a pesar de ser usado para la
matemática también es de ayuda fundamental para la vida cotidiana.
Ejemplos:
Cotacachi es un cantón perteneciente a Imbabura.
El ecuador tiene 26 provincias.
Definición de proposiciones.
Las proposiciones son fundamentales en la lógica matemática. “Es una oración
declarativa que puede tomar el valor de verdadero o falso pero no ambos a la vez.
La proposición es el elemento esencial de la lógica para la matemática” (Rosales,
2010, p.3). Estas proposiciones se encuentran compuestas por un sujeto, un verbo
y finalmente su complemento, las mismas que pueden ser verdaderas o falsas,
representadas por las letras del alfabeto como p, q, r, s, t etc.
Ejemplo:
p. Apple es una marcada reconocida dentro de la tecnología. (V)
q. El año empieza con el mes de febrero. (F)
r. El dos es un número primo. (V)
Existen oraciones que no pueden ser proposiciones estas pueden ser las
oraciones interrogativas, o exclamativas e imperativas.
1
Ejemplo:
p. ¡Márchate!
q. ¿Qué libro estás leyendo?
r. Hoy llueve.
Clases de proposiciones.
Las proposiciones se pueden dividir en dos partes las simples y compuestas.
Proposiciones simples.
Son aquellas que carecen de conectores lógicos. (Rosales, 2010). A continuación
tendremos algunos ejemplos de proposiciones simples.
Ejemplos:
Mi mejor amiga tiene un gato.
La tierra es redonda.
La lluvia es un fenómeno natural.
Proposiciones compuestas.
Estas proposiciones compuestas son aquellas que no tienen una sola proposición
“Las proposiciones compuestas se forman por la unión de dos proposiciones
simples mediante conectivos lógicos” Ministerio de Educación del Ecuador
(MINEDUC, 2014). Las mismas que pueden llevar más de un conectivo lógico,
para su composición.
María viaja a quito y a cuenca.
Si no está lloviendo entonces el sol está brillando.
Conectivos lógicos en proposiciones compuestas.
Los conectores lógicos son signos destinados a construir nuevas afirmaciones a
partir de otras dadas (Castillo, 2010). Se pueden conectar dos o más proposiciones.
2
Figura 1: Conectores lógicos y los símbolos más usados. Fuente:(Fun-
damentos Matemáticos, s.f).
Tabla de verdad para las proposiciones compuestas.
El uso de las tablas de verdad es primordial. “Las tablas de verdad nos indican
que valor de verdad (verdadero o falso) toma una proposición compuesta cuando es
evaluada, de acorde a los valores que tiene cada una de las proposiciones” Escuela
Provincial de Educación Técnica (EDET, 2015). En este punto de la temática se
añadirá los conectores de la lógica matemática y sus funcionamientos en cada
elemento.
Negación.
Es un elemento lógico que actúa independientemente de la proposición (Nieto,
2016).La negación cambia el valor de verdad de la proposición. La negación de una
proposición verdadera es falsa y al contrario la negación de una proposición falsa
es verdadera.
Ejemplos:
p. Ana juega.
(-p). Ana no juega.
3
Se lee no p.
Figura 2: Conector lógico de negación. Fuente:
(Fundamentos Matemáticos, s.f).
Conjunción.
La conjunción es verdadera cuando ambas proposiciones son verdaderas.
Ejemplos:
p. La calle está sucia.
q. Los empleados del municipio lo limpian mañana.
(p y q). La calle está sucia y los empleados del municipio lo limpian mañana.
Se lee p y q.
4
Figura 3: Demostración de conjunción en la tabla de verdad. Fuente:
(Fundamentos Matemáticos, s.f).
Disyunción.
Una disyunción es falsa cuando ambas proposiciones son falsas.
Ejemplos:
p. Juan come manzana.
q. María come pera.
(p o q). Juan come manzana o María come pera.
Se lee p o q.
5
Figura 4: Demostración de disyunción en la tabla de verdad. Fuente:
(Fundamentos Matemáticos, s.f).
Conjunción negativa.
Una conjunción negativa es verdadero siempre y cuando existan dos
proposiciones falsas.
Ejemplo: Ni juego ni hago tarea.
Se lee ni p ni q.
Figura 5: Representación de conjunción negativa en la tabla de verdad.
Fuente: (Fundamentos Matemáticos, s.f).
6
Disyunción exclusiva.
Una disyunción exclusiva es falsa cuando dos proposiciones son igual de falsas
o verdaderas.
Ejemplo:
p. Estoy patinando.
q. Estoy nadando.
(o p o q). O Estoy patinando o estoy nadando.
Se lee o p o q.
Figura 6: Disyunción exclusiva en la tabla de verdad.
Fuente: (Fundamentos Matemáticos, s.f).
Condicional o implicación.
En una condicional o implicación es falsa cuando existe una proposición
verdadera y otra falsa, caso contrario todas son verdaderas.
7
Ejemplo:
p. Eva gana la lotería.
q. Eva dona mucho dinero.
Eva gana la lotería entonces Eva dona mucho dinero.
Se lee si p entonces es q.
Figura 7: Demostración de conector lógico condicional. Fuente:
(Fundamentos matemáticos, s.f).
Bicondicional.
Una bicondicional es verdadera cuando cuando existen dos proposiciones
verdaderas o dos proposiciones falsas, si no es así pues es falso.
Ejemplo:
p. Me voy de paseo.
q. apruebo los exámenes.
Me voy de paseo si y solo si apruebo los exámenes.
8
Se lee p si y solo si q.
Figura 8: Conector lógico bicondicional en la tabla de verdad. Fuente:
Fundamentos matemáticos, s.f).
Tautología, Contradicción y Contingencia.
Tautología.
Es aquella donde el resultado final es verdadero para todas las proposiciones.
Figura 9: Ejemplo de tautología en la tabla de verdad.
Fuente: (Rivera, 2011).
9
Contradicción.
Resulta contradicción cuando el resultado de las proposiciones es en su totalidad
falso.
Figura 10: Ejemplo de contingencia en la tabla de verdad.
Fuente: (Rivera, 2011).
Contingencia.
Una contingencia es cuando las respuestas de las proposiciones finales no son ni
verdaderas ni falsas.
10
Figura 11: Ejemplo de contingencia en la tabla de ver-
dad. Fuente: (Rivera, 2011).
Leyes del algebra de proposiciones.
A continuación se muestra las leyes del algebra de proposiciones.
Figura 12: leyes del algebra proposicional. Fuente:
(García, 2015).
11
Conclusiones
De acuerdo a lo desarrollo se llega a presentar las subdivisiones de la lógica
matemática, especificando cada uno de los subtemas que se dan a conocer. El
aprendizaje de la lógica matemática a través de tablas de verdad y las leyes del
algebra proposicional que posee. De esta forma se dan a conocer detalladamente el
tema realizando ejemplos para su fácil entendimiento.
Del mismo modo se buscan varios actores que ayuden a concretar en el contenido
de la lógica matemática, dando como resultado un buen desarrollo del mismo,
ayudando con el conocimiento en el tema.
El material didáctico ayuda como una forma estratégica a entenderse de
diferentes maneras para llegar a la solución de cualquier problema de lógica
matemática y finalmente el uso de herramientas digitales es de ayuda primordial
para una fácil explicación y apoyo del mismo.
Recomendaciones
El uso de la matemática es primordial, se da en cada uno de los aspectos de la
vida, de manera que es muy importante su conocimiento. Así permite el
conocimiento de cualquier problema matemático que se presente.
Es necesario el aprendizaje matemático ya que en ella se encuentra la respuesta
a varios problemas, y esta a su vez facilita su solución y explica de forma única y
detallada cada problema.
Practicar las matemáticas en cualquier situación de esta manera se mejorara el
rápido movimiento cerebral para futuros ejercicios que requieran de más tiempo
para ser resueltos.
12
Referencia Bibliográfica
Becerra, J. (s.f). Matemáticas básicas. Recuperado de
[Link]
ogica%[Link]
Castillo, C. I. (2010). Lógica y teoría de conjuntos.
Dorado, A. (2014). Diccionario Enciclopedia Universal" Siglo XXI.
Escuela Provincial de Educación Técnica. (2015). Lógica formal. Proposiciones.
Conectores lógicos. Tablas de verdad. Recuperado de
[Link]
Fundamentos matemáticos. (2015). Lógica proposicional. Recuperado de
[Link]
temas/3-1--logica/[Link]
Fundamentos matemáticos. (2015). Negación [Figura]. Recuperado de
[Link]
logica/[Link]?attredirects=0
Fundamentos matemáticos. (2015). Conjunción [Figura]. Recuperado de
[Link]
logica/[Link]?attredirects=0
Fundamentos matemáticos. (2015). Disyunción [Figura]. Recuperado de
[Link]
logica/[Link]?attredirects=0
Fundamentos matemáticos. (2015). Disyunción exclusiva [Figura]. Recuperado de
[Link]
logica/dis%[Link]?attredirects=0
13
Fundamentos matemáticos. (2015).Conjunción negativa [Figura]. Recuperado de
[Link]
logica/conju%[Link]?attredirects=0
Fundamentos matemáticos. (2015).Conectores lógicos [Figura]. Recuperado de
[Link]
temas/3-1--logica/[Link]
Garcia, T. (2015). Leyes del algebra proposicional [Figura]. Recuperado de
[Link]
[Link]/max/1600/1*_D96Q2_DROcdXqZqBwVGMw.png
Ministerio de Educación de Ecuador. (2014). Guías de Matemática. Rcuperado de
[Link]
ecundaria/documents/telesecundaria/Gu%C3%ADas/Matem%C3%A1tica/
MATE_U2.pdf
Nieto, S. (2016). Construcción de funciones booleanas extendidas a partir de tablas
de verdad utilizando el programa Mathematica. In Actas del XVIII Simposio
Internacional de Informática Educativa (SIIE 2016) (pp. 97-102)
Rivera, S. (2011). Tautología [Figura]. Recuperado de
[Link]
Rivera, S. (2011). Contradicción [Figura]. Recuperado de
[Link]
Rivera, S. (2011). Contingencia [Figura]. Recuperado de
[Link]
Rosales, M. (2010). Lógica matemática. Recuperado de
[Link]
Rosales, M. (2010). Lógica matemática. Recuperado de
[Link]
14
Glosario
Proposición: “Palabras o palabras que expresan un concepto cabal” (Dorado,
2014, p.806).
Argumento: “Razonamiento que se emplea para probar o demostrar una
proposición, o bien para convencer a otro de aquello que se afirma o niega”
(Dorado, 2014, p. 89).
Condicional: “que incluye y lleva consigo una condición o requisito” (Dorado,
2014, p. 271).
Técnica: “Conjunto de procedimientos de que se sirve una ciencia o arte”
(Dorado, 2014, p. 917).
Complemento: “Cosa, cualidad o circunstancia que se añade a otra cosa para
hacerla íntegra o perfecta” (Dorado, 2014, p. 267).
15
Anexos
Figura 13: Material didáctico acerca de lo
Lógica matemática. Fuente: (Autoría propia).
Figura 14: Presentación de material didácti-
co con el tema de lógica matemática.
Fuente: (Autoría propia)
16