Facultad de Ciencias de la Educación y Humanidades

Departamento de Matemática y Estadística

Programa de estudios: Educación Secundaria con

especialidad en Matemática e Informática (P14)

T3: FUNCIONES PROPOSICIONALES Y LEYES FUNDAMENTALES

Información General:
1. Nombre de la asignatura: Matemática Discreta
2. Nombre de la Capacidad de área: Evalúa las Aplicaciones del Algebra Booleana
3. Nombre de la actividad: Funciones proposicionales e Igualdad matemática.
4. Fecha, hora, lugar y cantidad de estudiantes : F: 05/07/2022. H: 16-19. A14. E: 16
5. Nombre del Docente : Elmer Samuel Saavedra Viteri.

Descripción del contexto:

Se tratará en tema de funciones proposicionales, igualdad matemática y leyes fundamentales del
algebra de conjuntos, finalidad de resolver problemas contextualizados a la matemática en las
aplicaciones booleanas, estableciendo una construcción del marco teórico conceptual de los
modelos matemáticos requerido, para que desarrollen las capacidades cognitivas y fundamentales
de los estudiantes de la especialidad Matemática e informática.
Las características elementales de las funciones proposicionales en matemática consisten en
proposiciones que involucran cuantificadores que están combinadas, las igualdades matemáticas
por medio de propiedades de entes matemáticos y las leyes que fundamentan el algebra de
conjuntos.

El propósito es de resolver problemas la representación de argumentos matemáticos y la

contrastación intuitiva grafica de las leyes fundamentales del algebra de conjuntos.

Descripción de la actividad:
El objeto de esta actividad y capitulo es investigar la naturaleza de los conjuntos, la forma en que
pueden combinarse y la representación de argumentos matemáticos dentro de la lógica simbólica o
matemática. Se estudia las familias de conjunto cuyos elementos son los conjuntos, es decir es un
conjunto de conjuntos.
Una propiedad del algebra booleana es el principio de dualidad. Un examen de las leyes nos
mostrara que si, en cualquier identidad, cada unión se reemplaza por una intersección y viceversa.

Resultados de aprendizaje:
Competencias (E-A) Evalúa la matemática discreta a situaciones problemáticas que implican la
construcción del significado y uso de las aplicaciones del álgebra booleana, de la teoría de grafos y
álgebra de conmutación, y de sistemas digitales empleando diversas estrategias de solución,
comprendiendo, justificando y valorando sus procedimientos y resultados, con responsabilidad y
perseverancia en su desarrollo personal y profesional.
IF: Aplica creativamente estrategias para comprender y discernir sobre temas científicos o
empíricos en mejorar el proceso de su aprendizaje, mostrando honestidad y perseverancia en su
desarrollo personal y formación profesional.
A: Muestra responsabilidad y perseverancia en su desarrollo personal y profesional.

Capacidades. EA.1. Evalúa las estrategias metacognitivas empleadas en la teoría

de las aplicaciones del álgebra booleana para resolver situaciones problemáticas
de contexto real y matemático que implican la construcción del significado y uso del
algebra de conjuntos, de proposiciones y de Boole a través de diferentes
estrategias de solución, elaborando y justificando sus procedimientos y resultados
que contribuyan la formación especializada.
IF.1. Utiliza estrategias de aprendizaje por descubrimiento y construcción en una actividad para
reflexionar y analizar sobre un tema científico o empírico de trascendencia en el campo de la
matemática e informática.
Actitudes. A.1. Muestra responsabilidad y perseverancia en sus actividades académicas.

APRENDIZAJES ESPERADOS DE LA ACTIVIDAD: El estudiante de Matemática Discreta del programa

de estudios de Educación Secundaria con especialidad en Matemática e Informática (P14):
EA.1.1. Utiliza estrategias de aprendizaje por descubrimiento y construcción para resolver un problema de
funciones proposicionales, igualdad matemática y leyes fundamentales.
EA. 1.2. Evalúa sus resultados y la característica de la representación algebraica al usar estrategias
metacognitivas en la resolución de un problema.

Evaluación:
Criterios de la actividad.
• Resuelve un problema de representación algebraica, igualdad matemática y uso de las leyes
fundamentales entre conjuntos en un algebra de conjuntos, mediante el método inquisitivo
según el nivel de logro cognitivo: conoce (4p), comprende (3p), aplica (4p), analiza (4p),
sintetiza (2p) y evalúa (3p).

DESARROLLO DE LA ACTIVIDAD: Aprendizaje por descubrimiento

1. Fase introductoria: Inicio

Resumiendo, y aclarando el tema de la clase anterior
Se elige al azar a un estudiante para que exponga los contenidos de la clase anterior y aclare sus dudas y
las de sus compañeros. De forma que se garantice el estudio permanente.

1.1. Las combinaciones de conjuntos

El algebra booleana es una rama de las matemáticas conocida como algebra moderna o algebra
abstracta.
El algebra de conjuntos es una forma de razonamiento matemático que permite analizar
argumentos matemáticos o lógicos. La forma de desarrollo es intuitiva, ya que las demostraciones
dadas están en basadas en conceptos intuitivos más que axiomas formales.

Elementos y conjuntos
El objeto de esta sesión es investigar la naturaleza de los conjuntos y la forma en que pueden
combinarse.

C1. Los elementos y conjuntos se tomarán como términos primitivos no definidos del algebra de
conjuntos.

Intuitivamente pensamos en los elementos como objetos básicos, los cuales, en colecciones,
constituyen conjuntos.

C2. Los conjuntos, se trata de una familia, F, de conjuntos cuyos elementos son los conjuntos, a, b,
c, x, y, etc.; es decir es un conjunto de conjuntos.

C3. Proposición. La expresión mX indicara que “m es un miembro de X”, al que siempre es posible
determinar en toda discusión si la relación es o no valida.

C4. Se dirá que el conjunto X es igual al conjunto Y y escribiremos X=Y, si y solo si los conjuntos son
idénticos., esto es, que consten exactamente de los mismos elementos.

C5. Subconjuntos. Si el conjunto X consiste solamente en elementos que son miembros de un

segundo conjunto Y, diremos que X es un Subconjunto de Y, y escribiremos XY

C6. Subconjuntos propios. Si el conjunto X es subconjunto de Y; si, además, Y contiene uno más
elementos que no tiene X, diremos que X es subconjunto propio de Y: Tal, XY

D1. El conjunto universal es el conjunto que consta de todos los elementos en discusión, o dominio
fundamental que contiene todo conjunto. Se designará con el símbolo 1.

D2. El conjunto vacío es el conjunto sin elementos y es subconjunto de todo conjunto. Se designará
con el símbolo 0.

El algebra que se desarrollara es un algebra para conjuntos, no para elementos de conjuntos.

D3. El conjunto unitario es un conjunto que contiene un solo elemento, y si este elemento es,
digamos, x, entonces el conjunto se designara {x}.

También serán usados los símbolos { } para representar conjuntos especificados mediante una lista
de los elementos que contiene.

D4. El conjunto complemento con cada conjunto X se asocia otro conjunto X´ llamado complemento
de X, definido como el conjunto de todos los elementos del conjunto universal que no sean elementos
de X.

Como casos especiales, debe notarse que el conjunto vacío y el universal son complementos uno
del otro.

Principios lógicos matemáticos.

En esta sección investigaremos las reglas mediante las cuales los conjuntos pueden combinarse
para formar nuevos conjuntos.
Combinaciones entre conjuntos: Dados dos conjuntos X e Y de 1, arbitrarios.
D5. UNION, es el conjunto que consta de todos los elementos que estén en X o en Y o en ambos.
Notación: X+Y

D6. INTERSECCION: es el conjunto que consta de aquellos elementos que estén tanto en X como
en Y o en ambos. Notación: XY, o X.Y, donde el pun centrado cuando se desee discutir el
proceso de la formación de una intersección, en el cual se obvia por conveniencia en las
expresiones algebraicas.

Principios del algebra de conjuntos

Dado el conjunto arbitrario, X de 1.
P1: Principio de Identidad : Un objeto es idéntico así mismo. X:=X
P2. Principio del tercero excluido : La proposición es verdadera o es falso, no hay una
tercera posibilidad. X+X´:=1.
P3. Principio de Contradicción : Una proposición no puede ser a la vez autentica y falsa
XX´:=0
P4. Principio de no contradicción : Una proposición y su negación no pueden ser ambas verdaderas
al mismo tiempo y en el mismo sentido. (XX´)´:=1
P5. Principio de razón suficiente : Nada existe sin una causa o razón determinante, tal
como, Todo objeto, Y, debe tener una razón suficiente, X,
que lo explique: XY

Teorema 1. Si m es un elemento cualquiera del conjunto universal, y X e Y son conjuntos arbitrarios,

entonces, m será un miembro de uno y de solo uno de los elementos de los siguientes conjuntos:
XY, XY´, X´Y, X´Y´.
Demostración.
De acuerdo a la definición de complemento, m tiene que ser elemento de Y o de X´, pero no de
ambos.
Si sucede que mX, entonces ya que m es un elemento de Y o Y´, pero no de ambos, m será un
miembro de XY o de XY´, pero no de ambos, por definición de intersección.
Semejantemente, si m es un miembro de X¨, entonces m será un miembro de X´Y o de X´Y´ pero no
de ambos.

Propiedad básica de subconjuntos:

Dados dos conjuntos X y Y de 1.

Proposición 1. La condición “Cada elemento del conjunto X es un miembro del conjunto Y”

representan todas las mismas condiciones sobre los conjuntos X e Y: XY, XY=X, X+Y=Y, XY´=0,
X´+Y=1.

Proposición 2. Dados dos conjuntos X y Y de 1. X+Y puede escribirse como (X´Y´)´.

Diagramas de Venn
Con el fin de fortalecer las intuiciones y dar alguna justificación de las leyes básicas validas en el
algebra de conjuntos introduciremos el concepto de diagramas de Venn, como ilustraciones que
hacen parecer factibles a las leyes básicas.

C7. En un diagrama de Venn el conjunto de puntos interiores de un rectángulo es considerado como

el conjunto universal. Los subconjuntos arbitrarios del conjunto universal están representados por
los conjuntos de puntos interiores a los círculos (u otras regiones cerradas) dentro del rectángulo.

Si nada especifico se sabe acerca de los conjuntos involucrados, estos círculos se dibujan de tal
forma que puedan representarse todas las posibilidades de intersecciones entre los conjuntos.
Sombreando las áreas apropiadas, todas las combinaciones de los conjuntos pueden ser
representadas gráficamente.

2. Fase de la adquisición de la información: Parte teórica

2.1. Funciones proposicionales

2.1.1. Introducción a la lógica de proposiciones

Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos
elementos más simples representan proposiciones, y cuyas constantes lógicas,
llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de
formar otras proposiciones de mayor complejidad1.

Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero

tienen variables proposicionales (es decir, que se pueden interpretar como
proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los
sistemas de lógica proposicional incluyen además conectivas lógicas, por lo que dentro
de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a partir de
proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más
simples.2.

Como las lógicas proposicionales no tienen cuantificadores o variables de individuo,

cualquier secuencia de signos que constituya una fórmula bien formada admite una
valoración en la proposición es verdadera o falsa dependiendo del valor de verdad
asignado a las proposiciones que la compongan.

Esto implica que cualquier fórmula bien formada define una función proposicional.

Por tanto, cualquier sistema lógico basado en la lógica proposicional es decididle

y en un número finito de pasos se puede determinar la verdad o falsedad
semántica de una proposición.

Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla
de caracterizar.
1. Simon Blackburn (ed.). «propositional calculus»
(http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e2552). Oxford
Dictionary of Philosophy (en inglés). Oxford University Press. Consultado el 13 de agosto de 2009.
2. Klement, Kevin C. «Propositional Logic» (http://www.iep.utm.edu/prop-log/). Internet
Encyclopedia of Philosophy (en inglés). Consultado el 6 de febrero de 2012.

En lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el

producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto
constituye el juicio. Para Aristóteles, la proposición es un discurso enunciativo perfecto,
que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos.
Por eso el juicio es una afirmación categórica, es decir, incondicionada porque
representa adecuadamente la realidad.

Partiremos de concepciones generales de la lógica proposicional.

En Filosofía, la proposición es una expresión de un juicio entre dos términos, sujeto y

predicado, que afirma o niega este de aquel, o incluye o excluye el primero respecto del
segundo. Donde, Un juicio indica que: El sujeto del juicio es el concepto del que se afirma
o niega algo; el predicado es el concepto que se afirma o niega del sujeto; la materia o
contenido del juicio son los conceptos que se relacionan; la forma es la relación que se
establece entre ellos a través del verbo ser; tal que, es la facultad por la que el ser
humano puede distinguir el bien del mal y lo verdadero de lo falso de la relación entre
los conceptos sujeto y predicado.

En tanto que, una proposición afirmativa es una proposición cuyo sujeto está contenido
en la extensión del predicado.

C1. Una proposición es un discurso enunciativo declarativo, al que puede asignarse

valores de verdad; que se expresa en un juicio y que significa en qué medida es
verdadero la relación entre los términos de un juicio.

CP1. UN DISCURSO, es una narración oral premeditada que se asocia con la

transmisión de un mensaje mediante las palabras, Este mensaje puede ser escrito u
oral, independientemente.

CP2. Un enunciado. Es un mensaje completo e inequívoco en una situación dada. Está

constituido por diversas expresiones: oraciones, sintagmas u otras construcciones.
Dichos enunciados pueden ser interrogativos o prescriptivos, ya que a éstos no puede
asignarse un valor de verdad.

El enunciado por su naturaleza es un fragmento del discurso.

Ej. Son enunciados, por ejemplo, coma carne de res, tome vino tinto seco. Esto significa
que un enunciado es una expresión del lenguaje que puede ser falso o verdadero o no
serlo.

En pragmática, un enunciado es un acto de habla mínimo de la comunicación, realizado

mediante una oración o una expresión sintáctica más pequeña que una oración.

CP3. Declarativo. Es un acto de información consciente de un hecho, ideas, concepto

o conocimiento; que se puede expresar en una sentencia, resolución, o inscripción.

CP4. Juicio. Es una afirmación categórica de la relación de una idea o concepto con
respecto a la otra.

CP5. Términos de un juicio. Son los conceptos que forman el juicio; tal como, en un
enunciado declarativo, el concepto sujeto, concepto predicado y el concepto relación
entre ellos (la relación recae en un verbo conjugado).

C2. Valores de verdad. Son valores que indican en qué medida una declaración es
verdad. Estos valores de certeza conforman un conjunto de valores de verdad.

CP6. VALOR, En lógica un valor es una cualidad que se le asigna a un juicio en la

medida que sea verdad.

CP7. VERDAD. Es la correspondencia entre lo que pensamos o sabemos con la

realidad. Esto indica que la verdad, es relativa a cada persona respectos a lo que
conocemos (teoría), practicamos (practica) y sabemos (teoría + practica); para dar la
conformidad de las cosas con el concepto que de ellas forma la mente.

CP7.1. En Lógica, como verdad se denomina todo aquel juicio o proposición que no
puede ser refutada racionalmente. En este sentido, la verdad es lo opuesto a la falsedad,
a la mentira.
CP8. En lógica proposicional de orden cero, los valores de verdad son: verdadero (V)
y Falso (F)

CP9. CERTEZA. Es el conocimiento seguro y claro que se tiene de algo.

Puede afirmarse que la certeza es la posesión de una verdad que se corresponde con
el conocimiento perfecto.

CP.9.1. Conocimiento fiable. La conciencia de una certeza permite afirmar este

conocimiento sin temor de duda y con confianza plena en la validez de la información.

CP.9.2. La certeza, se basa en una evidencia, o en lo que el sujeto toma como una
evidencia de carácter irrefutable. Lo evidente del conocimiento posibilita la afirmación y
la posesión de la verdad.

D1.- Una proposición es un enunciado declarativo al que se le asigna un valor de

verdad.

D2. La certeza es la seguridad factual (constatación) que se tiene como garantía de un

enunciado, del grado de verdad o falsedad, de la tautología proposicional en un
silogismo o en general del conocimiento sobre un asunto.
(https://es.wikipedia.org/wiki/Certeza_y_opini%C3%B3n)

Ejemplos de proposiciones lógicas de lógica de orden cero

Enunciado: Cinco más tres es ocho.

Discurso de tipo narrativo: Contexto: Sistema de números Naturales

/Expresa un mensaje/tipo declarativo/oración de modo enunciativo (Transmite una
información)

Contenido sintáctico - pragmático: El concepto relación: Esta, El concepto Sujeto:

María. El concepto Predicado: En el cine

Contenido lógico – semántico: Si María está en el cine, afirmaremos que es verdad

Si María no está en el cine, afirmaremos que no es verdad; es decir, es falso.

Juicio: enunciado afirmativo, Cinco más tres es ocho

Proposición: Cinco más tres es ocho, es verdad

Clasificación de Enunciados y de Proposiciones

Tanto los enunciados como las proposiciones se clasifican así: según la cantidad de
conectores lógicos que la conforman, según su valor de verdad y su interpretación.

Enunciados y proposiciones según la cantidad de conectores lógicos que la conforman

Los enunciados y las proposiciones se clasifican en simples o atómicas y compuestas
o moleculares.

Enunciado y Proposición Simple o Atómica. Se denomina enunciado o proposición

simple o atómica a aquel enunciado o proposición que no tiene conectores lógicos.
 Es decir, la proposiciones simples o atómicas, son aquellas que carecen totalmente
de conectivos lógicos y que, por lo tanto, son inseparables. En este grupo se encuentran
las proposiciones predicativas, que son aquellas en la cual se afirma o atribuye una
característica respecto de un objeto, como, por ejemplo, Juan Pérez es profesor; y las
proposiciones relacionales, en las cuales existe una relación de dependencia,
estableciendo un enlace entre dos o más objetos, como, por ejemplo, Caracas es la
capital de Venezuela.

Ejemplos De enunciados y proposiciones simples.

Enunciado simple Proposición simple
Este mes me voy a trabajar El trabajo es un derecho humano
No vaya a Lima Lima no es capital de Perú
Podrá enseñar matemáticas Euler enseño matemáticas
¿Cuál es tu nombre? Mi nombre es Elmer
¡Hola, que tal! María canta
La suma esta apareada La suma de dos números impares es
par
María es hermosa María tiene dulces.
X+5=7 3+5=7

Enunciado y Proposición Compuesta o Molecular. Es un enunciado o proposición

que está formada por dos o más enunciado o proposiciones simples; por consiguiente,
están separadas por diferentes conectores lógicos.

Por lo tanto, Son aquellas que resultan de la combinación de varias proposiciones

simples, unidas por uno o más conectivos lógicos y que pueden ser separadas y
descompuestas en proposiciones más simples. Su valor de verdad depende del de las
proposiciones que la componen, como, por ejemplo, Juan Pérez es profesor y Caracas
es la capital de Venezuela.

Ej De enunciados y proposiciones compuestas.

Enunciado compuesto
xN, xN
Si hoy no es soleado, entonces
llueve
¡Silencio!, hay enfermos
4+2x=9, 6x+3=4
Ana es Bella y Hermosa
Carlos es pequeño
El arroz pesa mucho
Es posible salir aprobado en
matemática
Pedro canta o baila y ríe
Proposición compuesto
x+5=7, xN
Hoy llueve, a menos que sea soleado
María y Luisa están en su casa
4+2x=9, 6x+3=4, xR
Ana está estudiando en la Universidad
Carlos mide un metro y medio
Hay tres kilos de arroz en la bolsa
Voy a salir aprobado en matemática
Pedro canta, o, baila y ríe.

2.1.2. Lógica de proposiciones

D3. Una proposición es la declaración de un juicio (sentencia o resolución o dictamen)

C3. Un juicio es un enunciado afirmativo. (Es el proceso de evidenciar la certeza del enunciado
afirmativo)

Conectivas lógicas
Son nexos o cúpulas que permiten enlazar proposiciones, con: no, y, o, entonces, si y solo sí.

Tipos de proposiciones
i) Según su naturaleza: Por conectivas lógicas
C4. Simples o atómicas: Proposición sin conectivas
C5. Compuestas o moleculares: Proposición con conectivas.

ii) Según su dimensión o composición: Proposiciones moleculares

C6. Unidimensional: La proposición, P
C6.1. Negación: No P se presenta por P
C7. Bidimensional: Las proposiciones P y Q
C7.1. Conjunción: P y Q, se representa por: PQ
C7.2. Disyunción: P o Q, se representa por: PQ
C7.3. Condicional: Si P, entonces Q, se representa por: P→Q
C7.4. Bicondicional: P si y solo si P, se representa por: PQ

Definición de proposiciones compuestas por tabla de valores de verdad

P Q PQ PQ P→Q PQ P
V V V V V V F
V F F V F F F
F V F V V F V
F F F F V V V

iii) Según la certeza molecular. Una interpretación de una proposición es la certeza de los
resultados de las posibilidades de valoración de la proposición.
C8. Tautología: Es una proposición verdadera, donde las interpretaciones son siempre
verdaderas
C9. Contradicción: Es una proposición falsa, donde las interpretaciones son siempre falsas
C10. Contingencia: Es una proposición que contiene interpretaciones verdaderas y falsas

Inferencia lógica

D4. Argumento lógico. Es una expresión lógica, donde una proposición P es la razón
suficiente para otra proposición Q. Representación: PQ
Donde P es una proposición molecular conjuntiva de proposiciones P1, P2, …, Pn.
La proposición Q es deducida como razón suficiente a partir de P.

D5. Implicación lógica

PQ si y solo si P→Q es una tautología.

D6. Equivalencia lógica

PQ si y solo si PQ es una tautología

Argumentos válidos
D7. Un argumento lógico es válido si es una implicación lógica.
Reglas o leyes de la inferencia lógica
R1. REGLAS O LEYES DE SEPARACION O MODUS PONENS
R1.1. PONENDO PONENS
[(p→q)p]q
R.1.2. TOLLENDO TOLLENS
[(p→q)q]p

R2. REGLAS DE SILOGISMOS

R2.1. HIPOTETICO
[(p→q)(q→r](p→r)
R2.2 DISYUNTIVO
[(pq)p]q

R3. DILEMA CONSTRUCTIVO

[(p→q)(r→s) (pr)](qs)

R4. SIMPLIFICACION
(pq)p

R5. ADICION
p (pq)

2.1.3. Proposiciones matemáticas

2.1.3.1. Lógica de predicados.
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o
cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los
lenguajes de primer orden1. Los lenguajes de primer orden son, a su vez, lenguajes
formales con cuantificadores que alcanzan solo a variables de individuo, y con
predicados y funciones cuyos argumentos son solo constantes o variables de individuo2.
La lógica de primer orden tiene un poder expresivo muy superior al de la lógica
proposicional.
1. ↑ Simon Blackburn (ed.). «first-order logic». The Oxford Dictionary of Philosophy. Oxford University
Press. Consultado el 10 de septiembre de 2009.
2. ↑ Simon Blackburn (ed.). «first-order language». The Oxford Dictionary of Philosophy. Oxford
University Press. Consultado el 10 de septiembre de 2009.

Predicados
Un predicado es una expresión lingüística que se puede conectar con una o varias otras
expresiones para formar una oración3. Por ejemplo, en la oración «Marte es un planeta»,
la expresión «es un planeta» es un predicado que se conecta con la expresión «Marte»
para formar una oración. Y en la oración «Júpiter es más grande que Marte», la
expresión «es más grande que» es un predicado que se conecta con dos expresiones,
«Júpiter» y «Marte», para formar una oración.

En lógica matemática, cuando un predicado se conecta con una expresión, se dice que
expresa una propiedad (como la propiedad de ser un planeta), y cuando se conecta con
dos o más expresiones, se dice que expresa una relación (como la relación de ser más
grande que). Sin embargo, la lógica de primer orden no hace ningún supuesto sobre si
existen o no las propiedades o las relaciones. Solo se ocupa de estudiar el modo en que
hablamos y razonamos con expresiones lingüísticas.

En la lógica de primer orden, los predicados son tratados como funciones. Una función
es, metafóricamente hablando, una máquina que recibe un conjunto de cosas, las
 procesa, y devuelve como resultado una única cosa. A las cosas que entran a las
funciones se las llama argumentos4, y a las cosas que salen, valores o imágenes.

Es la lógica que estudia los predicados de un juicio en relación al sujeto por medio de
una función: Planeta(marte) P(m); denota la expresión marte es un planeta, lo podemos
simbolizar por: Pm y representa la proposición P. Mató (Caín, Abel): M(C, A), denota la
expresión Caín mato a Abel. Lo podemos simbolizar Mc,a
3, ↑ Simon Blackburn (ed.). «predicate». The Oxford Dictionary of Philosophy. Oxford University
Press. Consultado el 10 de septiembre de 2009.
4. ↑ No deben confundirse con los argumentos que estudia la lógica.

2.1.3.2. Funciones proposicionales en lógica de predicados

Función proposicional es una proposición cuya propiedad del predicado recae en la función del
sujeto y se presentan como proposiciones atómicas predictivas singular de argumento variable,
Fx.

Entre las funciones proposicionales por la extensión del sujeto en el predicado tenemos, la
proposición singular de argumento constante o proposición universal o proposición particular:
Fa  (x) Fx  (x) Fx

Formalización de proposiciones cuantificadas:

A: Universal afirmativo Todo x baila : (x) Bx
E: Universal Negativo. Ningún x baila : (x) Bx
I: Particular afirmativo Algún x baila : (x) Bx
O: Particular negativo. Algún x no baila: (x) Bx

Relación de las proposiciones cuantificadas según Boecio:

Relación contraria de A es E; Relación subcontraria de I es O
Relación subalterna de A es I; Relación subalterna de E es O
Relación contradictoria de A es O, Relación contradictoria de I es E
La relación negación de A es O, la relación negación de I es E.

C11.Funcion proposicional. Es una expresión funcional de una o varias variables que cumplen
propiedades en un universo de estudio; que conforma las proposiciones matemáticas o lógicas.

D6. Proposición matemática. Es una proposición que contiene una o varias variables en forma
general o especifica que cumplen propiedades en un estudio determinado, expresando una
cuantificación universal, existencial o de unicidad.

Ejemplo:
Proposiciones de una variable:
1. P(x): xU, x cumple la propiedad P en U

2. P(x): xU, x cumple la propiedad P en U

3. P(x): !xU, x cumple la propiedad P en U

C12. Una proposición lógica. Es una función proposicional cuando la variable toma un valor
particular.
Ejemplo:
4. P(x): x0U, x0 cumple la propiedad P en U

Reglas de equivalencia entre cuantificadores.

El intercambio de cuantificadores se establece por
a) (x) Bx  ((x) Bx).
b) (x) Bx ((x) Bx)
c) (x) Bx  (x) Bx.
d) (x) Bx (x) Bx

Proposiciones complejas:
C13. Son las proposiciones moleculares conectados con los operadores de la lógica de
proposiciones: Conjunción, disyunción condicional y bicondicional, tal como, (FxGy).

Proposiciones categóricas. Son proposiciones cuantificadas moleculares; tal como: para todo
x, si x es feliz, entonces x no es casado (x) (Fx→Cx)

Variables libres y ligadas a un cuantificador (tal como: x, (x)).

Formulas abiertas: es una función proposicional que exhibe al menos una variable libre. Fxy

Formulas cerradas: es una función proposicional que no exhibe ninguna variable libre. (x) (x)
Fxy

Leyes de oposición Aristotélica

a) (x) (Fx→Gx) (x) (Fx  Gx)
b) (x) (Fx→Gx) (x) (Fx  Gx)
c) (x) (Fx  Gx) (x) (Fx→Gx)d) (x) (Fx  Gx) (x) (Fx→Gx)

Consecuencias del nuevo enfoque de las leyes de oposición Aristotélicas

Los enunciados categóricos se presentan como condicionales.

La lógica matemática. Recordando los elementos de un Conjunto: xA, x esta o pertenece a

A. Conjunto universal xU.

Conjunto unitario !xA.

Conjunto vacío no tiene elementos, por lo que contradice el concepto de conjunto, pero con
fines representativos se acuerda que se establece con una contradicción xAxA relación que
se le considera nula, pero se acepta como válida.

Intuitivamente al indicar con cuantificador universal tenemos que: Todo A es B se representa

por la expresión AB, Ningún elemento de A es de B expresa: AB.

El cuantificador existencial. Algunos elementos de A son de B, indica que existen elementos

a la vez de A y de B: xAxB´. La expresión, algunos elementos de A no son de B, indica
que no todos los elementos de A son de B (no todos los elementos, o no están en A o están en
B): (x) (xAxB) es igual (x) (xAxB)
2.2. Igualdad matemática según el principio de identidad
D8. Dos conjuntos A y B de un estudio de referencia, U. Los conjuntos A y B son
matemáticamente iguales si existe una aplicación grafica cuyas medidas de sus
espacios contenidos resultantes son idénticos.

C14. Una aplicación grafica es un mapeo diseñado por líneas y vértices establecidas
según las características o requerimientos, que forman espacios contenidos. EJ.
Diagramas de Venn, circuitos.

C15. Un espacio contenido es una superficie o lugar con unos límites determinados y
unas características o fines comunes, que expresa una cantidad susceptible a ser
medido.

C16. Se denomina cantidad a todo aquello que es medible y susceptible de

expresarse numéricamente, pues es capaz de aumentar o disminuir. En Física, la
cantidad de movimiento de un cuerpo es una magnitud que resulta del producto de
su masa por la velocidad que lo anima.

D9. Una igualdad matemática está bien definida o es válida, si las expresiones que la
conformar son matemáticamente iguales.

DIAGRAMAS DE VENN
Sean A y B dos conjuntos arbitrarios del estudio de referencia, U. La aplicación grafica
muestra la ilustración de un diagrama de Venn.

U
A b
x
x´

Ejercicio.

Probar que la expresión algebraica (AB)´=A´B´ establecida en un estudio de

referencia U, está bien definida.

En efecto: Sean A, B dos conjuntos arbitrarios del estudio de referencia U.

DATOS: La expresión denota una igualdad matemática.

¿Las expresiones que lo conforman (AB)´ y A´B´ son matemáticamente iguales?.

La prueba de igualdad matemática, consiste en Constatar si la expresiones (AB)´ y

A´B´ son conjuntos matemáticamente iguales, es decir, existe una aplicación
grafica denominada diagrama de Veen, que se construye por pasos para mostrar
con claridad cómo están determinados los conjuntos necesarios que explican con
evidencias graficas de las medidas de sus espacios contenidos resultantes si son o no
son idénticos (Misma o diferente área sombreada).
 OPERACIÓN
PROCESO. EVIDENCIAS CONSTATACIÓN
Conjunto 1° A, B,  ´,

Expresión Mat.

Conjunto necesario: AB (AB)´

Conjunto 2° A, ´ A, ´ 

Expresión Mat.

Conjuntos necesarios A´ B´ A´ B´

SALIDA. Se observa que las áreas sombreadas resultantes son idénticas, por que
expresan igual cantidad de medida.

Entonces, el conjunto (AB)´ y el conjunto A´B´, son matemáticamente iguales

Por lo tanto, la igualdad matemática, (AB)´ = A´B´ está bien definida.

2.3. Leyes fundamentales del algebra de conjuntos

D10. Conjunto de axiomas y principios del algebra de conjuntos; Sean A, B y C tres
conjuntos del estudio de referencia U. Entonces;
Axiomas asociativos
1a. A(BC)=(AB)C 1b. A(BC)=(AB)C
Axiomas de idempotencia o de unidad generadas por el principio de identidad
2a. AA=A 2b. AA=A
Axiomas de complementación o leyes fundamentales del algebra de conjuntos formales
generadas por los: principios de no contradicción (3a) y del principio del tercero excluido (3b)
3a. AA´= 3b. AA´ =U
Axiomas conmutativos
4a. BA=AB 4b. BA=AB
Axiomas distributivos
5a. A(BC)=(AB)(AB) 5b. A(BC)=(AB)(AB)
Axiomas de absorción
6a. A(AB)=A 6b. A(AB)=A
Axioma de involución
7a. (A´)´=a
Axiomas de Morgan
8a. (AB)´=A´B´ 8b. (AB)´=A´B´
Axiomas de la combinación con  y U
9a. A= 9b. UA=U
10a. UA=A 10b. A=A
11a. ’=U 11b. U´=
2.4. Síntesis de las proposiciones e igualdad matemática.

Una proposición es una expresión con valor referencial o informativo (o enunciado que indica
un contenido sintáctico -pragmático), de la cual se puede formular su veracidad o falsedad
(contenido lógico - semántico); es decir, que puede ser falsa o verdadera pero no ambas a la
vez.

La proposición es la expresión lingüística del razonamiento, que se caracteriza por ser

verdadera o falsa empíricamente, sin ambigüedades. Son proposiciones las oraciones
aseverativas, las leyes científicas, las fórmulas matemáticas, las fórmulas y/o esquemas lógicos,
los enunciados cerrados o claramente definidos. No son proposiciones las opiniones y
suposiciones; los proverbios, modismos y refranes; los enunciados abiertos no definidos; las
oraciones interrogativas, exclamativas, imperativas, desiderativas y dubitativas; las
interjecciones en general.

El valor de verdad de una proposición depende no solamente de las relaciones entre las
palabras del lenguaje y los objetos en el mundo, sino también del estado del mundo y del
conocimiento acerca de ese estado. El valor de verdad de la oración Juan canta depende no
solamente de la persona denotada en Juan y el significado del verbo cantar, sino también del
momento cuando esta oración es expresada. Juan probablemente canta ahora, pero
ciertamente que no siempre está cantando.

De la misma manera, se debe hacer una distinción entre la oración gramatical propiamente
dicha, a la que se llama enunciado, y el contenido o significado del enunciado, que es la
proposición.

Igualdad matemática. Un enunciado afirmativo en el que dos expresiones (iguales o

distintas) denotan el mismo objeto matemático se llama igualdad matemática.

Objetos matemáticos iguales. Dos objetos matemáticos son considerados iguales si los
objetos poseen el mismo valor.

EJ. la frase «la suma de dos y dos» y la expresión «cuatro» se refieren al mismo objeto
matemático, un cierto número natural. La expresión «es igual a» o «es lo mismo que» se
suele representar en matemáticas con el signo =. Así, el ejemplo anterior suele escribirse
como: 2+2=4.

CP.10. Un objeto matemático. es un objeto abstracto estudiado en matemáticas.

Algunos ejemplos típicos de objetos matemáticos son los números, conjuntos, funciones
y figuras geométricas.1

La existencia y naturaleza de los objetos matemáticos es materia de debate en la

filosofía de la matemática y ha dado lugar a corrientes de pensamiento como el
logicismo, el platonismo matemático y el formalismo matemático.
(https://es.wikipedia.org/wiki/Objeto_matematico).

C17. Un objeto matemático, es un elemento abstracto con una característica

común con los elementos que lo conforman en la propiedad como un todo
homogéneo.
 Ejemplo, un número, una figura geométrica, una función, una relación, una propiedad
especifica o general de un estudio, un principio, un axioma, un postulado, un teorema,
un corolario, un lema, un escolio, un concepto primitivo, un concepto, una definición ,
una proposición.

Axioma de la Extensión. Dos conjuntos son iguales si tienen los mismos elementos.

Igualdad de conjuntos. Sean A y B conjunto del estudio de referencia U; Entonces, A es

igual a B si y solo si A es parte de B y B es parte de A.

Simbolización: Sean A, BU; entonces, A=B sü AB  BA (Es una definición Teórica,
pero no pragmática)

D11. Axiomas de igualdad de objetos. La igualdad se define como una relación de

equivalencia que cumple los siguientes axiomas: Dados tres objetos x, y, z de un estudio
de referencia U; entonces,
Reflexividad o principio de identidad: x = x, Simetría: si x = y entonces y = x, Transitividad:
si x = y e y = z, entonces x = z.

P6. Principio de sustitución. Si dos objetos matemáticos son iguales, entonces uno
puede ser sustituido por el otro.

Principio de sustitución de Liskov o LSP (Liskov Substitution Principle) es un principio de la

programación orientada a objetos. y puede definirse como: Cada clase que hereda
de otra puede usarse como su padre sin necesidad de conocer las diferencias entre
ellas2.
1. ↑S cheinerman, Edward (2000). «I». Matemáticas Discretas. International Thomson. p. 479. ISBN
0-534-35638-9.
2. ↑ Principio de sustitución de Liskov - Wikipedia, la enciclopedia ...es.wikipedia.org › wiki ›
Principio_de_sustitución_de_Liskov

2.4.1. Operadores y operaciones de conjuntos

Ahora investigaremos las reglas mediante las cuales los conjuntos pueden combinarse para
formar nuevos conjuntos agregados.
CP11. Combinación. Mezcla o unión de personas o cosas distintas que componen un todo.

CP12. Combinación Forma de estar combinadas o coordinadas cosas, personas o

acciones de forma que se favorece el funcionamiento o desarrollo de algo.

D12. Combinación. Con origen en el latín combinatio, combinación es una palabra que
refiere al acto y consecuencia de combinar algo o de combinarse (es decir, unir,
complementar o ensamblar cosas diversas para lograr un agregado o compuesto).

CP13. Combinar. Unir personas o cosas diversas con un fin determinado.

C18. La combinación de conjuntos es la organización entre conjuntos para formar conjuntos

agregados de forma que se favorezca el funcionamiento o desarrollo adecuado de los
principios de no contradicción y del tercero excluido en la teoría de conjuntos de la
matemática formal.
D14. La combinación de conjuntos. Sean A y B dos conjuntos del estudio de referencia U.
Entonces:

D14.1. UNION DE CONJUNTOS. AB=xU/xAxB. Enunciado declarativo semántico;

Todo B o Todo A, o ambos

D14.2. INTERSECCION DE CONJUNTOS. AB=xU/xAxB. Enunciado declarativo

semántico; Tanto B como A

D14.3. COMPLEMENTO DE UN CONJUNTO. A´=xU/xA Enunciado declarativo semántico;

Todo U pero no A.

LA OPERACIÓN DE CONJUNTOS
Ampliaremos la combinación de conjuntos como una extensión hacia el algebra de
conjuntos
CP.14 Operación. En matemática, es combinación de números y operadores o de
expresiones matemáticas a las que se aplican unas reglas de cálculo para obtener un
resultado.

CP15. Operación. En medicina, es la Intervención quirúrgica que consiste en abrir o cortar

un tejido u órgano dañado o lesionado con los instrumentos adecuados y con una
intención reparadora o terapéutica.

CP16. Operación. En economía, Acción comercial de comprar o vender mercancías o

servicios en la que se produce una ganancia de dinero para una de las partes y otro tipo
de beneficio para la otra.

CP17. Operación. En el campo militar. Ejercicio militar que se realiza en el ejército,

siguiendo un plan previo, para adiestrar a los soldados”. (Definición | Diccionario de la lengua
española.dle.rae.es › operación)

D15. La operación de conjuntos es la organización entre conjuntos para formar

conjuntos compuestos a través de la combinación de conjuntos, con la finalidad de
construir operadores viables de manejar y funciones encargadas de promover, distribuir u
organizartareas relacionadas con una determinada actividad, en la teoría de conjuntos.

C19. Una operación matemática es un procedimiento que, valiéndose de reglas o

leyes de formación previamente establecidas, transforma cantidades o funciones en otras
relevantes.

CP18. Una ley de formación Es una secuencia matemática que consta de operaciones
ya conocidas, esta se da con variables y números.

D16. Las principales operaciones de conjuntos son: Sean A y B dos conjuntos del estudio
dereferencia U. Entonces;

D17. Diferencia. B-A=BA´ Enunciado declarativo semántico afirmativo; Todo B pero no A

D18. DIFERENCIA SIMETRICA. B∆A=(BA)(AB)´ Enunciado declarativo semántico; (Todo B
o todo A), pero no ambos.

D19. UNION EXCLUSIVA.

𝐵❑𝐴 = (𝐵𝐴´)(𝐴𝐵´) 𝐸𝑛𝑢𝑛𝑐𝑖𝑎𝑑𝑜 𝑑𝑒𝑐𝑙𝑎𝑟𝑎𝑡𝑖𝑣𝑜 𝑠𝑒𝑚á𝑛𝑡𝑖𝑐𝑜; 𝑜 𝑡𝑜𝑑𝑜 𝐵 𝑝𝑒𝑟𝑜 𝑛𝑜 𝐴, 𝑜 𝑡𝑜𝑑𝑜 𝐴 𝑝𝑒𝑟𝑜 𝑛𝑜 𝐵

𝑫20. 𝑮𝑶𝑳𝑷𝑬 𝑫𝑬 𝑺𝑯𝑬𝑭𝑭𝑬𝑹 𝑼𝑵𝑰𝑶𝑵. 𝐵 ↥ 𝐴 = (𝐵𝐴)´ 𝐸𝑛𝑢𝑛𝑐𝑖𝑎𝑑𝑜 𝑑𝑒𝑐𝑙𝑎𝑟𝑎𝑡𝑖𝑣𝑜 𝑠𝑒𝑚á𝑛𝑡𝑖𝑐𝑜; 𝑁𝑖𝑛𝑔ú𝑛 (𝐵 𝑜 𝐴)

𝑫21. 𝑮𝑶𝑳𝑷𝑬 𝑫𝑬 𝑺𝑯𝑬𝑭𝑬𝑹 𝑰𝑵𝑻𝑬𝑹𝑺𝑬𝑪𝑪𝑰𝑶𝑵. 𝐵 ↧𝐴 = (𝐵𝐴)´ 𝐸𝑛𝑢𝑛𝑐𝑖𝑎𝑑𝑜 𝑑𝑒𝑐𝑙𝑎𝑟𝑎𝑡𝑖𝑣𝑜 𝑠𝑒𝑚á𝑛𝑡𝑖𝑐𝑜; 𝑁𝑖𝑛𝑔ú𝑛

(𝐵 𝑦 𝐴)

𝑶𝑷𝑬𝑹𝑨𝑫𝑶𝑹𝑬𝑺 𝑶𝑵𝑻OLÓ𝑮𝑰𝑪𝑶𝑺 𝑹𝑬𝑭𝑬𝑹𝑬𝑵𝑪𝑰𝑨𝑳𝑬𝑺

𝑶𝒑𝒆𝒓𝒂𝒅𝒐𝒓 𝒎𝒂𝒕𝒆𝒎á𝒕𝒊𝒄𝒐 𝑒𝑠 𝑢𝑛 𝑠í𝑚𝑏𝑜𝑙𝑜 𝑠𝑢𝑗𝑒𝑡𝑜 𝑎 𝑟𝑒𝑔𝑙𝑎𝑠 𝑜 𝑙𝑒𝑦𝑒𝑠 𝑞𝑢𝑒 𝑟𝑒𝑝𝑟𝑒𝑠𝑒𝑛𝑡𝑎 𝑢𝑛𝑎 𝑑𝑒𝑡𝑒𝑟𝑚𝑖𝑛𝑎𝑑𝑎
𝑜𝑝𝑒𝑟𝑎𝑐𝑖ó𝑛 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎 𝑝𝑟𝑜𝑔𝑟𝑎𝑚𝑎𝑐𝑖ó𝑛: 𝑎𝑑𝑖𝑐𝑖ó𝑛 ( + ), 𝑠𝑢𝑏𝑠𝑡𝑟𝑎𝑐𝑐𝑖ó𝑛 ( − ), 𝑑𝑖𝑣𝑖𝑠𝑖ó𝑛 ( /), 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛
( . ), 𝑦 𝑚ó𝑑𝑢𝑙𝑜 (⎸⎹); 𝑞𝑢𝑒 𝑝𝑟𝑜𝑑𝑢𝑐𝑒 𝑒𝑙 𝑟𝑒𝑠𝑡𝑜 𝑑𝑒 𝑢𝑛𝑎 𝑑𝑖𝑣𝑖𝑠𝑖ó𝑛 𝑒𝑛𝑡𝑒𝑟𝑎). 𝐿𝑎 𝑑𝑖𝑣𝑖𝑠𝑖ó𝑛 𝑒𝑛𝑡𝑒𝑟𝑎 𝑡𝑟𝑢𝑛𝑐𝑎 𝑒𝑙
𝑟𝑒𝑠𝑢𝑙𝑡𝑎𝑑𝑜 (𝑛𝑜 𝑙𝑜 𝑟𝑒𝑑𝑜𝑛𝑑𝑒𝑎).

𝑳𝒐𝒔 𝒐𝒑𝒆𝒓𝒂𝒅𝒐𝒓𝒆𝒔 𝒎𝒂𝒕𝒆𝒎á𝒕𝒊𝒄𝒐𝒔 𝒃á𝒔𝒊𝒄𝒐𝒔 𝑠𝑜𝑛 𝑙𝑜𝑠 𝑚𝑖𝑠𝑚𝑜𝑠 𝑞𝑢𝑒 𝑒𝑠𝑡á𝑛 𝑑𝑖𝑠𝑝𝑜𝑛𝑖𝑏𝑙𝑒𝑠 𝑒𝑛 𝑙𝑎 𝑚𝑎𝑦𝑜𝑟í𝑎 𝑑𝑒 𝑙𝑜𝑠
𝑙𝑒𝑛𝑔𝑢𝑎𝑗𝑒𝑠 𝑑𝑒

𝑳𝒐𝒔 𝒐𝒑𝒆𝒓𝒂𝒅𝒐𝒓𝒆𝒔 𝒍ó𝒈𝒊𝒄𝒐𝒔 𝑛𝑜𝑠 𝑝𝑟𝑜𝑝𝑜𝑟𝑐𝑖𝑜𝑛𝑎𝑛 𝑢𝑛 𝑟𝑒𝑠𝑢𝑙𝑡𝑎𝑑𝑜 𝑎 𝑝𝑎𝑟𝑡𝑖𝑟 𝑑𝑒 𝑞𝑢𝑒 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑎 𝑜 𝑛𝑜 𝑢𝑛𝑎 𝑐𝑖𝑒𝑟𝑡𝑎
𝑐𝑜𝑛𝑑𝑖𝑐𝑖ó𝑛, 𝑝𝑟𝑜𝑑𝑢𝑐𝑒𝑛 𝑢𝑛 𝑟𝑒𝑠𝑢𝑙𝑡𝑎𝑑𝑜 𝑏𝑜𝑜𝑙𝑒𝑎𝑛𝑜, 𝑦 𝑠𝑢𝑠 𝑜𝑝𝑒𝑟𝑎𝑛𝑑𝑜𝑠 𝑠𝑜𝑛 𝑡𝑎𝑚𝑏𝑖é𝑛 𝑣𝑎𝑙𝑜𝑟𝑒𝑠 𝑙ó𝑔𝑖𝑐𝑜𝑠 𝑜
𝑎𝑠𝑖𝑚𝑖𝑙𝑎𝑏𝑙𝑒𝑠 𝑎 𝑒𝑙𝑙𝑜𝑠 (𝑙𝑜𝑠 𝑣𝑎𝑙𝑜𝑟𝑒𝑠 𝑛𝑢𝑚é𝑟𝑖𝑐𝑜𝑠 𝑠𝑜𝑛 𝑎𝑠𝑖𝑚𝑖𝑙𝑎𝑑𝑜𝑠 𝑎 𝑐𝑖𝑒𝑟𝑡𝑜 𝑜 𝑓𝑎𝑙𝑠𝑜 𝑠𝑒𝑔ú𝑛 𝑠𝑢 𝑣𝑎𝑙𝑜𝑟 𝑠𝑒𝑎 𝑐𝑒𝑟𝑜 𝑜
𝑑𝑖𝑠𝑡𝑖𝑛𝑡𝑜 𝑑𝑒 𝑐𝑒𝑟𝑜).

𝑫22. 𝑴𝑨𝑻𝑬𝑹𝑰𝑨 𝑫𝑬 𝑹𝑬𝑭𝑬𝑹𝑬𝑵𝑪𝑰𝐴 𝐷𝐸 𝐼𝐺𝑈𝐴𝐿𝐷𝐴𝐷. AB =(B´A)(ÁB)=U Se lee, Todo, B, es

materia de referencia de igualdad de todo A.

Enunciado declarativo semántico; expresa que: Todo B es todo A

𝑫23 𝑴𝑨𝑻𝑬𝑹𝑰𝑨 𝑫𝑬 𝑬𝑺𝑻𝑼𝑫𝑰𝑶 𝑪𝑶𝑵𝑫𝑰𝑪𝑰𝑶𝑵𝑨𝑫𝑂. 𝐵𝐴 = {𝐵´𝐴 = 𝑈Se lee, Todo, B, es materia
de estudio condicionado de A.
Enunciado declarativo semántico; expresa que: Todo B es A

D24. Dos conjuntos A y B de un estudio de referencia, U. Los conjuntos A y B son

matemáticamente iguales si existe una aplicación grafica cuyas medidas de sus
espacios contenidos resultantes son idénticos.

C20. Una aplicación grafica es un mapeo diseñado por líneas y vértices establecidas según
las características o requerimientos, que forman espacios contenidos. EJ. Diagramas de
Venn, circuitos.

C21. Un espacio contenido es una superficie o lugar con unos límites determinados y
unascaracterísticas o fines comunes, que expresa una cantidad susceptible a ser medido.

C22. Se denomina cantidad a todo aquello que es medible y susceptible de

expresarse numéricamente, pues es capaz de aumentar o disminuir. En Física, la
cantidad de movimiento de un cuerpo es una magnitud que resulta del producto de su
masa por la velocidad que lo anima.
D25. Una igualdad matemática está bien definida o es válida, si las expresiones que
la conforman son matemáticamente iguales.

P. 7. Principio de dualidad
Es un principio que validez de las leyes o teorías respecto a sus operaciones y conjuntos un
universo y vacío: El dual de la unión es la intersección, del U es 

SIMBOLOS DE USO COMUN EN UN ALGEBRA DE CONJUNTOS

SIGNIFICADO NOTACION SIMBOLICA
UNION DE LOS CONJUNTOS X e Y X+Y, XY, XY
INTERSECCION DE LOS CONJUNTOS X e Y XY, XY, XY
COMPLEMENTO DEL CONJUNTO X X´, 𝑋̅, X, X
UNIVERSO VACIO 1, U, V 0, , F

2.5. Evaluación de los aprendizajes

2.5.1. Autoevaluación
Los estudiantes reflexionan sobre sus aprendizajes, respondiendo a las siguientes
interrogantes:
¿Qué aprendí?
¿Cómo fue mi aprendizaje?
¿Para qué me va a servir lo que he aprendido?
¿Que necesito ahora?
¿Como mejoró mis aprendizajes?
¿Qué nivel alcance en mis aprendizajes cognitivos?

2.5.2. Tarea académica.

E1. Conjuntos de operaciones funcionalmente completa.
1. Representar en (P, , ´), a los conjuntos X´, XY, X+Y

2. Use diagramas de Venn para decidir cuáles de las ecuaciones son válidas para los
conjuntos, X, Y, Z cualesquiera de un estudio de referencia, U.
2.1. X´(Y+Z´)=X´Y+(X+Z)´ 2.2. XY+X´Y +XY´=1 2.3. X´Y + X Y´=0 2.4. X´Y´+ X´Y +XY´ =1

3. Use diagramas de Venn para desarrollar las expresiones algebraicas para los siguientes
conjuntos en U.
3.1. (XY´+YZ)(X´Y´+XZ+YZ) 3.2. (A+B+C´+A´X)[AC´(B´+X´)]´ 3.3. (X´+Y)´+Z

4. Dibuje los diagramas de Venn apropiados, para verificar la validez de las leyes
fundamentales.
 2.5.3. Tarea de investigación formativa
1. Ilustrar con diagramas de Venn, mostrando tres conjuntos con el máximo número de
intersecciones no vacías y marque cada una de las áreas representando los conjuntos: XYZ,
XYZ´, XY´Z, X´YZ, XY´Z´, X´Y Z´.
2. Use diagramas de Venn para decidir cuáles de las ecuaciones son válidas para los
conjuntos, X, Y, Z cualesquiera de un estudio de referencia, U.
1.1. X(Y+Z)=XY+XZ 1.2. XY+X´Y +XY´=1 1.3. (X+Y)(X´+Z)=XZ+X´Y 1.4. X´Y´+XÝ +XY´=1

3. Use diagramas de Venn para determinar expresiones más simples para los siguientes
conjuntos en U.
2.1. (XY+X´Y+XY´)´ 2.2. (X+Y´)(X´+Z)(Y+Z´) 2.3. [X´(y+z)]´ 2.4. XY+X´Z +YZ

4. Use diagramas para constatar la validez de los operadores materia de referencia

de igualdad y materia de estudio condicionado.

5. Establecer los conjuntos combinados establecidos en U, en solo términos de las principales

operaciones de conjuntos respectivamente: de golpe de Scheffer unión, Scheffer
intersección, diferencia simétrica, diferencia y unión exclusiva.

6 expresar solo en los términos de las operaciones de Scheffer, tanto como, de la unión y
tanto como de intersección respectivamente, las siguientes expresiones de conjuntos, en U:
5.1. A´+B 5.2. (A´+B)(B´+A) 5.3. AB+A´B´ 5.4. (A+B)-AB

Bibliografía consultada

ELDON, J. (2012). Álgebra Booleana y sus aplicaciones. 9° Ed. 19/Imp. México.

205p. CECSA.