Módulo Lógica Matemática

FUNDACIN TECNOLGICA ANTONIO DE ARVALO - TECNAR Fecha: 26/07/2016
FACULTAD DE DISEO E INGENIERIA

TCNICA PROFESIONAL EN ELECTRNICA Versin: 1
MDULO DE LGICA MATEMTICA Pgina 1 de 97
F A C U LTA D D E D I S E O E I N G E N I E R A
TCNICA PROFESIONAL EN ELECTRNICA
LGICA M AT E M T I C A
JORGE ELIECER GIRALDO

LIPEDA
LGICA MATEMTICA
Programas de Educacin a Distancia
Fundacin Antonio de Arvalo, TECNAR
Autor: Jorge Eliecer Giraldo Lpeda
Diseo de la Plantilla y Estructura del mdulo: Astrid Caldern Hernndez

Diagramacin, Portadas y Arte Grfico: Yury Paola Tinoco
Primera Edicin: Diciembre 2016 - [Nmero de Ejemplares]
LGICA MATEMTICA
Fundacin Antonio de Arvalo - TECNAR
2016; [N] Pg. 97; 21.5 X 27.9 cm
Prohibida su reproduccin parcial o total, por cualquier medio o mtodo de este mdulo sin
previa autorizacin de TECNAR y la Empresa Editorial.
TABLA DE CONTENIDO
Pg.
1 PRESENTACIN .............................................................................................................
2 INTRODUCCIN ........................................................................................................ 11
3 OBJETIVOS EDUCATIVOS ....................................................................................... 12
3.1 OBJETIVO GENERAL ......................................................................................... 12
3.2 OBJETIVOS ESPECFICOS ................................................................................. 12
4 JUSTIFICACIN.......................................................................................................... 12
5 COMPETENCIAS ........................................................................................................ 13
5.1 COMPETENCIAS GENRICAS.......................................................................... 13
5.2 COMPETENCIAS ESPECFICAS ....................................................................... 13
5.2.1 COGNITIVAS: .................................................................................................... 13
5.2.2 PROCEDIMENTALES/INSTRUMENTALES: ................................................... 14
5.2.3 ACTITUDINALES .............................................................................................. 14
6 METODOLOGA ....................................................................................................... 15
7 UNIDADES DE APRENDIZAJE .............................................................................. 16
1. UNIDAD 1 TEORIA DE LOS CONJUNTOS. ....................................................... 19
1.1. OBJETIVOS .............................................................................................................. 19
1.2. OBJETIVOS ESPECFICOS ......................................................................................... 19
1.3. COMPETENCIAS ....................................................................................................... 19
1.4. ESTRATEGIAS PEDAGGICAS O ACTIVIDADES DE APRENDIZAJE .............................. 19
1.5. RECURSOS DE APRENDIZAJE.................................................................................... 20

1.6. HISTORIA DE TEORIA DE CONJUNTOS. ........................................................ 21
1.7. CONJUNTOS ........................................................................................................ 22
1.8. NOTACIN DE CONJUNTOS ............................................................................ 23
1.9. OPERACIONES ENTRE CONJUNTOS. ............................................................. 24
1.9.1. UNIN ENTRE CONJUNTOS: ........................................................................ 24
1.9.2. INTERSECCIN DE CONJUNTOS ................................................................. 25
1.9.3. DIFERENCIA DE CONJUNTOS: ..................................................................... 25
1.9.4. COMPLEMENTO DE CONJUNTO: ................................................................ 26
1.10. DIAGRAMAS DE VENN EULER. .................................................................... 26

1.11. OPERACIONES ENTRE CONJUNTOS REPRESENTADAS CON
DIAGRAMAS: ................................................................................................................. 28
1.11.1. DIAGRAMA DE UNIN .................................................................................. 28
1.11.2. DIAGRAMA DE INTERSECCIN: ................................................................. 28
1.11.3. DIAGRAMA DE DIFERENCIA ....................................................................... 29
1.11.4. DIAGRAMA DE COMPLEMENTO ................................................................ 30
1.12. RELACIONES Y FUNCIONES. ........................................................................... 31
1.13. REPRESENTACIN GRFICA DE LAS RELACIONES. ................................. 33
1.14. FUNCIONES ......................................................................................................... 36
1.15. APLICACIN DE CONJUNTOS A PROBLEMAS............................................. 36
1.16. ACTIVIDADES PROPUESTAS:.......................................................................... 40
2 UNIDAD 2 LGICA PROPOSICIONAL .............................................................. 44
2.1 OBJETIVOS .............................................................................................................. 44
2.2 OBJETIVOS ESPECFICOS ......................................................................................... 44
2.3 COMPETENCIAS ....................................................................................................... 44
2.4 ESTRATEGIAS PEDAGGICAS O ACTIVIDADES DE APRENDIZAJE .............................. 44
2.5 LGICA PROPOSICIONAL LENGUAJE NATURAL Y SIMBLICO. ........... 46

2.5.1 PROPOSICIONES SIMPLES Y COMPUESTAS. .............................................. 47
2.6 REGLAS DE SINTAXIS. ...................................................................................... 47
2.7 CONECTIVOS LGICOS. ................................................................................... 48
2.8 TABLAS DE VERDAD. ....................................................................................... 50
2.9 INFERENCIA LGICA. ....................................................................................... 52
2.10 TAUTOLOGA. .................................................................................................... 54
2.10.1 Contradicciones .............................................................................................. 54
2.10.2 Contingencia................................................................................................... 55
2.11 LEYES DE LA IMPLICACIN. ........................................................................... 56
2.11.1 LEY MODUS PONENS. ................................................................................. 56
2.11.2 LEY MODUS TOLLENS................................................................................. 56
2.11.3 LEY DEL SILOGISMO DISYUNTIVO. .......................................................... 57
2.11.4 LEY DEL SILOGISMO HIPOTTICO........................................................... 57

2.11.5 LEY DE LA CONJUNCIN ........................................................................... 58
2.11.6 LEY DE LA ADICIN. ................................................................................... 58
2.11.7 LEY DE LA SIMPLIFICACIN ..................................................................... 58
LEY DEL DILEMA CONSTRUCTIVO. ........................................................................ 59
2.11.8 LEY DEL DILEMA DESTRUCTIVO.............................................................. 59
2.11.9 LEY DEL ABSURDO. ..................................................................................... 60
2.12 LEYES DE EQUIVALENCIA LGICA. ....... ERROR! BOOKMARK NOT DEFINED.
2.12.1 LEY DE LA DOBLE NEGACIN. ................................................................. 60
2.12.2 LEY DE IDEMPOTENCIA ............................................................................. 61
2.13 LEYES CONMUTATIVAS .................................................................................. 61
2.14 LEYES ASOCIATIVA .......................................................................................... 61
2.15 LEYES DISTRIBUTIVAS. ................................................................................... 62
2.16 LEYES DE IDENTIDAD. ..................................................................................... 62
2.17 LEYES DE MORGAN. ......................................................................................... 62
2.18 LEYES DE ABSORCIN. .................................................................................... 63
2.19 LEYES DEL CONDICIONAL. ............................................................................. 63
2.20 LEYES DEL BICONDICIONAL .......................................................................... 63
2.21 LEYES DE CONTRAPOSICIN ......................................................................... 64
2.22 LEYES DE EXPORTACIN ................................................................................ 64
3 UNIDAD 3 LGICA EN OPERACIONES MATEMTICAS ............................ 67
3.1 OBJETIVOS .............................................................................................................. 67
3.3 COMPETENCIAS ....................................................................................................... 67
3.5 LGICA EN OPERACIONES MATEMTICAS. ............................................... 70

3.6 JERARQUIZACIN DE OPERACIONES MATEMTICAS. ........................... 71
3.7 OPERACIONES MATEMTICAS CON SIGNOS DE AGRUPACIN. ........... 72
3.8 EJERCICIOS PROPUESTOS. .............................................................................. 74
4 RECURSOS ................................................................................................................. 75
4.1 FSICOS ................................................................................................................... 75

4.2 TECNOLGICOS ....................................................................................................... 75
4.3 AUDIOVISUALES ..................................................................................................... 75
4.4 TELECOMUNICACIONES........................................................................................... 75
5 SISTEMA DE EVALUACIN .................................................................................. 76
6 CRONOGRAMA CALENDARIO ........................................................................ 77
7 BIBLIOGRAFA ......................................................................................................... 78
8 ENLACES DE INTERS ........................................................................................... 79
9 TIEMPO MXIMO DEL MDULO ....................................................................... 80
10 PERFIL DEL TUTOR: .............................................................................................. 80
1 GUA D E T R A B A J O ................................................................................ 84
11 GUA DE TRABAJO DEL ESTUDIANTE ............................................................. 85
INDICE DE ILUSTRACIONES
Pg.
Figura 1.1 Diagrama de venn 27

Figura 1.2 Ejemplo de conjuntos 27
Figura 1.3 Unin 28
Figura 1.4 Interseccin 29
Figura 1.5 Diferencia A-B 29
Figura 1.6 Diferencia B-A 30
Figura 1.7 Complemento de A 30
Figura 1.8 Diagrama relaciones y 34
funciones
Figura 1.9 Producto cartesiano 35
Figura 1.10 Producto cartesiano, 35
diagrama de venn
Figura 1.11 Diagrama de conjuntos 38
Figura 1.12 Ejemplo de diagramas de 38
conjuntos
conjuntos
conjuntos
INDICE DE TABLAS
Pg.
Tabla 2.1 Conectivos lgicos 50
Tabla 2.2 Lgica del opuesto 51
Tabla 2.3 Lgica del conjuntor 51
Tabla 2.4 Lgica del disyuntor 52
Tabla 2.5 Lgica del condicional 52
Tabla 2.6 Lgica del bicondicional 53
Tabla 2.7 Desarrollo de ejemplo 54
Tabla 2.8 Desarrollo ejemplo de 55
tautologa
Tabla 2.9 Desarrollo ejemplo de 56
contradiccin.
Tabla 2.10 Desarrollo tabla de verdad 56
contingencia
1. PRESENTACIN
La FUNDACIN TECNOLGICA ANTONIO DE ARVALO es una Institucin de

Educacin Superior, de carcter privado, que propende por la formacin integral de las
personas que requiere el entorno globalizado, apoyada en una slida comunidad acadmica
y administrativa que, con calidad y responsabilidad, armoniza la docencia, la investigacin y
la proyeccin social, disfrutando de bienestar institucional y del uso de las tecnologas de
vanguardia, en un ambiente de convivencia, conciliacin y pluralismo tnico y cultural.
En el ao 2019, la Fundacin Tecnolgica Antonio de Arvalo ser reconocida, a nivel
nacional, como la mejor Institucin Tecnolgica, por la excelente formacin integral que
imparte, con responsabilidad social, y se hace evidente en la calidad humana de ciudadanos
competentes en el mbito laboral.
Ensear LOGICA MATEMATICA, requiere tomar en cuenta aspectos como: ideas previas
de los estudiantes, contenidos de enseanza que incluyan temas relacionados con las
matemticas bsicas, algebra operacin de conjuntos, la seleccin adecuada de estrategias
que activen los esquemas mentales y propicien el aprendizaje de la lgica matemtica.
Se pretende que con la elaboracin del presente modulo el aprendiz pueda guiarse
satisfactoriamente en su proceso de autoformacin y adquirir las competencias bsicas y
especficas concernientes a las reas de lgica matemtica.
PRESENTACIN DEL CURSO
Nombre del curso: Cdigo del curso (opcional)

Lgica Matemtica 10110
Programa: Semestre:
Todos
rea de Formacin: Tipo de curso:
Fundamentacin Bsica Terico
Crditos Acadmicos: Prerrequisitos o saberes previos
Tres (3)
Horas de acompaamiento: Horas de Trabajo Independiente:
Treinta y Seis (36, 12 presenciales y 24 Ciento Ocho (108)
virtuales)
Tutor (a): Email:
Jorge Giraldo Lpeda jorge.giraldo@tecnar.edu.co;
elliecer@gmail.com
Tabla 1: Generalidades del Curso
2. INTRODUCCIN
Este mdulo se ha elaborado para el curso de lgica matemtica, el cual se constituye

en una herramienta bsica para los programas de diseo e ingeniera de la FUNDACIN
TECNOLGICA ANTONIO DE AREVALO TECNAR, y con frecuencia es el primer
encuentro que los estudiantes tienen con su rea de formacin. El material aqu expuesto
es una recopilacin de informacin de diversos autores, este puede ser de fcil
comprensin para los estudiantes siempre y cuando tenga algunas nociones elementales
sobre matemticas bsicas, teora de conjuntos y Lgica proposicional.
Para ayudar al estudiante en la comprensin del material del texto, se ha hecho un capitulo
introductorio acerca de los principios bsicos generales de la lgica matemtica, capitulo
donde se reforzara las competencias adquiridas en las asignaturas de lgica matemtica;
una vez terminado este captulo el estudiante estar mucho ms orientado por lo que
podr comenzar satisfactoriamente su gran proceso de autoaprendizaje en las reas
computacionales que se dividirn en las siguientes unidades temticas:
UNIDAD I: TEORIA DE CONJUNTOS.
UNIDAD II: LOGICA PROPOSICIONAL.
UNIDAD III: LOGICA MATEMATICA.

3. OBJETIVOS EDUCATIVOS
3.1 OBJETIVO GENERAL
Conocer y comprender los conceptos generales bsicos de la Lgica Matemtica.
3.2 OBJETIVOS ESPECFICOS
Aplicar los conocimientos tericos en la prctica
Resolver problemas de anlisis y diseo a partir de unas especificaciones dadas

comunicaciones analgicas.
4. JUSTIFICACIN
La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas
y tcnicas, determina si un argumento es vlido. La lgica es ampliamente aplicada en la
filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un
razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin
embargo la lgica permite saber el significado correcto. En los matemticos para
demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en
investigaciones. En la computacin para revisar programas. En general la lgica se aplica
en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico,
por el ejemplo; para ir de compras al supermercado un ama de casa tiene que realizar
cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar
una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no
prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta
porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho,
l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto
es la aplicacin de la lgica. La lgica es pues muy importante; ya que permite resolver

incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente
su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener
nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los
mismos.
5. COMPETENCIAS
5.1 COMPETENCIAS GENRICAS.
Desarrollar habilidades y destrezas que le permitan, mediante el razonamiento,

el anlisis y la interpretacin de variables lgicas matemticas.
Proponer y plantear problemas prcticos y tericos mediante su formulacin
matemtica; simular y estructurar a partir de datos intuitivos y empricos.
Capacidad para expresarse correctamente de forma oral y escrita y transmitir
informacin mediante documentos y exposiciones en pblico.
Estimula la creatividad mediante la realizacin de proyectos basados en
situaciones reales en un ambiente de cooperativismo.
Utiliza las TIC como herramienta de apoyo en el proceso de autoaprendizaje.
5.2 COMPETENCIAS ESPECFICAS
5.1.1. COGNITIVAS:
Resuelve problemas de anlisis y diseo a partir de unas especificaciones

dadas comunicaciones analgicas.
Resuelve problemas reales aplicando los conceptos de Lgica Matemtica.
5.1.2. PROCEDIMENTALES/INSTRUMENTALES:
Organiza y planifica su trabajo en su rea de trabajo.

Se comunica de forma oral y escrita en espaol.
Conoce la terminologa bsica en ingls para trabajar en Lgica
Matemtica
Resuelve problemas reales aplicando los conceptos de Lgica Matemtica
Toma decisiones de forma eficiente.
Conoce y comprende los conceptos generales bsicos de la Lgica
Matemtica.
Realizar simulaciones de arranque de motores para comparar con los
resultados obtenidos en la prctica.
5.1.3. ACTITUDINALES
Actitud positiva y creativa ante los trabajos a desarrollar.

Rigurosidad y claridad a la hora de realizar las actividad e
encomendadas
Autonoma, perseverancia y responsabilidad ante las actividades a
realizar
Confianza en la propia capacidad de abordar y solucionar problemas
reales
Inters y respeto hacia las ideas y soluciones aportadas por sus
compaeros.
Extraccin de conclusiones y redaccin de informes (Comunicacin
escrita de ideas y conceptos en lenguaje matemtico)
6. METODOLOGA
Para cumplir el objetivo general de lgica matemtica el presente modulo se

diseara con la siguiente metodologa:
Clases virtuales
Se llevarn a cabo en el aula virtual, y sern del profesor con apoyo de las TICs
y ayudas computacionales tales como plataforma moodle (SPLAVIA), las cuales
podrn tener acceso los estudiantes das antes de la clase con el objetivo de que el
estudiante se vea envuelto en el nuevo proceso, active sus conocimientos y los
enfrente con los que tena y los que tendr al salir de clase.
Se impartirn tambin en el aula virtual, y en ellas se resolvern problemas cuyos

enunciados se habrn proporcionado previamente a los alumnos, para su
resolucin. Aunque habitualmente estas clases tendrn lugar una vez explicada la
parte de teora del tema.
En determinadas ocasiones se requerir la resolucin y explicacin a sus

compaeros por parte de algn alumno va webinar o videoconferencias.
Proyectos de Aula
De acuerdo a la metodologa reglamentada en la institucin, se implementar esta

propuesta didctica fundamentada en la solucin de problemas, desde los
procesos formativos, el estudiante elegir un trabajo de investigacin por
motivacin propia o impulsada por ideas generadas por los docentes desde el aula,
alrededor de ejes, ncleos y temas estipulados desde la coordinacin general.
Otros
Trabajo independiente del estudiante:

Solucin de problemas propuestos en forma individual o grupal
Consulta e Investigacin, organizacin de informacin, anlisis de temas
especficos.
Presentacin de pre-informes e informes en las prcticas de laboratorio.
La articulacin de los contenidos del curso en el Proyecto de aula.
7. UNIDADES DE APRENDIZAJE
En la comprensin del material del texto, se ha hecho un capitulo introductorio acerca

de los principios bsicos generales de la lgica matemtica, capitulo donde se reforzara
las competencias adquiridas en las asignaturas de lgica matemtica; una vez terminado
este captulo el estudiante estar mucho ms orientado por lo que podr comenzar
satisfactoriamente su gran proceso de autoaprendizaje en las reas computacionales que
se dividirn en las siguientes unidades temticas:
UNIDAD I: TEORIA DE CONJUNTOS.
UNIDAD II: LOGICA PROPOSICIONAL.
UNIDAD III: LOGICA MATEMATICA.

UNIDAD 1: TEORA DE CONJUNTOS

TABLA DE CONTENIDO
Pg.
1. UNIDAD 1 TEORIA DE LOS CONJUNTOS. ....................................................... 19

1.1. OBJETIVOS .............................................................................................................. 19
1.2. OBJETIVOS ESPECFICOS ......................................................................................... 19
1.3. COMPETENCIAS ....................................................................................................... 19
1.4. ESTRATEGIAS PEDAGGICAS O ACTIVIDADES DE APRENDIZAJE .............................. 19
1.5. RECURSOS DE APRENDIZAJE.................................................................................... 20

1.6. HISTORIA DE TEORIA DE CONJUNTOS. ........................................................ 21
1.7. CONJUNTOS ........................................................................................................ 22
1.8. NOTACIN DE CONJUNTOS ............................................................................ 23
1.9. OPERACIONES ENTRE CONJUNTOS. ............................................................. 24
1.9.1. UNIN ENTRE CONJUNTOS: ........................................................................ 24
1.9.2. INTERSECCIN DE CONJUNTOS ................................................................. 25
1.9.3. DIFERENCIA DE CONJUNTOS: ..................................................................... 25
1.9.4. COMPLEMENTO DE CONJUNTO: ................................................................ 26
1.10. DIAGRAMAS DE VENN EULER. .................................................................... 26
DIAGRAMAS: ................................................................................................................. 28
1.11.1. DIAGRAMA DE UNIN .................................................................................. 28
1.11.2. DIAGRAMA DE INTERSECCIN: ................................................................. 28
1.11.3. DIAGRAMA DE DIFERENCIA ....................................................................... 29
1.11.4. DIAGRAMA DE COMPLEMENTO ................................................................ 30
1.12. RELACIONES Y FUNCIONES. ........................................................................... 31
1.13. REPRESENTACIN GRFICA DE LAS RELACIONES. ................................. 33
1.14. FUNCIONES ......................................................................................................... 36
1.15. APLICACIN DE CONJUNTOS A PROBLEMAS............................................. 36
1.16. ACTIVIDADES PROPUESTAS:.......................................................................... 40
1. UNIDAD 1 TEORIA DE LOS CONJUNTOS.
1.1. Objetivos
Conocer y comprender los conceptos generales sobre la teora de conjuntos.
1.2. Objetivos Especficos
Aplicar la teora de conjunto en la prctica.
Comprender la notacin de conjuntos.
1.3. Competencias
Desarrollar habilidades y destrezas que le permitan, mediante el razonamiento,

el anlisis y la interpretacin de variables lgicas matemticas.
Estimula la creatividad mediante la realizacin de proyectos basados en
situaciones reales en un ambiente de cooperativismo.
Utiliza las TIC como herramienta de apoyo en el proceso de autoaprendizaje

1.4. Estrategias pedaggicas o actividades de aprendizaje
Para cumplir el objetivo general de lgica matemtica el presente modulo se diseara
con la siguiente metodologa:
Clases virtuales
Se llevarn a cabo en el aula virtual, y sern del profesor con apoyo de las TICs
y ayudas computacionales tales como plataforma moodle ( SPLAVIA), las cuales
podrn tener acceso los estudiantes das antes de la clase con el objetivo de que el
estudiante se vea envuelto en el nuevo proceso, active sus conocimientos y los
enfrente con los que tena y los que tendr al salir de clase.

enunciados se habrn proporcionado previamente a los alumnos, para su resolucin.
Aunque habitualmente estas clases tendrn lugar una vez explicada la parte de teora
del tema.
En determinadas ocasiones se requerir la resolucin y explicacin a sus compaeros

por parte de algn alumno va webinar o videoconferencias.
1.5. Recursos de aprendizaje
Fsicos
Computador
Aula de encuentro presencial
Mdulo de Algebra.
Tecnolgicos
Computador con conexin a internet
Audiovisuales
1 Video beam
1 Retroproyector.
Telecomunicaciones
Correo institucional
Chat en aula Virtual.
Foro en aula Virtual.
1.6. HISTORIA DE TEORIA DE CONJUNTOS.
(Grimaldi 1998) en su libro, matemtica discreta y combinatoria afirma: que el lgebra

de la teora de conjuntos se desarroll durante los siglos diecinueve y veinte. En Inglaterra,
George Peacock (1806 1858) fue un pionero en reformas matemticas y uno de los primeros
en revolucionar el concepto del lgebra y la aritmtica. Sus ideas fueron desarrolladas ms
tarde por Duncan Gregory (1813 1844), William Rowan Hamilton (1805 1865) y
Augustus de Morgan (1806 1871), quien intent eliminar la ambigedad del lgebra
elemental para ponerla en forma de postulados estrictos. Sin embargo fue en 1845, ao en
que Boole logr formalizar el lgebra de conjuntos y la lgica y se extendi el trabajo de
Peacock y sus contemporneos. El enfoque intuitivo de la teora de conjuntos se realiz en
tiempos del matemtico ruso George Cantor (1845 1918), quien defini un conjunto, en
1895, en forma intuitiva. En la dcada de 1870, cuando Cantor estaba estudiando las series
trigonomtricas y las series de nmeros reales, necesitaba una forma para comparar el tamao
de los conjuntos infinitos de nmeros. Su estudio de lo infinito como una realidad, que est
en el mismo nivel de lo infinito, fue en su momento revolucionario. Parte de su trabajo fue
rechazado ya que result ser ms abstracto de lo acostumbrado por muchos matemticos de
su tiempo. Pero con el tiempo, gan aceptacin para que en 1890 la teora de conjuntos, tanto
finita como infinita, fuera considerada una rama de las matemticas como derecho propio.
Al terminar el siglo XIX la teora era aceptada. Sin embargo, en 1901 Russell mostr que
esta teora de conjuntos, propuesta originalmente, tena una inconsistencia interna: la falta de
restriccin para definir los conjuntos (paradoja de Russell). Los matemticos britnicos Lord
Bertrand Arthur William Russell ( 1872 1970) y Alfred North Whitehead ( 1861 1947 )
desarrollaron una jerarqua en la teora de conjuntos conocida como la teora de tipos. Con
esta teora, se definan los conjuntos. El descubrimiento de la paradoja de Russell aun cuando
se pudo remediar, tuvo un profundo impacto en la comunidad matemtica, ya que muchos
comenzaron a preguntarse si haba otras contradicciones ocultas. En 1931, el matemtico
austriaco Kart Gel (1906 1978) formul la idea de que en una condicin de consistencia
dada, cualquier sistema axiomtico formal suficientemente fuerte debe de contener una
proposicin tal que ni sta ni su negacin sea demostrable y tal que cualquier demostracin
de consistencia del sistema debe usar ideas de mtodos que estn ms all de los propios del
sistema en s. Esto quiere decir que no podemos establecer que no existen contradicciones en
matemticas. La importancia del papel de la teora de conjuntos en el desarrollo de las
matemticas del siglo XX la define el matemtico alemn David Hilbert (1862 1943) al
decir: Nadie podr expulsarnos del paraso que Cantor ha creado para nosotros.
1.7. CONJUNTOS
Los conjuntos son agrupaciones de determinados y distintos objetos de nuestra

percepcin, esto denota la coleccin de elementos que guardan alguna relacin comn entre
ellos, la teora de conjuntos es una de las partes delas matemticas donde se fundamentan
teoras lgicas.
Una de las formar de nombrar un conjunto le llamamos definicin por extensin y consiste
en encerrar con llaves los elementos que pertenecen a dicho conjunto.
Z = {2, 4, 6, 8,10}
Donde Z es el nombre del conjunto y los elementos son los objetos que integran el conjunto
que en este caso son los nmeros pares del 1 al 10.
Cabe destacar que el orden en que se encuentren ubicados los elementos del conjunto no los
hacen un conjunto diferente,
Ejemplo:
Z = {8, 2, 4, 10, 6}, Z = {10, 8, 6, 2, 4}

Que el orden no sea el mismo no indica que los elementos que forman el conjunto cambien,
el conjunto sigue teniendo los mismo elementos solo que en diferente orden.
Los conjuntos no pueden incluir elementos que se encuentre repetidos por ejemplo:
A= {a, b, b, c, a} este tipo de conjunto se encuentra errneamente expresado ya que como

la afirmacin anterior nos sustenta no pueden existir elementos repetidos ya que todo los
elementos de un conjunto son diferentes. En este caso el conjunto A se expresaran
correctamente de la siguiente forma A= {a, b, c}.
1.8. NOTACIN DE CONJUNTOS
Para la teora de conjuntos existen notaciones para hacer referencia a los conjuntos y a los
elementos del conjunto, los elementos son los objetos que conforman cada conjunto y cada
uno de ellos es diferente por lo tanto no existen elementos duplicados o repetidos.
Con la notacin de conjuntos podemos expresar de manera clara cuando un elemento
pertenece o no a un conjunto.
: Este smbolo indica que un elemento pertenece a un conjunto determinado.
: Se usa para indicar que un elemento no pertenece a un conjunto

determinado.
U: Se usa para indicar el conjunto universal al que pertenecen todos los

subconjuntos.
: se usa para indicar un conjunto vaco.
Sean los conjuntos:

A = {a, b, c} y B = {c, d, e}
Y se expresa de la siguiente forma:
A es el conjunto formado por los elementos a, b, c y d

B es el conjunto formado por los elementos c, d y e.
Del ejemplo anterior Podemos afirmar que el elemento b A y a B, ya que el elemento

b se encuentra dentro del conjunto A, mientras que el elemento a no se encuentra
dentro del conjunto B, esta es la mejor forma para denotar cuando un elemento se
encuentra o no dentro de un conjunto.
Se puede definir de igual forma que el conjunto universal U son todos los elementos de ambos
conjuntos ya que los sub conjuntos A y B pertenecen al conjunto universal U.
Cuando un conjunto no contiene ningn elemento, es decir que se encuentra vaco podemos
denotar que el conjunto, es un conjunto vaco, simbolizado por la expresin
Un ejemplo de un conjunto vaco seria:
el conjunto formado por los numero mayores que 6 que se puedan sacar en el lanzamiento
de un solo dado
Un dado solo tiene 6 nmeros, y por lo tanto nunca saldr un nmero mayor que 6 por tantos
intentos que se hagan, esto quiere decir que el conjunto es vaco.
1.9. OPERACIONES ENTRE CONJUNTOS.
Para la lgica matemtica es aplicable las operaciones entre conjuntos se encuentra

definida como un algebra de conjuntos, las operaciones entre conjuntos son las siguientes:
1.9.1. UNIN ENTRE CONJUNTOS:

La unin entre conjuntos da como resultado la unin de todos los elementos de los
conjuntos sin repetir ninguno de los elementos.
A= {1, -2, 2, 3, 4} B= {-2, 6, 7, 8}
AuB= {1, -2, 2, 3, 4, 6, 7, 8}
Se puede analizar que el elemento -2 se encuentra en los dos conjuntos y por lo tanto al
crearse el nuevo conjunto AuB no se repite el valor.
1.9.2. INTERSECCIN DE CONJUNTOS
Esta operacin genera un nuevo conjunto que contiene elementos comunes entre los
conjuntos a operar.
A= {1, -2, 2, 3, 4} B= {-2, 6, 7, 8}
AnB = {-2}
El nuevo conjunto evidencia que el elemento -2 se encuentra en ambos elementos.
1.9.3. DIFERENCIA DE CONJUNTOS:
La diferencia entre conjuntos se trata de evidenciar los elementos que se encuentran en un

conjunto, pero que no estn en el otro:
A= {1, -2, 2, 3, 4} B= {-2, 6, 7, 8}
A-B = {1, 2, 3, 4}
Pero es diferente si se quiere operar B-A, ya que estaramos analizando los elementos que se
encuentran en B pero que no estn en el conjunto A
B-A = {6, 7, 8}
1.9.4. COMPLEMENTO DE CONJUNTO:
El conjunto de complemento es el conjunto que posee los elementos que estn en el

conjunto de referencia o universal.
Definimos un conjunto universal o de referencia U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {1, 3, 6, 10}
El conjunto complemento vendra siendo los elementos que no se encuentran en el conjunto

A, y se haya desde el conjunto de referencia.
A = {2, 4, 5, 7, 8, 9}
1.10. DIAGRAMAS DE VENN EULER.
El diagrama de Venn-Euler se utiliza para representar grficamente el universo de un

conjunto de elementos y tambin los subconjuntos, de igual manera es muy fcil representar
las operaciones entre conjuntos de una manera grfica lo cual ayuda a identificar con mayor
facilidad los elementos pertenecientes a dichos universos o sub conjuntos, el universo se
representa por medio de un rectngulo y los subconjuntos de este universo se representan por
medio de crculos.
Figura 1.1. Diagrama venn.
Fuente: Autor.
Ejemplo:
Sean los sub conjuntos A y B de del universo U como se especifica a
continuacin:
A = {2, 3, 4} B = {4, 5, 6, 7} U= {2, 3, 4, 5, 6, 7, 8, 9, 10}
Figura 1.2. Ejemplo de conjuntos.
Fuente: Autor.

DIAGRAMAS:
1.11.1. DIAGRAMA DE UNIN
Para la construccin de un diagrama de Venn en funcin de la operacin unin de

conjunto, se procede a sombrear todos los elementos de ambos conjunto como se expresa a
continuacin:
Figura 1.3: Unin.
Fuente: Autor.
1.11.2. DIAGRAMA DE INTERSECCIN:
En la interseccin de conjuntos se involucran en la interseccin de los dos conjuntos los

elementos que tienen en comn los dos conjuntos.
Figura 1.4. Interseccin
Fuente: Autor.
1.11.3. DIAGRAMA DE DIFERENCIA
Para Representar la Diferencia de A-B se sombrean nicamente los elementos que estn
en A pero que no se encuentran en B.
Figura 1.5: Diferencia A-B
Fuente: Autor.
Para Representar la Diferencia de B-A se sombrean nicamente los elementos que estn
en A pero que no se encuentran en A.
Figura 1.6: Diferencia B-A
Fuente: Autor.
1.11.4. DIAGRAMA DE COMPLEMENTO
Para hacer el diagrama de complemento de A, se procede a sombrear los elementos que

no estn en A y que faltan para contener el conjunto U.
Figura 1.7: Complemento A.
Fuente: Autor.
1.12. RELACIONES Y FUNCIONES.
Muchos de los elementos se encuentran relacionados de alguna manera con otros

elementos de un mismo conjunto, a esto tambin le podemos llamar correspondencia, por
ejemplo:
Los artculos de un inventario se encuentran relacionados con un

cdigo.
Las personas se encuentran relacionadas con un numero de cedula.
La relacin Asocia elementos de un mismo conjunto o relaciona los elementos de un conjunto

con otro determinado conjunto, por lo tanto la relacin es un conjunto de pares ordenados
donde (a, b) nos indica la relacin que tiene el elemento a con el elemento b.
Las funciones son restricciones donde se aclara que un valor del Dominio solo le
corresponder un solo valor del Rango.
Sean dos conjuntos A y B que hacen par ordenado una relacin es cualquier producto
cartesiano A x B.
Encontrar tres relaciones definidas de A en B:
A = {2, 3} y B = {1, 4, 5}
A x B = { (2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5) }
Y cada uno de los siguientes conjuntos corresponde a relaciones definidas de A en B:
R1 = {(x, y) / y = 1}. Nos indica la funcin que el trmino de la y debe ser

igual a 1
R1 = { ( 2, 1 ), ( 3, 1 ) }
R2 = {(x, y) / x < y}. Nos indica que el termino de y debe ser mayor que el
termino de x
R2 = { ( 2, 4 ), ( 2, 5 ), ( 3, 4 ), ( 3, 5 ) }
R3 = {(x, y) / y = x + 2. Nos indica que el termino y debe ser 2 unidades

mayor que el de x
R3 = { ( 2, 4 ), ( 3, 5 ) }
Ejemplo:
W = { 1, 3 } y D = { 2, 3, 6 }
T = { ( x, y ) / x + y = 3 }
W x T = { ( 1, 2 ), ( 1, 3 ), ( 1, 6 ), ( 3, 2 ), ( 3, 3 ), ( 3, 6 ) }
La relacin cumple con la condicin que la suma de los pares debe ser igual a 3.
R = { ( 1, 2 ), ( 3, 6 ) }
1.13. REPRESENTACIN GRFICA DE LAS RELACIONES.
Los pares ordenados se pueden representar grficamente por medio de diagramas

sagitales o por medio de puntos en el plano cartesiano. Esto describe la relacin que existe
entre dos variable. Profesor en lnea (2012).
Ejemplo:
Si A = {1, 2, 3, 4, 5} y B = {1, 3, 5, 7, 9} y R la relacin definida por

la regla
R = {(x, y) / y = 2x + 1}, graficar R.
Solucin
Los pares ordenados que pertenecen a la relacin (que cumplen con y = 2x +

1) son:
R = {(1, 3), (2, 5), (3, 7), (4, 9)}
Y la grfica correspondiente es la siguiente:

Figura 1.8: Diagrama Relaciones y funciones.
Fuente: profesor en lnea, Relaciones y Funciones.
PRODUCTO CARTESIANO
Dados dos conjuntos A Y B, el producto cartesiano de dos conjuntos denotado con A X
B, es un conjunto de pares ordenados, el cual est formado por todos los pares ordenados
posibles en los que el primer elemento del par pertenece a A y el segundo elemento pertenece
a B (De la fuente, 2011,P.28)
La representacin graficas de los pares ordenados de ambos conjuntos.
(De la fuente 2011), propone el siguiente ejemplo:

Sean dos conjuntos A = {1, 2, 3} y B = {a, b}. Podemos representar el producto cartesiano
de dos conjuntos de las siguientes maneras (para ms de dos conjuntos se describirn ms
adelante los diagramas de rbol que son ms legibles que las coordenadas, tablas o los
diagramas de Venn:
En forma textual, en extensin:
AxB = { ( 1, a ) ( 1, b ) ( 2, a ) ( 2, b ) ( 3, a ) ( 3, b ) }
En forma Textual:
AxB= {(numero, letra) / numero A, letra B}
Plano Cartesiano:
Figura 1.9. Plano cartesiano
Fuente: De la fuente, Matemtica Discreta.
Figura 1.10 Producto cartesiano diagrama de Venn.
Fuente: Fuente J. Matemtica Discreta
Por lo tanto es posible la representacin de estas relaciones en las explicadas

anteriormente.
1.14. FUNCIONES
Una funcin son reglas que asocian elementos de los conjuntos por lo tanto un elemento
del primer conjunto se relaciona con uno y solo un elemento del segundo conjunto por lo
tanto un elemento a travs de la funcin puede convertirse solamente en el otro elemento no
es varios elementos.
Una funcin f del conjunto A al conjunto B es un subconjunto del producto cartesiano AB

en el que no hay dos parejas que tengan el mismo primer elemento. El conjunto A se llama
inicial, y el conjunto B, final y se denotan con el smbolo f: A B (Prez, P.67).
Ejemplo:
Sea A = {a, b, c} y consideremos los subconjuntos de A A, f = {(a, a), (b,
b), (b, c)}, g = {(a, b), (b, c), (c, a)}, h = {(a, a), (b, a)}. Los tres conjuntos son
relaciones en A, pero f no es una funcin porque el elemento b aparece como
primer elemento en dos parejas. Sin embargo, g y h si son funciones. (Prez,
P.68).
1.15. APLICACIN DE CONJUNTOS A PROBLEMAS.
En las diapositivas de la magister Ochoa (2011), de la universidad de Mayagez, Puerto

rico se referencia el siguiente ejemplo:
En una encuesta a los estudiantes de razonamiento matemtico, acerca de sus preferencias en

el uso de las redes sociales se obtuvieron los siguientes resultados:
55 prefieren Facebook.
60 prefieren Twitter.
20 usan ambos.
10 no prefieren ninguno de los dos.
Usa el diagrama de Venn para responder las siguientes Preguntas:
Cuantos estudiantes prefieren nicamente Facebook?

Cuantos estudiantes prefieren nicamente twitter?
Cuantos estudiantes usan al menos uno de los dos?
Cuantos estudiantes fueron encuestados?
La encuesta es acerca de las preferencias de uso de las redes sociales, las cuales
lo conforman Facebook y twitter; por lo que tenemos dos conjuntos.
Sean los conjuntos:
F = el conjunto de estudiantes que prefieren Facebook.

T = el conjunto de estudiantes que prefieren twitter.
Adems tenemos el conjunto:
F \ T = en conjunto de estudiantes que prefieren ambos.
De los datos del problema tenemos:

(F) = 55.
(T) = 60.
(F \ T) = 20.
Estrategia: Empieza siempre por las intersecciones de todos

los conjuntos. As:
(F \ T) = 20
Figura 1.11. Diagrama de conjuntos.
Fuente: Ysela Ochoa Tapia. Conceptos Bsicos de teora de conjuntos.
Para el conjunto F: como dentro del circulo de F tenemos 20 elementos y el

(F) = 55, > Cuanto le falta a 20 para llegar a 55?.
Figura 1.12 Diagrama de conjuntos.
Fuente: Ysela Ochoa Tapia, Conceptos Bsicos de teora de conjuntos.
Para el conjunto T: repite el proceso anterior, > Cuanto le falta a 20 para llegar
a 60? Ubica la respuesta como indica la grfica.
Figura 1.13 Ejemplo diagrama de conjuntos.
Finalmente ubicamos el dato que nos falta \10 no prefieren ninguno
Figura 1.14 Diagrama de conjuntos
Cuantos estudiantes prefieren nicamente Facebook? Respuesta: 35

Cuantos estudiantes prefieren nicamente twitter? Respuesta: 40
Cuantos estudiantes usan al menos uno de los dos?
Respuesta:35+20+40 = 95
Cuantos estudiantes fueron encuestados? Respuesta: 105.
1.16. ACTIVIDADES PROPUESTAS:
Sean los siguientes conjuntos A = {1, 2}, B = {3, 4}, C = {A, B}. Determinar
si cada una de las siguientes proposiciones es verdadera o falsa.
a) 1 A.
b) 1 B.
c) 1 C.
d) {1, 2} A.
e) {1, 2} B.
f) {1, 2} C.
g) {1, 2} A.
h) {1, 2} B.
i) {1, 2} C.
j) {1, 2, 3, 4} = C
UNIDAD 2: LGICA PROPOSICIONAL

TABLA DE CONTENIDO
Pg.
2 UNIDAD 2 LGICA PROPOSICIONAL .............................................................. 44
2.1 OBJETIVOS .............................................................................................................. 44
2.3 COMPETENCIAS ....................................................................................................... 44
2.5 LGICA PROPOSICIONAL LENGUAJE NATURAL Y SIMBLICO. ........... 46

2.5.1 PROPOSICIONES SIMPLES Y COMPUESTAS. .............................................. 47
2.6 REGLAS DE SINTAXIS. ...................................................................................... 47
2.7 CONECTIVOS LGICOS. ................................................................................... 48
2.8 TABLAS DE VERDAD. ....................................................................................... 50
2.9 INFERENCIA LGICA. ....................................................................................... 52
2.10 TAUTOLOGA. .................................................................................................... 54
2.10.1 Contradicciones .............................................................................................. 54
2.10.2 Contingencia................................................................................................... 55
2.11 LEYES DE LA IMPLICACIN. ........................................................................... 56
2.11.1 LEY MODUS PONENS. ................................................................................. 56
2.11.2 LEY MODUS TOLLENS................................................................................. 56
2.11.3 LEY DEL SILOGISMO DISYUNTIVO. .......................................................... 57
2.11.4 LEY DEL SILOGISMO HIPOTTICO........................................................... 57
2.11.5 LEY DE LA CONJUNCIN ........................................................................... 58
2.11.6 LEY DE LA ADICIN. ................................................................................... 58
2.11.7 LEY DE LA SIMPLIFICACIN ..................................................................... 58
LEY DEL DILEMA CONSTRUCTIVO. ........................................................................ 59
2.11.8 LEY DEL DILEMA DESTRUCTIVO.............................................................. 59
2.11.9 LEY DEL ABSURDO. ..................................................................................... 60
2.12 LEYES DE EQUIVALENCIA LGICA. ....... ERROR! BOOKMARK NOT DEFINED.
2.12.1 LEY DE LA DOBLE NEGACIN. ................................................................. 60
2.12.2 LEY DE IDEMPOTENCIA ............................................................................. 61
2.13 LEYES CONMUTATIVAS .................................................................................. 61

2.14 LEYES ASOCIATIVA .......................................................................................... 61
2.15 LEYES DISTRIBUTIVAS. ................................................................................... 62
2.16 LEYES DE IDENTIDAD. ..................................................................................... 62
2.17 LEYES DE MORGAN. ......................................................................................... 62
2.18 LEYES DE ABSORCIN. .................................................................................... 63
2.19 LEYES DEL CONDICIONAL. ............................................................................. 63
2.20 LEYES DEL BICONDICIONAL .......................................................................... 63
2.21 LEYES DE CONTRAPOSICIN ......................................................................... 64
2.22 LEYES DE EXPORTACIN ................................................................................ 64
2 UNIDAD 2 LGICA PROPOSICIONAL
2.1 Objetivos
Conocer y comprender los conceptos generales sobre la lgica proposicional
2.2 Objetivos Especficos
Aplicar la teora de la lgica proposicional en la prctica.
2.3 Competencias
Desarrollar habilidades y destrezas que le permitan, mediante el razonamiento, el

anlisis y la interpretacin de variables lgicas matemticas.
Estimula la creatividad mediante la realizacin de proyectos basados en situaciones
reales en un ambiente de cooperativismo.
2.4 Estrategias pedaggicas o actividades de aprendizaje
Para cumplir el objetivo general de lgica matemtica el presente modulo se diseara con
la siguiente metodologa:
Clases virtuales
Se llevarn a cabo en el aula virtual, y sern del profesor con apoyo de las TICs y
ayudas computacionales tales como plataforma moodle ( SPLAVIA), las cuales podrn
tener acceso los estudiantes das antes de la clase con el objetivo de que el estudiante se
vea envuelto en el nuevo proceso, active sus conocimientos y los enfrente con los que
tena y los que tendr al salir de clase. Se impartirn tambin en el aula virtual, y en ellas
se resolvern problemas cuyos enunciados se habrn proporcionado previamente a los
alumnos, para su resolucin. Aunque habitualmente estas clases tendrn lugar una vez
explicada la parte de teora del tema. En determinadas ocasiones se requerir la resolucin
y explicacin a sus compaeros por parte de algn alumno va webinar o
videoconferencias.
2.5 Recursos de aprendizaje

2.5.1. Fsicos
Computador
Mdulo de Algebra.
Tecnolgicos
Audiovisuales
1 Video beam
1 Retroproyector.
Telecomunicaciones
2.6 LGICA PROPOSICIONAL LENGUAJE NATURAL Y SIMBLICO.
Es el estudio de las relaciones de las palabras y las cosas ya que en cierta medida el
lenguaje es el reflejo de la realidad, la lgica simblica es una notacin matemtica para
establecer los que reflejan los signos y lo hace de una forma ms clara y precisa que el
lenguaje, por lo tanto el hombre no solamente utiliza el lenguaje sino que tambin los
animales para comunicar ciertas cosas, los hombres han creados diferentes tipos de lenguajes
los cuales se transmiten por medio de signos los cuales pueden ser gritos, seas, palabras,
humo, combinacin de colores pero a travs de los aos el hombre ha tratado de estandarizar
su lenguaje ya que por ser un lenguaje natural una palabra puede tomar diferentes
significados, por eso es tan importante el lenguaje simblico por lo que se busca la sencillez,
la claridad, la exactitud, es ms preciso denotar una afirmacin con smbolos.
Ahora haremos un ejemplo para saber cmo convertir de un lenguaje natural a un lenguaje
simblico:
El carro es viejo si tiene 15 aos, y es plateado si el dueo es Jorge
Del enunciado anterior debemos identificar en primer lugar las proposiciones
P: el carro es viejo.
Q: el carro tiene 15 aos.
R: el carro es plateado.
S: el dueo es Jorge.
Y a continuacin lo traducimos en lenguaje simblico
QPSR
PROPOSICIONES SIMPLES Y COMPUESTAS.
Las proposiciones son oraciones con afirmaciones o negaciones pero solo puede ser una
de las dos a la vez Las proposiciones simples son aquellas que no tienen oraciones
componentes afectadas por negaciones o trminos de enlace como conjunciones,
disyunciones, pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no
entre oraciones.
Carmen es mi madre.
Cartagena es calurosa.
El real Cartagena est en la B.
El cielo es azul.
Las proposiciones compuestas se encuentran afectadas por una negacin o trminos de

enlace entre oraciones componentes.
Mi cumpleaos es el 24 de enero o el 24 de febrero. Disyuncin

Mi nombre es miguel y soy de Colombia. conjuncin
Te dar un premio si y solo si tienes buenas notas. Bicondicional o implicacin
Colombia est en Amrica y Espaa en Europa. Conjuncin.
2.7 REGLAS DE SINTAXIS.
Nacira (2011) afirma que: La definicin formal de un lenguaje requiere la especificacin

de su alfabeto y de sus reglas de sintaxis.
Alfabeto: los smbolos que se utilizan son
a. Smbolos de proposiciones: p, q, r, s, t, u, v.
b. Smbolos de conectivos: , , , , .
c. Smbolos de parntesis: { [ ( ) ] }.
1) Las frmulas bien construidas del lenguaje proposicional se definen de la siguiente

manera:
a. Las letras p, q, r, s, t, u, v son proposiciones.
b. Si p y q son tambin lo son p y q c. Slo son las que se obtienen de las

definiciones anteriores (a y b)
2) Para la correcta relacin entre proposiciones y conectivos

a. No deben aparecer dos conectivos adyacentes, excepto en la negacin.
b. Es preciso definir la relacin conectivo-proposicin cuando hay ms de un conectivo
en la frmula. (p.6)
Un conectivo pertenece a la proposicin inmediata o al conjunto de proposiciones

encerradas en un parntesis, corchete o llaves.
Para evitar exceso de parntesis, se define una jerarqua de prioridades entre

conectivos:
Nivel 1: negacin.
Nivel 2: conjuncin y disyuncin.
Nivel 3: implicacin y bicondicional.
2.8 CONECTIVOS LGICOS.
Los conectivos lgicos son elementos del lenguaje matemtico que nos permitir construir
nuevas frases aparte de las existentes como resultado un nuevo significado. Estos smbolos
nos permiten conectar 2 formulas bien estructuradas de manera que sea posible conocer el
valor verdad.
Ejemplos:
Est lloviendo y estoy dentro de casa (P Q).
Est lloviendo o estoy dentro de casa (P Q).
Si est lloviendo, entonces estoy en casa. (P Q).
Si estoy en casa, entonces est lloviendo. (P Q).
Estoy dentro si y solo si est lloviendo (P Q)..
No est lloviendo ( P).
Tabla 2.1 Conectivos lgicos.
Conectivo Smbolo Expresin

no p
Negacin p no ocurre que p
no es cierto que p
pyq
Conjuncin
pq p aunque q
"y"
p pero q
p o q o ambos
Disyuncin
pq o bien p o bien q
"o"
como mnimo p o q
si p entonces q
solo si p entonces q
Condicional pq
p es suficiente para
q
p si y solo si q
Bicondicional p q p necesario y
suficiente para q
Fuente: Autor
2.9 TABLAS DE VERDAD.
Las tablas de verdad se fundamentan en los conectivos lgicos a travs de su interpretacin

por lo cual podemos resolver problemas.
Notacin:
Verdad= 1 Falso= 0
a) lgica del opuesto
P y q de tal forma que p es opuesto de q
Tabla 2.2 lgica del opuesto.
P p
1 0
0 1
Fuente: Autor.
b) lgica del conjuntor.
Sea p q ser:
Tabla 2.3 Lgica del conjuntor.

P Q pq
1 1 1
1 0 0
0 1 0
0 0 0
Fuente: Autor.
Por la lgica anterior podemos definir que es necesario que tanto p y q sean verdaderos para
que el enunciado sea verdadero.
c) lgica del disyuntor

Sea p q ser:
Tabla 2.4 Lgica del disyuntor.
P Q pq
1 1 1
1 0 1
0 1 0
0 0 1
Fuente: Autor.
Por la lgica anterior nos indica que a no ser que todos los argumentos sean falsos el
argumento ser verdadero.
d) lgica del condicional

Sea p q ser:
Tabla 2.5 Lgica del condicional
P Q pq
1 1 1
1 0 0
0 1 1
0 0 1
Fuente: Autor.
Si el antecedente p es V y la consecuencia q es F entonces el resultado ser F.
e) lgica del bicondicional

Sea p q ser:
Tabla 2.6. Lgica del bicondicional

P Q pq
1 1 1
1 0 0
0 1 0
0 0 1
Fuente: Autor
Lo que dice p es una condicin absoluta para que suceda q tanto p y q deben ser verdadera o
falsas para que sea verdadero el enunciado.
2.10 INFERENCIA LGICA.
La inferencia lgica es un razonamiento formal que se analiza desde la relacin de las

premisas existentes y se basa en el precedente como fundamento para una conclusin final,
de igual forma la mente establece la evaluacin lgica de los conceptos que nos permitirn
llegar claramente a la conclusin.
Tiene la forma: (P1 P2 .Pk) q donde las p son las premisas que originan una
conclusin q.
Ejemplo:
P1: El acusado estuvo en el lugar del asesinato.
P2: La prueba de absorcin atmica demuestra que el acusado realizo el disparo.
Q: el acusado es culpable.
Ejemplo:
P1: si gano las elecciones bajare el precio de los combustibles.
P2: bajare el precio de los combustibles si los electores votan por m.
P3: los electores no votaron por m.
q: por tanto no bajare el precio de los combustibles.
Expresando simbolgicamente: (p1 p2 P3) q
P1: p q
P2: r q
P3: r
Q:q
Expresndolo de modo horizontal que representa (p1 p2 P3) q:
[(p q) (r q) r] q
Esta inferencia lgica se va a validar con tablas de verdad como se muestra a continuacin.
Tabla de verdad
Para desarrollar esta tabla de verdad es importante tener en cuenta las reglas de los conectivos
lgicos y la operacin entre las premisas, primero se validan las premisas.
Tabla 2.7 desarrollo ejemplo Inferencia lgica.
p Q r [(p q) (r q) r] q
V V V V V V V V V V F F V F
V V F V V V V F V V V V F F
V F V V F F F V F F F F V V
V F F V F F F F V F F V V V
F V V F V V V V V V F F V F
F V F F V V V F V V V V F F
F F V F V F F V F F F F V V
F F F F V F V F V F V V V V
Fuente: Autor.
La columna azul nos muestra que existen valores falsos y verdaderos por lo tanto es una
contingencia y se puede concluir que la inferencia o el argumento no es vlido.
2.11 TAUTOLOGA.
La tautologa son identidades lgicas que todas las asignaciones tienen un valor verdadero
por lo cual resulta verdadero para cualquier interpretacin, la formulacin de una tabla de
verdad es la forma ms fcil de evidenciar si es tautolgica o no.
Ejemplo:
(P q) (q p)
Tabla de verdad
Tabla 2.8 Desarrollo ejemplo de Tautologa.
Q P pq qp (P q) (q p )
V V V V V
V F F F V
F V F F V
F F F F V
Fuente: Autor.
Podemos ver que como resultante todas son verdaderas y por lo tanto es una tautologa.
Contradicciones
Una contradiccin se da cuando todos los valores resultantes de la tabla de verdad son falsos.
Ejemplo:
(P q) (p q )
Tabla de Verdad
Tabla 2.9 Desarrollo ejemplo contradicciones.
P Q p q (P q) (p q ) (P q) (p q )
V V F F V F F
V F F V F F F
F V V F F F F
F F V V F V F
Fuente: Autor.
Todas las resultantes de la tabla de verdad dan como resultado Falso por lo tanto se puede
decir que el resultado es una contradiccin.
Contingencia.
Ocurre cuando la equivalencia de las proposiciones es verdadera y falsa al mismo tiempo,
es una combinacin de tautologa y contradiccin.
Ejemplo:
Sea p q
Tabla 2.10 desarrollo tabla de verdad ejemplo de contingencia

P q p pq
V V F V
V F F F
F V V V
F F V V
Fuente: propia
Como se evidencia el resultante nos arroja resultados falsos y verdaderos a esto le

denominamos contingencia ya que existe contradicciones y tautologas.
2.12 LEYES DE LA IMPLICACIN.
2.12.1 LEY MODUS PONENS.

Esta ley nos indica que de acuerdo a la primera proposicin, se cumplir la otra proposicin.
PQ
P
/.. Q
Ejemplo:
Si juego futbol, entonces adelgazo

juego futbol
entonces adelgazo
2.12.2 LEY MODUS TOLLENS.

La ley tollendo tollens nos indica que la primera proposicin consiste una condicin, si P
entonces Q, pero despus niega la resultante y entonces P es falsa.
PQ
/.. P
Ejemplo:
si le dices la verdad entonces saldrs del problema.
No saldrs del problema.
Entonces No dices la verdad.

2.12.3 LEY DEL SILOGISMO DISYUNTIVO.

Esta ley consiste en el conectivo lgico disyuntivo como nos indica el subttulo por lo
tanto indica que sucede P o Q y luego Nos indica que P es falsa por lo tanto sucede que Q es
verdadera, esto se puede aplicar inversamente.
PvQ
P
/.. Q
O bien
PvQ
Q
/.. P
Ejemplo:
Camilo es cantante o es ingeniero
Camilo no es ingeniero.
Entonces Camilo es cantante
2.12.4 LEY DEL SILOGISMO HIPOTTICO.

Esta ley nos indica que si ocurre P entonces ocurrir Q pero debe ser cierta Q para que
tambin ocurra R, para que R sea cierta P debe ser cierta.
PQ
QR
/.. P R
Ejemplo:
Si x es un nmero real tal que x2 + x - 30 = 0, entonces (x 5) (x + 6) = 0
Si (x 5) (x + 6) = 0, entonces x = 5 y x = - 6
2.12.5 LEY DE LA CONJUNCIN

La ley de conjuncin expresa que pueden haber dos preposiciones sueltas y con la ayuda
de la conjuncin las dos proposiciones se pueden unir, y as logrando expresa las dos
proposiciones en una sola frase.
P
Q
/.. P ^ Q
Ejemplo:
Eliecer juega microftbol.
A Eliecer le gusta bailar
Entonces: Eliecer juega futbol y le gusta bailar.
2.12.6 LEY DE LA ADICIN.

La ley de adicin expresa que puede ser cierta una proposicin pero que tambin se le puede
agregar otra proposicin con el conectivo lgico.
P
/.. P v Q
Ejemplo:
Carmen estuvo cocinando. Entonces estuvo cocinando o estaba en la calle.
2.12.7 LEY DE LA SIMPLIFICACIN

La ley de la simplificacin expresa que pueden haber dos proposiciones unidas con un
conectivo lgico pero se puede simplificar a una sola proposicin siendo cualquiera de las
dos P o Q.
P^Q
/.. P
O bien
P^Q
/.. Q
Ejemplo:
Bogot es la capital de Colombia y new york la capital de USA
Por lo tanto Bogot es capital de Colombia.
2.12.8 LEY DEL DILEMA CONSTRUCTIVO.

El dilema constructivo expresa dos proposiciones condicionales y que su segunda
proposicin nos indica la disyuncin de las anteriores proposiciones y por lo tanto la
resultante de las dos condicionales
[(P Q), (R S)]
(P v R)
/.. (Q v S)
Ejemplo:
Carlos es torero y por tanto va a la corrida, adems Carlos es comerciante por lo tanto se
dedica a la comercio.
Carlos es torero o es comerciante.
Entonces va a la corrida o al comercio.
2.12.9 LEY DEL DILEMA DESTRUCTIVO.

La ley del dilema destructivo nos indica las condicionales de las dos primeras
proposiciones, despus las resultantes de las dos primeras proposiciones son falsas por medio
de una disyuncin y al final nos indica que los antecedentes P y R tambin son falsos.
[(P Q), (R S)]
Q v S
/.. P v R
Ejemplo:
Carlos es ingeniero de sistema entonces se dedica a los software adems Carlos es polica
entonces se dedica a la vigilancia. Carlos no se dedica a los software o no se dedica a la
vigilancia por lo tanto Carlos no es Ingeniero o no es Polica.
2.12.10LEY DEL ABSURDO.
a) [p (q ^ ~q)] ~ p
- Carlos es publicista entonces estudio publicidad adems es mentira que haya estudiado
publicidad. Por lo tanto Carlos no es publicista.
b) [~ p (q ^ ~ q)] p
- Lucho no es comunicador entonces estudio CC.CC sin embargo es mentira que haya
estudiado CC.CC. Por lo tanto Lucho es comunicador.
2.13 LEYES DE EQUIVALENCIA LGICA.
2.13.1 LEY DE LA DOBLE NEGACIN.

La doble negacin niega una proposicin doblemente lo cual indica que la proposicin
es verdadera proporcionalmente.
P (P)
Ejemplo:
No es cierto que no gano el real Cartagena
Gano el Real Cartagena.

2.13.2 LEY DE IDEMPOTENCIA

pvpp
-Manuel es un catedrtico en la universidad nacional de Chiclayo o Manuel es un docente en
la universidad Pedro Ruiz Gallo.
-Estados Unidos es un pas altamente poderoso sobre nivel de los pases marginales o Estados
Unidos es un pas con hegemona sobre los pases tercer mundistas.
2.14 LEYES CONMUTATIVAS

La ley conmutativa expresa la bicondicionalidad de dos proposiciones y se puede aplicar
con los conectivos lgicos de disyuncin o conjuncin.
(P ^ Q) (Q ^ P)
Ejemplo:
Maana es jueves y es festivo
(P v Q) (Q v P)
Ejemplo:
Carmen har la comida para la tarde o Carmen har la comida para la noche
LEYES ASOCIATIVA
La ley de asociacin busca conectar diferentes premisas a travs de los conectivos lgicos
dando como resultante la misma expresin pero de diferente orden, es importante que ambos
lleven el mismo conector lgico.
[(P v Q) v R] [P v (Q v R)]
O bien:
[(P ^ Q) ^ R] [P ^ (Q ^ R)]
Ejemplo:
Sandro es bailarn no obstante estudia Artes. Aunque tambin conduce carros

-Manuel es bailarn. No obstante estudia Artes aunque tambin Conduce carros
2.15 LEYES DISTRIBUTIVAS.

La ley de distribucin es lo contrario a la de asociacin ya que tiene diferentes conectivos
lgicos. Distribuye de forma diferente las preposiciones.
[(P v Q) ^ R] [(P ^ R) v (Q ^ R)
[(P ^ Q) v R)] [(P v R) ^ (Q v R)
Ejemplo:
Si Julio es un Ingeniero Industrial entonces puede ser un Administrador o un Gerente.

Si Julio es Ingeniero Industrial entonces se dedica a la administrar o si Julio es comunicador
entonces se dedica a gerenciar.
2.16 LEYES DE IDENTIDAD.

p^Vp
Santa Rosa de Lima es una santa muy conocida adems es la patrona de la polica
nacional.
p^Vp
Los alumnos de la escuela de Ciencias de la Comunicacin de la USS llevan 5 cursos
acreditables adems lgica es que tiene ms crditos.
2.17 LEYES DE MORGAN.
La ley de Morgan a partir de una proposicin negada se puede obtener como resultado una
negacin independiente de cada premisa.
[( P ^ Q)] (P v Q)
o bien
[(P v Q)] (P ^ Q)
Ejemplo:
No es cierto que la ciudad de Cartagena sea limpia y ordenada.
- La ciudad de Cartagena no es limpia o no es ordenada.

2.18 LEYES DE ABSORCIN.
p ^ (~ p v q) p ^ q
- Roberto estudia computacin. Roberto no estudia computacin a menos que estudie ingls.
- Roberto estudia computacin y estudia ingls.
p ^ (p v q) p
- A Manuel le gustan las matemticas. A Manuel le gustan las matemticas a menos que le
gusten las letras.
- A Manuel le gustan las matemticas.
2.19 LEYES DEL CONDICIONAL.

pq~pvq
- Julio juega ftbol entonces es deportista.
- Julio no juega ftbol excepto que sea deportista.
~(pq)p^~q
- No es cierto que Juan estudia para el examen por tanto desaprobara el examen.
- Juan estudia para el examen y no desaprobara el examen.
2.20 LEYES DEL BICONDICIONAL

p q (p q) ^ (q p)
- Diego ganara la copa siempre y cuando entrene mucho

- Diego ganara la copa entonces entrena mucho. Diego entrena mucho entonces ganar la
copa.
p q ( p ^ q) v (~ p ^~ q ) ~ ( p q )
- Antonio ganara el concurso siempre y cuando se prepare con ahnco.

- Antonio ganara el concurso pero se prepara con ahnco. O Antonio no gana el concurso y a
la vez no se prepara con ahnco
- Es falso que o bien Antonio gana el concurso o bien se prepar con ahnco.
2.21 LEYES DE CONTRAPOSICIN
p~q~p
- Pedro es estudioso entonces es buen alumno.
- Pedro no es estudioso entonces no es buen alumno.
pq~q~p
- Si Jos estudia en la USS es condicin necesaria y suficiente para que sea un profesional
con xito
- Jos no ser un profesional con xito si solo si no estudia en la USS.
2.22 LEYES DE EXPORTACIN

La ley de exportacin busca cambiar las condiciones respecto a un conectivo lgico de
conjuncin y los agrupa de manera consecutiva en forma de precedencia.
[(P ^ Q) R] [P (Q R)]
Ejemplo:
Jaime es un gran contador y trabaja en la Dian por lo tanto le va bien.
- Jaime es un gran contador por consiguiente trabaja en la Dian entonces le va bien.

UNIDAD 3: LGICA EN OPERACIONES

M AT E M T I C A S
TABLA DE CONTENIDO
Pg.
UNIDAD 3 LGICA EN OPERACIONES MATEMTICAS ................................... 67

3.1 OBJETIVOS .............................................................................................................. 67
3.3 COMPETENCIAS ....................................................................................................... 67
3.5 LGICA EN OPERACIONES MATEMTICAS. ............................................... 70

3.6 JERARQUIZACIN DE OPERACIONES MATEMTICAS. ........................... 71
3.7 OPERACIONES MATEMTICAS CON SIGNOS DE AGRUPACIN. ........... 72
3.8 EJERCICIOS PROPUESTOS. .............................................................................. 74
FACULTAD DISEO E INGENIERIA
[NOMBRE DEL PROGRAMA] Versin: 1
3 UNIDAD 3 LGICA EN OPERACIONES MATEMTICAS
3.1 Objetivos
Conocer y comprender los conceptos generales sobre la teora de conjuntos.

Axiomatizar las teoras matemticas, con apoyo en las demostraciones matemticas.
3.2 Objetivos Especficos
Aplicar operaciones matemticas con signos de agrupacin.

Comprender la jerarquizacin de operaciones matemticas.
3.3 Competencias
Desarrollar habilidades y destrezas que le permitan, mediante el razonamiento, el

anlisis y la interpretacin de variables lgicas matemticas.
Estimula la creatividad mediante la realizacin de proyectos basados en situaciones
reales en un ambiente de cooperativismo.
3.4 Estrategias pedaggicas o actividades de aprendizaje
Para cumplir el objetivo general de lgica matemtica el presente modulo se diseara con
la siguiente metodologa:
Clases virtuales
Se llevarn a cabo en el aula virtual, y sern del profesor con apoyo de las TICs y
ayudas computacionales tales como plataforma moodle ( SPLAVIA), las cuales podrn
tener acceso los estudiantes das antes de la clase con el objetivo de que el estudiante se
vea envuelto en el nuevo proceso, active sus conocimientos y los enfrente con los que
tena y los que tendr al salir de clase.

enunciados se habrn proporcionado previamente a los alumnos, para su resolucin.
Aunque habitualmente estas clases tendrn lugar una vez explicada la parte de teora del
tema.
En determinadas ocasiones se requerir la resolucin y explicacin a sus compaeros por

parte de algn alumno va webinar o videoconferencias.
3.5 RECURSOS DE APRENDIZAJE
3.5.1. FSICOS
Computador
Mdulo de Algebra.
Tecnolgicos
Audiovisuales
1 Video beam
1 Retroproyector.
Telecomunicaciones
3.6 LGICA EN OPERACIONES MATEMTICAS.
La lgica en operaciones matemticas proporciona reglas y tcnicas que nos ayudan a

determinar si es vlido o no un argumento dentro de un determinado sistema, la lgica en las
operaciones matemticas trata de axiomatizar las teoras matemticas, con apoyo en las
demostraciones matemticas.
"La lgica, dado el mal uso que de ella se hace, vale ms para
estabilizar y perpetuar los errores cimentados sobre el terreno de las
ideas vulgares, que para conducir al descubrimiento de la verdad".
(Bacon, 1992, pg. 44)
El objetivo de la lgica matemtica es cuestionar con el mayor rigor los conceptos y las
reglas de deduccin utilizados en matemticas, constituyendo la lgica por ello una verdadera
metamatemtica. Una teora matemtica considera objetos definidos (enteros, por ejemplo)
y define leyes que relacionan a estos objetos entre s (los axiomas de la teora). De los
axiomas se deducen nuevas proposiciones (los teoremas), y a veces, nuevos objetos. La
construccin de sistemas formales (formalizacin), piedra angular de la lgica matemtica,
permite eliminar la arbitrariedad en la eleccin de los axiomas y definir explcita y
exhaustivamente las reglas de la deduccin matemtica (lvarez, 2003, p.1.)
lvarez (2003) afirma que durante el periodo de 600 AC hasta 300 AC, en Grecia se
desarrollaron los principios formales de las matemticas. A este periodo se le conoce como
periodo clsico, donde sus principales representantes son Platn, Aristteles y Euclides.
Platn introduce sus ideas o abstracciones; Aristteles presenta el razonamiento deductivo y
sistematizado y Euclides es el personaje que mayor influencia tuvo en los matemticos, al
establecer el mtodo axiomtico. En ''Elementos'', Euclides organiza pruebas deductivas
dentro de una presentacin sistemtica, rigurosa y bien organizada de conocimiento
matemtico. [10]
3.7 JERARQUIZACIN DE OPERACIONES MATEMTICAS.
Para realizar operaciones matemticas es necesario respetar la jerarqua de acuerdo a

los tipos de operando que tengamos en la funcin matemtica como la suma (+), la
resta (-), multiplicacin(x) o divisiones (%), a continuacin listaremos las operaciones
de acuerdo al orden de jerarqua:
Multiplicaciones (x). Se expresa multiplicado por.

Divisiones (%). Se expresa dividido por.
Sumas (+). Se expresa ms.
Restas (-). Se expresa menos.
Cabe resaltar que las operaciones matemticas se operan de izquierda a derecha nunca
lo contrario.
Ejemplo:
1) 2+3x4+5
=2+12+5
=19
Del ejemplo anterior primero multiplicamos 3x4 que es igual a 12 luego nos queda
la expresin 2+12+5 en este punto ya podemos sumar los tres trminos y nos da como
resultado 19, de este modo vemos como se jerarquiza el orden de las operaciones lo
cual nos conllevara a un resultado correcto.
Del ejemplo anterior en caso de que no se respetara la jerarqua de las operaciones se
pudo haber sumado 2+3 =5 y quedara 5x4+5 esto dara como resultado 25 la
respuestas son muy diferentes y por la tanto es errnea ya que no se le dio jerarqua a
los operando involucrados en la funcin.
Ejemplo:
= 20 +12 x 33 - 9 +21 % 2
Primero operamos las multiplicaciones y divisiones que tenemos.
=20 + 396-9+10,5
Ahora sumamos.
=416-9+10,5
=407+10,5
=417,5.
Ejemplo:
30 x 2 4 + 4 8 8 - 5 12 =
Primero operamos las multiplicaciones que tenemos
=60 4 + 32 8 60
Ahora sumamos y restamos
=20
3.8 OPERACIONES MATEMTICAS CON SIGNOS DE AGRUPACIN.
Para cambiar el orden en que se ejecuten las operaciones matemticas los trminos se
pueden agrupar dentro de parntesis (), corchetes [], llaves {} y por lo general cuando
se tienen muchas agrupaciones se resuelve desde adentro hacia afuera.
Los signos de agrupacin nos sirven para organizar el polinomio darle la jerarqua
necesaria para poder resolver adecuadamente estas operaciones.
Ejemplo:
=2 x 10 + {- 25[- 2 + (- 2 + 6 % 3)]}
Vamos a ir resolviendo de adentro hacia afuera y los extremos que no comprometan

el resto de las operacin.
Los signos de agrupacin solo se puede suprimir cuando se est sumando o restando
pero cunado implique operaciones donde existan multiplicaciones o divisiones no se
pueden eliminar los signos de agrupacin ya que ser menos expresivo el orden en
que se deben realizar las operaciones y se puede incurrir en errores.
Ejemplo:
20 + {- 25 [ - 2 + (- 2 + 2 ) ] } =
Se sigue resolviendo desde lo ms interno de los signos de agrupacin.
=20 + {- 25 ( - 2 ) }
Se opera hasta que se elimine los signos de agrupacin hasta lo ms mnimo.
=20 + { 50 }
=70.
Ejemplo:
{ [ 5 ( 24 ) + 8 ] ( 1 ) } + { ( 15 ) 2 }=
= { [ 120 + 8 ] - 1 } + { 30 }
= 128 - 1 + 30
= 127 + 30
= 157.
Ejemplo:
A+ ( b + c )+ 2 a - ( a + b ) =
=a+b+c+2a ab=
=2a+c
Como podemos ver los signos de agrupacin facilitan la operacin de los polinomios,
ya que le da un orden y coherencia al modo de que operaciones realizar primero.
3.9 EJERCICIOS PROPUESTOS.
Reducir las siguientes expresiones aplicando los conceptos de lgica en operaciones

matemticas:
5a +{a-2 [ a + 3b 4 ( a + b ) ] }
2m [ ( m - n )-( m + n ) ]
3x [ x + y ( 2x + y ) ]
{3-2[ 6 ( 5 + 3 ( 2 4 ) + 4 ) 3 ( 2 ( 5 + 1 ) + 3 ) ]+4}
2 { 3 + 5 [ - 2 ( 3 + 5 ) + 6 (-5 + 1 ) + 3 ] + 2 ( 3 1 )} + 2
6+3 {2[3 (45)2(72)+9(3(4+1))] 2}

4 Recursos
4.1 Fsicos
Computador
Mdulo de Algebra.
4.2 Tecnolgicos
4.3 Audiovisuales
1 Video beam
1 Retroproyector.

4.4 Telecomunicaciones
5 Sistema de Evaluacin
Tabla 2: Sistema de Evaluacin

Corte Actividad Porcent Porcenta Temas
aje je Corte
Primer Parcial 50% 1. TEORIA DE
Gua de Aprendizaje: CONJUNTOS
25%
Unidad 1
Primero 30%
Gua de Aprendizaje:
25%
Unidad 2
Total 100%
Primer Parcial 50% 1. LOGICA
Gua de Aprendizaje: PROPOCISIONAL
25%
Unidad 3
Segundo 30%
Gua de Aprendizaje:
25%
Unidad 4
Total 100%
Primer Parcial 50%
Gua de Aprendizaje: 1. LOGICA EN
25%
Unidad 5 OPERACIONES
Tercero 40%
Gua de Aprendizaje: MATEMATICAS
25%
Unidad 6
Total 100%
Total 100%
Autora Propia
6 Cronograma Calendario
Unidades de aprendizaje
Tabla 3: Cronograma Unidades de Aprendizaje
CRONOGRAMA (FECHA INICIO - FECHA FINAL)

Porcentaje Tiempos de
Actividad Entregable (Evidencias que Resultado de
Puntuacin Entrega Fecha
Inicial el Aprendiz entrega) Aprendizaje
Mxima Limite
Gua de Un Documento Word:
Aprendizaj SuApellido_Nombre_unidad Ejercicios
25 Semana 4
e: Unidad 1 1.doc Resueltos

Ejercicios
Aprendizaj SuApellido_Nombre_unidad
Resueltos. 25 Semana 10
e: Unidad 2 2.doc

Aprendizaj SuApellido_Nombre_unidad Ejercicios
25 Semana 15
e: Unidad 3 3.doc Resueltos
7 BIBLIOGRAFA
Grimaldi, R. (1998). Matemtica Discreta y combinatoria. Mxico: Pearson Educacin.
Profesor en lnea. (2012). Funciones y relaciones. Recuperado el 10 de octubre de 2015, del

sitio web: http://funcionesyrelaciones2012.blogspot.com.co/2012/09/representacion-
graficade-las-relaciones.html.
De la fuente, R. (2011). Matemtica Discreta: Conjuntos, combinatoria y grafos.

Recuperado el 12 de octubre de 2015, del sitio web:
http://www.aconute.es/matematicas/documentos/Matematica_discreta_conjuntos_combinat
oria_grafos_c_regis-r.pdf.
Perez, A. Logica, Conjuntos, relaciones y funciones. Recuperado el 12 de octubre de 2015,

del sitio web: http://www.unalmed.edu.co/~cemejia/doc/P1TE5_1.pdf.
Ochoa, Y, Conceptos Bsicos de teora de conjuntos. Recuperado el 20 de octubre de 2015,

del sitio web: http://pegasus.uprm.edu/ysela/mate3086/aplica_conj.pdf.
Guerrero, N. (2011). Matemtica discreta. Mxico: tecnolgico monterrey.
Quiones, G. (2015). Pensamiento Lgico Matemtico. Per: Los Andes.
Torres, K. (27 septiembre de 2006). Leyes de equivalencia y leyes de implicacin.

Recuperado de: http://karl20.blogspot.com.co/.
Alvarez, J. (2003). Breve historia de la logica. Recuperado de:

http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/
Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm.
Mirez, K. T. (2006). LEYES DE EQUIVALENCIA Y LEYES DE IMPLICACION.

8 ENLACES DE INTERS
http://www.emowe.com/inteligencia-logica/
https://matedisunidad3.wordpress.com/tag/logica-proposicional/
http://www.aulafacil.com/cursos/l8572/arte-humanidades/filosofia/filosofia-
facil/logica-matematica-generalidades
www.freelibros.org
http://julioprofe.net/
https://www.youtube.com/watch?v=5wIIDZeCtQ4.
https://www.youtube.com/watch?v=36r0gvpf7u.
http://www.uamenlinea.uam.mx/materiales/matematicas/logica/SOLIS_DAUN_J
ULIO_ERNESTO_Logica_Matematica.pdf.
9 TIEMPO MXIMO DEL MDULO

16 semanas
10 PERFIL DEL TUTOR:
Ingeniero Electrnico, con conocimientos en sistemas de potencia, Accionamientos

de controles elctricos y electrnicos, lneas de transmisin, subestaciones
elctricas, Instructor industrial en las reas de gestin de bloqueo-etiquetado
(LOCKOUT_TAG OUT), electricidad Industrial, Accionamiento y control de Motores
y generadores; Usuario de herramientas de diseo y simulacin: Power Factory,
ETAP, Dialux, Electrical AutoCAD.

FA C U LTA D D E D I S E O E I N G E N I E R A
TCNICA PROFESIONAL EN ELECTRNICA
GUA DE TRABAJO DEL ESTUDIANTE
LGICA M AT E M T I C A

LIPEDA
LGICA MATEMTICA
Fundacin Antonio de Arvalo, TECNAR
LIPEDA
Autor: Jorge Eliecer Giraldo Lpeda
Diseo de la Plantilla y Estructura del mdulo: Astrid Caldern Hernndez

Diagramacin, Portadas y Arte Grfico: Yury Paola Tinoco
Primera Edicin: Noviembre 2016 - [Nmero de Ejemplares]
LGICA MATEMTICA
Fundacin Antonio de Arvalo - TECNAR
2016; [N] Pg. 97; 21.5 X 27.9 cm
Prohibida su reproduccin parcial o total, por cualquier medio o mtodo de este mdulo sin
previa autorizacin de TECNAR y la Empresa Editorial.
1 GUA DE TRABAJO
UNIDAD #1: TEORIA DE LOS CONJUNTOS
11 GUA DE TRABAJO DEL ESTUDIANTE
11.1 GUIA DE APRENDIZAJE ACTIVIDAD 1- SEMANA n
1. Titulo
TEORIA DE LOS CONJUNTOS
2. Temticas revisadas
Historia de teora de conjuntos

Conjuntos
Notacin de conjuntos
Operaciones entre conjuntos.
Unin entre conjuntos:
Interseccin de conjuntos
Diferencia de conjuntos
Complemento de conjunto
Diagramas de venn Euler
Operaciones entre conjuntos representadas con diagramas
Diagrama de unin
Diagrama de interseccin
Diagrama de diferencia
Diagrama de complemento
Relaciones y funciones
Representacin grfica de las relaciones
Funciones
3. Fecha de entrega
Mircoles, 14 de marzo de 2016
4. Actividad problematizadora general

Sean los siguientes conjuntos A = {1, 2}, B = {3, 4}, C = {A, B}. Determinar si cada una de
las siguientes proposiciones es verdadera o falsa.
a) 1 A.
b) 1 B.
c) 1 C.
d) {1, 2} A.
e) {1, 2} B.
f) {1, 2} C.
g) {1, 2} A.
h) {1, 2} B.
i) {1, 2} C.
5. Producto esperado
Solucin a los problemas propuestos de cada unidad explicados pas a paso y entregarlos en
formato Word o PDF.
6. Forma de Entrega
Se debe entregar en formato Word o PDF
7. Rubrica de evaluacin
Criterios de Valoracin Baja Valoracin Valoracin Alta Mximo
Evaluacin Media Puntaje
El alumno conoce Ms del 60% de Casi todas 90-100% de 100%

y aplica: las soluciones (80-89%) las Las soluciones de los
teora de tienen errores soluciones ejercicios propuestos
conjuntos
no tienen no presentan errores
errores
notacin de
conjuntos
Operaciones entre
conjuntos.
Unin entre
conjuntos.
interseccin de
conjuntos
diferencia de
conjuntos
El alumno conoce Ms del 60% de En la 90-100% de 100%

y aplica: las soluciones mayora de Las soluciones de los
diagramas de venn tienen errores los ejercicios propuestos
ejercicios(entr no presentan errores
euler
e 80 a 89%)
operaciones entre
tiene
conjuntos claridad en
representadas con Las
diagramas operaciones
que debe
diagrama de unin
Utilizar.
diagrama de
interseccin
diagrama de
diferencia
diagrama de
complemento
El alumno conoce Ms del 60% de El alumno El alumno realiza 100%
y aplica: las soluciones realiza representaciones graficas de
tienen errores representacion las relaciones y funciones de
relaciones y una manera muy ordenada y
es graficas de
funciones metodolgica.
representacin las relaciones

grfica de las y funciones.
relaciones
funciones
5% 60% 100% 100%
Total Puntajes
2 GUA DE TRABAJO
UNIDAD #: [Nombre de la Unidad de Aprendizaje]

11.2 GUIA DE APRENDIZAJE ACTIVIDAD 2 - SEMANA n
8. Titulo
LGICA PROPOSICIONAL
UNIDAD 2 LGICA PROPOSICIONAL
Lgica proposicional lenguaje natural y simblico.

Proposiciones simples y compuestas
Reglas de sintaxis.
Conectivos lgicos.
Tablas de verdad.
Inferencia lgica.
Tautologa.
Contradicciones
Contingencia.
Leyes de la implicacin.
Leyes de equivalencia lgica.
Leyes conmutativas
Leyes asociativa
Leyes distributivas.
Leyes de identidad.
Leyes de Morgan.
Leyes de absorcin.
Leyes del condicional.
Leyes del bicondicional
Leyes de contraposicin
Leyes de exportacin
10. Fecha de entrega

11. ACTIVIDAD PROBLEMATIZADORA GENERAL
1) Formalizar las siguientes expresiones:

a) q si p
b) p pero q
c) como mnimo p
d) p no obstante q
e) q necesaria para p
f) q suficiente para p
g) p a pesar de q
h) No p a menos que q
i) p slo si q
j) p sin embargo q
k) p suficiente para q
l) p siempre que q
2) Formalizar los siguientes razonamientos
A) Si el resultado obtenido es superior al previsto en 5 unidades, ser

debido a no haber realizado el proceso a la temperatura adecuada o la
existencia de errores en los clculos finales.
B) El anlisis realizado, innecesario si nos dejamos llevar por la

precipitacin, se torna necesario si nos paramos a reflexionar sobre el
mensaje que se pretende transmitir.
3) ANALICE EL VALOR DE VERDAD DE LAS SIGUIENTES PROPOSICIONES:

I SI TODAS LAS AVES VUELAN, ENTONCES ALGUNAS AVES VUELAN.
II SI TODAS LAS AVES VUELAN, ENTONCES LA LUNA ES UN PLANETA
III SI LLUEVE ENTONCES 3 < 5
A) SOLO II Y III SON VERDADERAS

B) SOLO I Y III SON VERDADERAS
C) SOLO I ES VERDADERA
D) SOLO I Y II SON VERDADERAS
E) LAS TRES SON VERDADERAS

Ejercicios resueltos con su respectiva sustentacin a cada respuesta.
13. Forma de Entrega
Se Deber Entregar En Formato Word O Pdf

Criterios de Valoracin Valoracin Media Valoracin Alta Mximo Puntaje
Evaluacin Baja
El estudiante conoce y Ms del Casi todas 90-100% de 100%

aplica: lgica proposicional 60% de (80-89%) las Las soluciones
lenguaje natural y simblico. las soluciones de los ejercicios
soluciones no tienen propuestos
proposiciones simples y
tienen errores no presentan
compuestas
errores errores
Reglas de sintaxis.
El estudiante conoce y Ms del En la 90-100% de 100%

aplica: conectivos lgicos. 60% de mayora de Las soluciones
las los de los ejercicios
Tablas de verdad.
soluciones ejercicios(entre propuestos
tienen 80 a 89%) tiene no presentan
Inferencia lgica.
errores claridad en errores
Tautologa. Las operaciones
contradicciones que debe Utilizar.
Contingencia.
Leyes de la implicacin.
Leyes de equivalencia
lgica.
leyes conmutativas
leyes asociativa
Leyes distributivas.
Leyes de identidad.
LEYES DE MORGAN.
El estudiante conoce y Ms del El alumno realiza El alumno realiza 100%

aplica: leyes de absorcin. 60% de representaciones representaciones
las graficas de las graficas de las
soluciones relaciones y
Leyes del condicional. relaciones y
tienen funciones de una
leyes del bicondicional
errores funciones. manera muy
ordenada y
leyes de contraposicin metodolgica.
leyes de exportacin
Total Puntajes 5% 60% 100% 100%

3 GUA DE TRABAJO
UNIDAD #3: LGICA EN OPERACIONES
M AT E M T I C A S
GUA DE TRABAJO DEL ESTUDIANTE
11.3 GUIA DE APRENDIZAJE ACTIVIDAD 3 - SEMANA n
15. Titulo
LGICA EN OPERACIONES MATEMTICAS

Lgica en operaciones matemticas.
Jerarquizacin de operaciones matemticas.
Operaciones matemticas con signos de agrupacin.
17. Fecha de entrega

18. Actividad problematizadora general

Reducir las siguientes expresiones aplicando los conceptos de lgica en operaciones
matemticas:
1. 5a +{a-2 [ a + 3b 4 ( a + b ) ] }
2. 2m [ ( m - n )-( m + n ) ]
3. 3x [ x + y ( 2x + y ) ]
4. {3-2[ 6 ( 5 + 3 ( 2 4 ) + 4 ) 3 ( 2 ( 5 + 1 ) + 3 ) ]+4}
5. 2 { 3 + 5 [ - 2 ( 3 + 5 ) + 6 (-5 + 1 ) + 3 ] + 2 ( 3 1 )} + 2
6. 6 + 3 { 2 [ 3 ( 4 5 ) 2 ( 7 2 ) + 9 ( 3 ( 4 + 1 ) ) ] 2 }

Ejercicios resueltos con su respectiva sustentacin de cada respuesta.
20. Forma de Entrega
Se Deber Entregar En Formato Word o Pdf.
Criterios de Valoracin Baja Valoracin Media Valoracin Alta Mximo Puntaje

Evaluacin
Ms del 60% de Casi todas 90-100% de 100%

las soluciones (80-89%) las Las soluciones
El estudiante
tienen soluciones de los ejercicios
conoce y aplica:
errores no tienen propuestos
lgica en
operaciones
errores no presentan
matemticas errores
Ms del 60% de En la 90-100% de 100%

las soluciones mayora de Las soluciones
El estudiante
tienen los de los ejercicios
conoce y aplica la
errores ejercicios(entre propuestos
jerarquizacin en
operaciones
80 a 89%) tiene no presentan
matemticas claridad en errores
Las operaciones
que debe Utilizar.
Ms del 60% de El alumno realiza El alumno realiza 100%
las soluciones reducciones de reducciones de
El estudiante
tienen expresiones expresiones
cumple con las
errores algebraicas
competencia en algebraicas
reduccin de
aplicando la
aplicando la lgica en
expresiones
lgica en operaciones
aplicando la lgica
en operaciones operaciones matemticas, de
matemticas matemticas. una manera muy
ordenada y
metodolgica.
5% 60% 100% 100%
Total Puntajes

Módulo Lógica Matemática

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Módulo Lógica Matemática

Transféré par

Droits d'auteur :

Formats disponibles

FUNDACIN TECNOLGICA ANTONIO DE ARVALO - TECNAR Fecha: 26/07/2016

FACULTAD DE DISEO E INGENIERIA

MDULO DE LGICA MATEMTICA Pgina 1 de 97

JORGE ELIECER GIRALDO

MDULO DE LGICA MATEMTICA Pgina 2 de 97

Autor: Jorge Eliecer Giraldo Lpeda

Diseo de la Plantilla y Estructura del mdulo: Astrid Caldern Hernndez

Primera Edicin: Diciembre 2016 - [Nmero de Ejemplares]

MDULO DE LGICA MATEMTICA Pgina 3 de 97

1.5. RECURSOS DE APRENDIZAJE.................................................................................... 20

MDULO DE LGICA MATEMTICA Pgina 4 de 97

1.10. DIAGRAMAS DE VENN EULER. .................................................................... 26

2.5 LGICA PROPOSICIONAL LENGUAJE NATURAL Y SIMBLICO. ........... 46

MDULO DE LGICA MATEMTICA Pgina 5 de 97

2.11.4 LEY DEL SILOGISMO HIPOTTICO........................................................... 57

3.5 LGICA EN OPERACIONES MATEMTICAS. ............................................... 70

MDULO DE LGICA MATEMTICA Pgina 6 de 97

4.1 FSICOS ................................................................................................................... 75

MDULO DE LGICA MATEMTICA Pgina 7 de 97

Figura 1.1 Diagrama de venn 27

MDULO DE LGICA MATEMTICA Pgina 8 de 97

MDULO DE LGICA MATEMTICA Pgina 9 de 97

La FUNDACIN TECNOLGICA ANTONIO DE ARVALO es una Institucin de

MDULO DE LGICA MATEMTICA Pgina 10 de 97

PRESENTACIN DEL CURSO

Nombre del curso: Cdigo del curso (opcional)

MDULO DE LGICA MATEMTICA Pgina 11 de 97

Este mdulo se ha elaborado para el curso de lgica matemtica, el cual se constituye

UNIDAD I: TEORIA DE CONJUNTOS.

UNIDAD II: LOGICA PROPOSICIONAL.

UNIDAD III: LOGICA MATEMATICA.

MDULO DE LGICA MATEMTICA Pgina 12 de 97

3.1 OBJETIVO GENERAL

Conocer y comprender los conceptos generales bsicos de la Lgica Matemtica.

3.2 OBJETIVOS ESPECFICOS

Aplicar los conocimientos tericos en la prctica

Resolver problemas de anlisis y diseo a partir de unas especificaciones dadas

MDULO DE LGICA MATEMTICA Pgina 13 de 97

es la aplicacin de la lgica. La lgica es pues muy importante; ya que permite resolver

5.1 COMPETENCIAS GENRICAS.

Desarrollar habilidades y destrezas que le permitan, mediante el razonamiento,

5.2 COMPETENCIAS ESPECFICAS

Resuelve problemas de anlisis y diseo a partir de unas especificaciones

MDULO DE LGICA MATEMTICA Pgina 14 de 97

Organiza y planifica su trabajo en su rea de trabajo.

Actitud positiva y creativa ante los trabajos a desarrollar.

MDULO DE LGICA MATEMTICA Pgina 15 de 97

Para cumplir el objetivo general de lgica matemtica el presente modulo se

Se impartirn tambin en el aula virtual, y en ellas se resolvern problemas cuyos

En determinadas ocasiones se requerir la resolucin y explicacin a sus

De acuerdo a la metodologa reglamentada en la institucin, se implementar esta

MDULO DE LGICA MATEMTICA Pgina 16 de 97

Trabajo independiente del estudiante:

En la comprensin del material del texto, se ha hecho un capitulo introductorio acerca

UNIDAD I: TEORIA DE CONJUNTOS.

UNIDAD II: LOGICA PROPOSICIONAL.

UNIDAD III: LOGICA MATEMATICA.

MDULO DE LGICA MATEMTICA Pgina 17 de 97

UNIDAD 1: TEORA DE CONJUNTOS

MDULO DE LGICA MATEMTICA Pgina 18 de 97

1. UNIDAD 1 TEORIA DE LOS CONJUNTOS. ....................................................... 19

1.5. RECURSOS DE APRENDIZAJE.................................................................................... 20

MDULO DE LGICA MATEMTICA Pgina 19 de 97