UNIVERSIDAD ESTATAL

PENINSULA DE SANTA ELENA

FACULTAD CIENCIAS DE LA
INGENIERÍA
CARRERA DE INGENIERÍA
INDUSTRIAL
ASIGNATURA:
Libro de Algebra
DOCENTE: ING. MIGUEL
SALVATIERRA BARZOLA.
ESTUDIANTES:
Stefania Guerrero
Angie Enriquez
Jose Armijos
Jean Pablo Luzuriaga
Stephany Vera
Kareli Magallan
PARALELO: IND-01
PERÍODO ACADÉMICO 2021-2022
INDICE
LOGICA Y CONJUNTOS
INTRODUCCION………………………………………………
…………………………3
PROPOSICIONES………………………………………………
………………………..4
OPERADORES
LOGICOS………………………………………………………
……..7
PROPOSICIONES SIMPLES Y
COMPUESTAS…………………………….….9
PROPIEDADES DE LOS OPERADORES
LOGICOS…………………….…..15
RAZONAMIENTOS……………………………………………
…………………….…18
DEMOSTRACIONES…………………………………………
……………………..…21
CONJUNTOS……………………………………………………
…………………….…25
CUANTIFICADORES…………………………………………
…………………..……28
OPERACIONES ENTRE
CONJUNTOS……………………………………..……35
PROPIEDADES DE LAS OPERACIONES ENTRE
CONJUNTOS……..…46
PREDICADOS…………………………………………………
…………………………..53
PARES ORDENADOS Y PRODUCTO
CARTESIANO………………………..58
RELACIONES…………………………………………………
……………………………64
FUNCIONES……………………………………………………
………………………….67
 Objetivo General.
Utilizar el rigor y lenguaje formal matemático y de la lógica para establecer modelos matemáticos de situaciones cotidianas.

Objetivo Específico.
El alumno aplicará los conceptos de conjunto a la lógica. El alumno desarrollará un lenguaje formal. El alumno aplicará los
conceptos de la lógica a situaciones cotidianas en la ciencia.

Introducción
La matemática exige un lenguaje claro y preciso, es decir que no admita

ambigüedades. Para lograrlo, se vale de la lógica simbólica o lógica matemática,

que proporciona significado exacto a cada expresión y da para cada símbolo un

significado único.

Haremos un estudio muy elemental de la lógica, que servirá para poder manejar

mejor los símbolos, conceptos y enunciados que estudiaremos durante este

curso.

Para ello fijaremos un lenguaje común, comenzando por establecer que

entendemos cuando usamos la palabra proposición. Podemos dar una idea de

proposición diciendo que es toda sucesión de palabras de la cual tiene sentido

decir si es verdadera o falsa, por ejemplo:

• 5 es un número impar.

• Un cuadrado tiene cinco lados.

• En Concepción del Uruguay hay una casa construida con exactamente 23.265

ladrillos.

Evidentemente podemos decir que la primera proposición es verdadera, la

segunda, falsa, y aunque no sabemos si la tercera es verdadera o falsa, tiene

sentido afirmar que sea verdadera o falsa.

En cambio, si analizamos las siguientes expresiones:

• ¿A qué hora llegaste?

• ¡Felicitaciones!

• La pinza sirve para.

• Un por desde nada con muy.

Observamos que las dos primeras expresiones tienen sentido claro, pero lo que

no tiene sentido es afirmar que sean verdaderas o falsas, por lo tanto no son

proposiciones. La tercera expresión tiene “algo de sentido”, pero éste aparece

incompleto (nos preguntaríamos ¡sirve para ¿qué?!), y no tiene sentido afirmar

que sea verdadera o falsa, por lo que tampoco es proposición, y la última carece

totalmente de sentido en sí misma, o sea que menos aún tiene sentido

preguntarse por su veracidad o falsedad.

 Capítulo 1
PROPOSICIONES
PROPOSICIONES SIMPLES Y COMPUESTAS
Podemos afirmar que en las matemáticas se usan las literales x, y, t… para la
representación de números reales los cuales son llamados o conocidos como variables,
pueden combinarse mediante operaciones corrientes y producir expresiones
complejas.

 Las literales p, q, r,… denotan variables que pueden sustituir con preposiciones.

EJEMPLO 1 (VARIABLES)
La variable proposicional p puede sustituirse con la proposición
“El sol brilla todo el día”;
en este caso:
p: El sol brilla todo el día
y la variable proposicional q puede reemplazarse con la proposición “Hace frío”; aquí:
q: Hace frío

EJEMPLO 2 (NEGACION)
Si p: El río está sucio, entonces
∼p: No es verdad que el río está sucio
o simplemente:
~p: El río no está sucio.

EJEMPLO 3 (CONDICIONAL)
Si p: “3² = 9”, es verdadera y q: “2 es par”, es verdadera, determine el valor de verdad
de la proposición “Si 3² = 9, entonces 2 es par”.
Solución: Esta proposición se puede expresar como p → q. Puesto que p es V y q es V,
la primera fila en la tabla de verdad de la condicional muestra que p → q es verdadera
(V).
 PROPOSICIONES LÓGICAMENTE EQUIVALENTE

  Una tautología es una proposición cuyo valor de verdad es verdadero (V),

independientemente de los valores de verdad de las proposiciones que la componen.
En la tabla c) se muestra que (p ∧ q) ↔ (q ∧ p) es una tautología.

 Una contradicción es una proposición cuyo valor de verdad es falso (F),

independientemente de los valores de verdad de las proposiciones que la forman. En
la tabla b) se muestra que (p ∧ q) ∧ (∼p ∧ ∼p) es una contradicción.

 Dos proposiciones son lógicamente equivalentes si al conectarlas mediante la

bicondicionante se obtiene una proposición que es una tautología. Para indicar que
dos proposiciones P (p, q,…) y Q (p, q,…) son lógicamente equivalentes escribimos: P (p,
q,…) ≡ Q (p, q,…) o P ⇔ Q.

EJEMPLO
ARGUMENTO
Un principio fundamental del razonamiento lógico dice: “Si p implica q y q implica r,
entonces p implica r”. En otras palabras, el argumento p → q, q → r ∴ p → r (ley del
silogismo) es válido.
Para comprobarlo sólo debemos mostrar por medio de una tabla de verdad que la
proposición [(p → q) ∧ (q → r)] → (p → r) es una tautología.

FALACIA
El argumento p → q, q ∴ p es una falacia, ya que en la tercera línea de la tabla anterior se
tiene que p es falso cuando p → q y q son verdaderos.
Observemos que las proposiciones p¹, p²,…, pn son verdaderas simultáneamente si y sólo
si la proposición p¹ ∧ p² ∧ …, ∧ pn es verdadera. De esta manera, el argumento p¹, p², …,
pn ∴ q es válido si y sólo si q es verdadera siempre que p1 ∧ p2 ∧ …, ∧ pn sea verdadera o
de forma equivalente, si y sólo si la proposición (p¹ ∧ p² ∧…, ∧ pn) → q es una tautología.

IMPLICACIÓN DE PROPOSICIONES
La proposición p implica lógicamente la proposición p ∨ q.

Note que p ∨ q es verdadera cada vez que p es verdadera.

ARGUMENTO
El argumento p, p → q ∴ q es válido. Este argumento se llama modus ponendo ponens o,
más corto, modus ponens. La demostración de esta regla se obtiene directamente de la
tabla:

Observe que en la primera fila de la tabla q es verdadero cuando p y p → q lo son; el

argumento es válido.
 Capítulo 1.2
OPERADORES LÓGICOS
Normalmente, los operadores lógicos se utilizan con mayor frecuencia para escribir
predicados en D. El operador lógico AND realiza una evaluación de cortocircuito: si el
operando de la izquierda es falso (false), la expresión de la derecha no se evalúa. El
operador lógico OR realiza una evaluación de cortocircuito: si el operando de la
izquierda es verdadero (true), la expresión de la derecha no se evalúa. El operador
lógico XOR no provoca ningún cortocircuito: ambos operando se evalúan siempre.
Además de los operadores lógicos binarios, el operador unario ! se puede utilizar para
realizar una negación lógica de un único operando: convierte un operando cero en un
uno, y un operando distinto a cero en cero. Por convención, los programadores de D
utilizan ! cuando trabajan con números enteros que tienen que representar valores
booleanos y == 0 cuando trabajan con números enteros no booleanos, aunque ambas
expresiones tienen un significado equivalente.
Los operadores lógicos se pueden aplicar a operando de tipo números enteros o
punteros. Los operadores lógicos interpretan los operando de puntero como valores
de números enteros sin signo. Al igual que los operadores lógicos y relacionales en D,
los operando son verdaderos (true) si tienen un valor de número entero distinto a cero
y falsos (false) si tienen un valor de numero entero cero.
FORMAS PROPOSICIONALES
Son estructuras constituidas por variables proposicionales y relaciones con los
operadores lógicos. Se representan con las letras mayúsculas A, B, C, D, …

TAUTOLOGIAS CONTRADICCIONES FALACIAS

Es aquella forma Es aquella forma Es aquella forma

proposicional que proposicional que proposicional que
siempre da como siempre da como siempre da como
resultado verdadero. resultado falso. resultado verdadero
y falso a la vez.

EJEMPLO
 Capitulo 1.3
Proposiciones simples y compuestas
INTRODUCCIÓN
Siempre que nosotros hacemos diferentes tipos de afirmaciones nos debemos basar en una
serie de análisis que nos permitan aclarar y rectificar si lo que dijimos anteriormente es
verdadero o falso. En el trabajo que a continuación desarrollaremos podremos encontrar
como, cuando y en qué situación podemos aplicar este tipo de proposiciones. se trata de
presentar la lógica y los conjuntos como un lenguaje unificador en el estudio de la
matemática. Es importante tener en cuenta cómo la lógica nos sirve también para
ayudar a las demás ciencias a formular razonamientos válidos, aplicando un lenguaje
simbólico y una serie de reglas para manejarlo.

OBJETIVO GENERAL
Definir y reconocer las proposiciones simples y compuestas; además de eso entender el
verdadero significado de cada caso que se presente.

OBJETIVOS ESPECIFICOS
  Diferenciar las proposiciones simples de las compuestas.
 Construir proposiciones simples y compuestas.
 Aplicar lo enseñado y entendido a nuestra vida cotidiana.
 Clasificar diferentes proposiciones.

BIBLIOGRAFIA
http://uapas1.bunam.unam.mx/humanidades/
proposiciones_simples_y_compuestas/#:~:text=Las%20proposiciones
%20simples%20son%20aquellas,m%C3%A1s%20de%20una%20proposici
%C3%B3n%20simple.

Fuente: https://www.ejemplos.co/40-ejemplos-de-proposiciones-simples-y-
compuestas/#ixzz7JtZ26cL6

fundamentos matemáticos de Espol para bachilleres

QUÉ ES UNA PROPOSICIÓN

Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede
concluir que es verdadero o falso no es proposición. Es cualquier agrupación de palabras
o símbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si
es verdadera o falsa. La verdad o falsedad de una proposición es lo que se llama su valor lógico
o valor de verdad. Las proposiciones se denotan con letras minúsculas. Ejemplo: p, q, r, a, b.

Una proposición es una afirmación con sentido completo, y constituye la forma más elemental
de la lógica. Las proposiciones brindan información sobre un acontecimiento falsable, es decir,
que puede ser falso o verdadero. Por ejemplo: La tierra es plana.

Las proposiciones son los elementos básicos a partir de los cuales se construyen los
razonamientos y por eso fueron muy utilizadas en el ámbito de la ciencia y de la epistemología.

Proposiciones simples
Las proposiciones simples son aquellas que no tienen otras oraciones dentro de sí mismas, es
decir, que sólo tienen un sujeto, un verbo y un predicado, y por lo tanto, carecen de conectiva
lógica (una partícula que nos permite unir proposiciones), por ejemplo:

La Revolución Francesa fue en 1789.

Las plantas generan oxígeno.

Sócrates fue un filósofo griego.

El 9 y el 27 son factores del 81.

Esa caja es de madera.

Nada es para siempre.

La música clásica es la más antigua del mundo.

Los números pares son divisibles por dos.

La capital de Rusia es Moscú.

Esa chica es mi amiga.

Son las tres de la tarde con veintiséis minutos.

Los animales carnívoros se alimentan de plantas. (Proposición falsa)

Mi nombre es Fabián.

Está lloviendo.

El número 1 es un número natural.

En este país, el verano es muy caluroso.

Mañana será miércoles.

El número 6 es menor al número 17.

Hoy es 7 de octubre.

Su gato es marrón.

Mi hermano vende pastas.

La tierra es plana.

Mario Vargas Llosa es un importante escritor.

Mi nombre es Matías.

Está nublado.

Hoy es jueves.

Este bote es de cristal.

Mi perro es negro.

El universo es infinito.
Pedro es arquitecto.

Marta es madre.

Andar es saludable.

La casa es azul.

Ejemplo:

Traduzca al lenguaje simbólico la proposición:

“Si la seguridad privada es efectiva, disminuyen los índices de asalto en la ciudad y el turismo
se desarrolla. Los índices de asalto no disminuyen, pero la seguridad privada es efectiva.
Entonces, el turismo no se desarrolla”.

Solución:

Se pueden identificar las siguientes proposiciones simples:

a: La seguridad privada es efectiva.

b: Los índices de asalto disminuyen en la ciudad.

c: El turismo se desarrolla.

Los operadores lógicos que se encuentran presentes en esta proposición compuesta son la
condicional, la conjunción y la negación.

La traducción es: [(a→(b∧c))∧(¬b∧a)]→(¬c)

Proposiciones compuestas
Las proposiciones compuestas son aquellas que contienen dentro de sí más de una
proposición simple. Estas se relacionan a través de una conectiva lógica, por ejemplo:

El amor y el odio son sentimientos opuestos.

Si escribo diariamente algo, entonces redactaré mejor.

Compro el vestido negro o el rojo.

Puedo manejar un auto si tiene dirección hidráulica.

Gabriel García Márquez fue un gran escritor y bailarín.

Las células son procariotas o eucariotas.

La raíz cuadrada de 25 es 5, o -5.

No todos los números primos son impares.

Mi cuñado es arquitecto e ingeniero.

Los aparatos tecnológicos son negros, blancos o grises.

Si tengo hambre pues cocino.

Turquía es un país que se encuentra en Asia y Europa.

La suma de los cuadrados de ambos catetos es igual al cuadrado de la hipotenusa, si se trata

de un triángulo rectángulo.

Una ballena no es roja.

El número más grande no es 1000000.

Si el ovino come pasto, es herbívoro.

Si la información no es completa para oferentes y demandantes, hay una falla de mercado.

Está lloviendo y hace calor.

Nuestra bandera es blanca y celeste.

El 9 es divisor del 45, y el 3 es divisor del 9 y del 45.

Marcos se dedica a la natación o al alpinismo.

El número 6 es mayor que el 3 y menor que el 7.

He pasado todas mis vacaciones en Grecia y Marruecos

Puedo conducir si me encuentro bien.

Las proposiciones pueden ser compuestas o simples.

Los espárragos pueden ser blancos o verdes.

El ordenador es gris o negro.

Marcos sale a correr o escalar.

La familia ha pasado las vacaciones en Ibiza y París.

Está nevando y hace frío.

Me matriculo en la universidad si apruebo el examen.

Ejemplo:
Si tenemos dos proposiciones, las cuales a lo largo de este texto se escribirán entre
comillas, sin embargo, existen textos en los que no se utiliza esta notación:

 p: "Está lloviendo"

 q: "Hay mucho tráfico"

Las simbolizamos con las letras minúsculas: p, q y podemos operar con ellas para
obtener una nueva proposición:

 p y q: "Está lloviendo y hay mucho tráfico".

Así decimos que operar con proposiciones significa que, a partir de proposiciones
dadas, podemos obtener una nueva proposición; esta nueva proposición recibe el
nombre de proposición compuesta; por ejemplo, son proposiciones compuestas:

 p y q: "Está lloviendo y hay mucho tráfico"

 p o q: "Está lloviendo o hay mucho tráfico "

 Si p entonces q: "Si está lloviendo, entonces hay mucho tráfico"

 q si y sólo si p: "Está lloviendo si y sólo si hay mucho tráfico"

  no p: "No está lloviendo"

 no q: "No hay mucho tráfico"

Capitulo 1.5
Propiedades de los operadores lógicos
Las operaciones lógicas definidas entre las formas proposicionales y algunas de sus más
importantes propiedades se incluyen en las denominadas Leyes del Álgebra de Proposiciones o
Leyes Lógicas. A continuación, se presentan las de uso más frecuente:

Leyes de los Operadores Fundamentales Conjunción y

Disyunción.
Leyes de los Operadores Negación, Condicional y
Bicondicional.
Para demostrar estas propiedades u otras, se pueden emplear tablas de verdad o utilizar
algunas de las propiedades más elementales, como se verá a continuación en el siguiente
ejemplo:

Si se requiere demostrar la equivalencia lógica: [(p∧q)→r] ≡ [p→(q→r)] se puede emplear

tablas de verdad o propiedades de los operadores lógicos. Solución: Empleando tablas de
verdad, se construyen las respectivas combinaciones para las variables proposicionales
involucradas en la forma proposicional. Para el efecto se denominará A: [(p∧q)→r], B:
[p→(q→r)], tal como se muestra en la siguiente tabla:

Puesto que [(p∧q)→r]↔[p→(q→r)] es una tautología, se concluye que existe una equivalencia
lógica entre estas dos formas proposicionales, con lo cual se obtiene la demostración
requerida. Empleando propiedades de los operadores lógicos, se debe transformar la
estructura de una de las formas proposicionales (o de ambas) hasta establecer la equivalencia
lógica requerida. En este ejemplo se trabajará sobre la forma proposicional A, hasta obtener la
estructura de la segunda

[(p∧q)→r] ≡ [¬(p∧q)∨r] Por la Ley de la Implicación.

≡ [(¬p∨¬q)∨r] Por la Ley de Morgan de la Conjunción.

≡ [¬p∨(¬q∨r)] Por la Ley Asociativa de la Disyunción.

≡ [¬p∨(q→r)] Por la Ley de la Implicación.

[(p∧q)→r] ≡ [p→(q→r)] Por la Ley de la Implicación.

Con esto se concluye que las dos formas proposicionales son equivalentes entre sí

Las propiedades de los operadores lógicos también son útiles cuando se requiere expresar
ideas o enunciados de una forma inequívoca y precisa.

Ejemplo:

Considere las siguientes proposiciones simples:

a: El clima es propicio.

b: La tierra es fértil.

c: La flor crecerá.

Se quiere negar la proposición compuesta:

“Si el clima es propicio y la tierra es fértil, la flor crecerá”.

Solución:
La traducción del enunciado original es: (a∧b)→c

La negación de la proposición anterior es:

¬[(a∧b)→c] ¬[¬(a∧b)∨c] Por la Ley de la Implicación.

¬[¬(a∧b)]∧¬c Por la Ley de De Morgan de la Disyunción.

(a∧b)∧¬c Por la Ley de la Doble Negación.

b∧¬c∧a Por la Ley Conmutativa de la Conjunción.

1.6 Razonamientos
Objetivos
Al finalizar esta sección el lector podrá:
* Reconocer la estructura de un razonamiento.
* Dado un razonamiento, establecer su validez empleando tablas de verdad.
* Dado un razonamiento, establecer su validez empleando las Leyes del Álgebra de
Proposiciones.

Definición 6.1 (Razonamientos )

Son proposiciones compuestas que pueden ser representadas por la conjunción de
proposiciones a estas proposiciones la denominamos premisas o hipótesis, la condicional
como operador lógico principal; y, una proposición final denominada conclusión. Las
premisas o hipótesis corresponden al antecedente de la implicación, mientras que la
conclusión es su consecuente.

[ H1∧ H2 ∧ H3 … ∧ H n] → C
Conjunción de hipótesis Condicional Conclusión

ANTECEDENTE CONSECUENTE OPERADOR LÓGICO

La lógica simbólica se ocupa de analizar la validez de los razonamientos; no nos puede decir si
la información contenida en una hipótesis es verdadera o falsa. Los términos válido y no válido
se refieren a la estructura del razonamiento, no a la veracidad o falsedad de las proposiciones.
El punto importante a recordar es que la veracidad o falsedad de las premisas y la conclusión,
no determinan la validez del razonamiento.

Definición 6.2 (Validez de un razonamiento)

Un razonamiento es válido cuando la forma proposicional que representa su estructura
lógica es una tautología. Si dicha forma proposicional es una contradicción o contingencia,
entonces el razonamiento no es válido, en cuyo caso se denomina falacia.

Ejemplo 6.1
Determine si el siguiente razonamiento es válido:

“Si Pablo recibió el e-mail, entonces tomó el avión y estará aquí al mediodía. Pablo no tomó el
avión. Luego, Pablo no recibió el e-mail”.

Solución:

Se procede primero a identificar las proposiciones simples:

a: Pablo recibió el e-mail.

b: Pablo tomó el avión.

c: Pablo estará aquí al mediodía.

Luego, se identifican las hipótesis y la conclusión:

H 1 : a →(b ∧c ) H 2 :¬ b C :¬ a

A partir de estas proposiciones pueden obtenerse las siguientes formas proposicionales:

H 1 : p →(q ∧ r ) H 2 :¬ q C :¬ p

Con lo cual, la estructura lógica del razonamiento sería:

[ H 1 ∧ H 2 ]→C

[( p →(q ∧r ))∧ ¬q ]→ ¬ p

P q r q∧r H1 H2 H1∧ H2 C [ H 1 ∧ H 2 ] →C
p →(q ∧r ) ¬q ¬p
0 0 0 0 1 1 1 1 1
0 0 1 0 1 1 1 1 1
0 1 0 0 1 0 0 1 1
0 1 1 1 1 0 0 1 1
 1 0 0 0 0 1 0 0 1
1 0 1 0 0 1 0 0 1
1 1 0 0 0 0 0 0 1
1 1 1 1 1 0 0 0 1
Puesto que la forma proposicional resultó tautológica, podemos concluir que el razonamiento
es válido. Otro método para determinar la validez de este razonamiento consiste en la
utilización de las propiedades de los operadores lógicos:

[( p →(q ∧r ))∧ ¬q ]→ ¬ p

¬[( p →(q ∧r ))∧ ¬q ]∨ ¬ p Por la Ley de la Implicación.

¬[(¬ p ∨(q ∧ r))∧ ¬q ]∨ ¬ p Por la Ley de la Implicación.

¬(¬ p ∨(q ∧r ))∨(¬ q)∨¬ p Por la Ley de Morgan de la Disyunción.

(¬(¬ p)∧¬(q ∧r ))∨¬(¬ q) ∨¬ p Por la Ley de Morgan de la Disyunción

( p ∧¬(q ∧ r))∨ q ∨¬ p Por la Ley de la Doble Negación.

( p ∧(¬q ∨¬ r ))∨q ∨ ¬ p Por la Ley de Morgan de la Conjunción.

( p ∧¬ q)∨( p ∧¬r ) ∨(q ∨¬ p) Por la Ley Distributiva de la Conjunción.

( p ∧¬ q)∨( p ∧¬r ) ∨¬( p∨ ¬q) Por la Ley de Morgan de la Conjunción.

[( p ∧¬ q)∨¬( p ∧¬ q)]∨( p ∧¬ r ) Por la Ley Asociativa de la Disyunción

1 ∨( p∧ ¬r ) Por la Ley del Tercero Excluido.

1 Por la Ley de Absorción de la Disyunción.

Ejemplo 6.2
Determine si el siguiente razonamiento es válido:

“Si el crimen ocurrió después de las 04h00, entonces Pepe no pudo haberlo cometido. Si el
crimen ocurrió a las 04h00 o antes, entonces Carlos no pudo haberlo cometido. El crimen
involucra a dos personas, si Carlos no lo cometió. Por lo tanto, el crimen involucra a dos
personas”.

Solución:

Se procede primero a identificar las proposiciones simples:

a: El crimen ocurrió después de las 04h00. b: Pepe pudo haber cometido el crimen.

c: Carlos pudo haber cometido el crimen. d: El crimen involucra a dos personas.

Luego se identifican las hipótesis y la conclusión:

H 1 : a →(¬b) H 2 :(¬ a)→(¬ c) H 3 :(¬ c) →d C:d

A partir de estas proposiciones pueden obtenerse las siguientes formas proposicionales:

H 1 : p →(¬ q) H 2 :(¬ p) →(¬r ) H 3 :(¬ r)→ s C:s

Con lo cual, la estructura lógica del razonamiento sería:

[ H 1 ∧ H 2 ∧ H 3 ]→C

[( p →(¬q)∧((¬ p) →(¬r ))∧((¬ r ))→ s)]→¬ s

P q r s ¬q H1 ¬ p ¬r H2 H3 H 1 ∧ H 2 ∧ H 3[ H 1 ∧ H 2 ∧ H 3 ]→C
p →(¬q) (¬ p) →(¬r ) (¬ r) → s
0 0 0 0 1 1 1 1 1 0 0 1
0 0 0 1 1 1 1 1 1 1 1 1
0 0 1 0 1 1 1 0 0 1 0 1
0 0 1 1 1 1 1 0 0 1 0 1
0 1 0 0 0 1 1 1 1 0 0 1
0 1 0 1 0 1 1 1 1 1 1 1
0 1 1 0 0 1 1 0 0 1 0 1
0 1 1 1 0 1 1 0 0 1 0 1
1 0 0 0 1 1 0 1 1 0 0 1
1 0 0 1 1 1 0 1 1 1 1 1
1 0 1 0 1 1 0 0 1 1 1 0
1 0 1 1 1 1 0 0 1 1 1 1
1 1 0 0 0 0 0 1 1 0 0 1
1 1 0 1 0 0 0 1 1 1 0 1
1 1 1 0 0 0 0 0 1 1 0 1
1 1 1 1 0 0 0 0 1 1 0 1
Puesto que la forma proposicional resultó una contingencia, podemos concluir que el
razonamiento no es válido (falacia lógica).
 1.7 Demostraciones
Objetivos
Al finalizar esta sección el lector podrá:
* Aplicar las propiedades y el álgebra de las proposiciones para realizar demostraciones
lógicas, empleando técnicas directas, técnicas de contraposición, contraejemplos y
reducción al absurdo.

En matemáticas, a menudo nos ocupamos de la demostración lógica de ciertas afirmaciones.

Cualquier sistema lógico debe comenzar con algunos términos fundamentales, definiciones, y
axiomas o postulados. A partir de ello, se pueden deducir por razonamientos válidos otras
afirmaciones. Para poder demostrar algo, es necesario justificar cada paso de la demostración
de manera lógica.

7.1 Demostraciones Directas

También denominadas “marcha adelante”. Si queremos demostrar que p →q , examinamos

los elementos que aparecen en p; y, con la atención puesta en q , intentamos deducir q a partir
de una secuencia de pasos lógicos que comience en p y termine en q .

Ejercicio 7.1
Demostrar la Ley del MODUS PONENDO PONENS [( p → q)∧ p]⇒ q utilizando el método de
demostración directa.

Solución:
Aplicamos en dos oportunidades la Ley de la Implicación:( a → b ) ≡ ( ¬ a ∨b )
¬[( p →q )∧ p]∨ q
¬[(¬ p ∨ q)∧ p]∨ q
Aplicamos la Ley de Morgan de la Conjunción:¬(a ∧b) ≡(¬a ∨ ¬b)
[¬(¬ p∨ q)∨¬ p]∨ q
Aplicamos la Ley de Morgan de la Disyunción:¬ ( a∨ b ) ≡ ( ¬ a ∧¬b )
[(¬(¬ p)∧¬q)∨¬ p ]∨ q
Aplicamos la Ley Involutiva (Doble Negación): ¬ ( ¬ a ) ≡a
[( p ∧¬ q)∨¬ p]∨q
Aplicamos la Ley Conmutativa de la Disyunción(a ∨ b)≡(b ∨ a)
[¬ p ∨( p ∧¬ q)]∨q
Aplicamos la Ley Distributiva::[a∨(b ∧ c)]≡[(a ∨b) ∧(a ∨c )]
[(¬ p ∨ p) ∧(¬ p ∨ ¬q)]∨q
Aplicamos la Ley del Tercero Excluido:: ( a ∨¬ a ) ≡1
[(1)∧(¬ p ∨¬ q)]∨q
Aplicamos la Ley de Identidad de la Conjunción(1 ∧a) ≡a
(¬ p ∨¬ q)∨q
Aplicamos la Ley Asociativa de la Disyunción:: [ ( a ∨b ) ∨ c ] ≡ [ a ∨ ( b ∨ c ) ] ¬ p ∨( ¬q ∨ q)

Aplicamos la Ley del Tercero Excluido(a ∨¬ a) ≡1

¬ p ∨(1)
Aplicamos la Ley de Absorción de la Disyunción:a ∨1 ≡1
1
Con lo cual queda demostrado que la forma proposicional es tautológica, independientemente
del valor de verdad que tomen las variables proposicionales.

7.2 Demostraciones por contraposición (o contrarrecíproca)

Este tipo de demostración es conocido como “supongamos que no”. Está basada en la
equivalencia que vimos entre (p→q) y (¬q→¬p).

En lógica, la contraposición de una declaración condicional se forma negando ambos términos

e invirtiendo la dirección de la inferencia. Explícitamente, la contraposición de la declaración
"si A, entonces B" es "si no B, entonces no A." Una declaración y su contrapositiva son
lógicamente equivalentes: si la afirmación es cierta, entonces su contrapositivo es cierto, y
viceversa.

P q ¬p ¬q Directa Recíproca Contraria o Contrarrecíproca o

inversa contraposición
p →→ q q →→ p ¬p →→ ¬q ¬q →→ ¬p
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V

7.3 Demostraciones por contraejemplo

El dar un ejemplo o mil, que ilustren una proposición, no demuestra que ésta sea verdadera.
Sin embargo, sí podemos demostrar el hecho de que la proposición sea falsa, aportando por lo
menos un ejemplo que lo confirme. Dicho ejemplo recibe el nombre de contraejemplo. El
contraejemplo pone en evidencia que existe al menos un caso en el cual la proposición no es
verdadera.

Ejemplos 7.3 (Demostraciones por contraejemplo)

1. Ejemplo: Todo numero divisible por 5 lo es también por 3 y 2

Contraejemplo: el 25 es divisible por 5, pero no por 3 ni 2

2. Ejemplo: la suma de dos enteros impares es otro entero impar

Contraejemplo: al sumar 5+7=12, y no es impar

3. Ejemplo: todos los números primos son impares

Contraejemplo: el 2 es un numero primo y no es impar

Ejercicios propuestos

a- Verifique si la siguiente proposición es verdadera:

 “Si un número impar es mayor que dos, es primo”.

Solución:

A partir de esta proposición se podrá suponer, erróneamente y en base a una observación

limitada, que los números 3, 5 y 7 cumplen esta proposición. Sin embargo, podemos notar que
el número 9 representa un contraejemplo para esta proposición que es falsa. Es más, no es el
único, ya que aunque el 11 y el 13 vuelven a cumplir tal proposición, existen otros
contraejemplos, como el 15, 21, 25, 27, 33.

b- Verifique si la siguiente proposición es verdadera:

“Las ciudades del Ecuador son capitales de provincias”.

Solución:

Si leemos rápidamente y sin mayor análisis la referida proposición, podríamos concluir que su
valor de verdad es verdadero, ya que Guayaquil, Portoviejo, Machala, Quito, entre otras, son
ciudades y capitales de provincias. Mientras que Quevedo es una ciudad y no es capital de
provincia alguna de nuestro país, lo mismo ocurre con ciudades como Manta, Atacames y
Milagro, constituyendo por ende contraejemplos para la proposición objeto de estudio, la cual
definitivamente es falsa.

7.4 Demostraciones por reducción al absurdo

En este método se supone que la estructura del razonamiento p →q

no es tautológica. Debido a que el operador principal de un razonamiento es la implicación, la
estructura no es tautológica si existe al menos un caso 1 →0 , es decir, partimos de p y q e
intentamos llegar a un disparate o contradicción. Como p no puede ser falsa, pues constituye
la hipótesis, se concluye que lo que es falso es q .

Ejemplo 7.4

Demostrar que la raíz de 2 es irracional.

Para ello partiremos de la siguiente hipótesis: La raíz de 2 es racional. Por ello la expresamos
como el resultado del cociente de dos enteros p y q;
p
√ 2= , con p , q ∈ Z tal que q ≠ 0
q
Y sin perder ninguna generalidad tomamos a p y q positivos y primos entre sí, de manera
p p2
que   es una fracción irreducible. Elevando ambos términos al cuadrado:2=
q q2
Y pasando el q 2 a la izquierda llegamos a: 2 q2 =p 2

El término de la izquierda es par. Es por ello que  p2 debe de ser también par. Como p es un
número racional, si   p2es par, p también debe de ser par. Lo suponemos de la forma p=2n.
Sustituyendo nos quedaría: 2 q2 =¿
Siguiendo el mismo planteamiento anterior, llegamos a que q es par ya que q 2es par.

Al ser p y q pares, tienen como factor común el 2. Esto contradice la suposición inicial de que p
y q no tenían factores en común. Llegar a una contradicción siguiendo un razonamiento
correcto implica que la premisa inicial de que √ 2 era racional es falsa.
Por lo tanto, se demuestra que√ 2  es irracional

Ejercicio 7.4

Utilizando el método de reducción al absurdo, demostrar la Ley del MODUS PONENDO

PONENS [( p → q)∧ p]⇒ q

Solución:

Debe procurarse partir de la situación en la que la condicional resulte con valor de verdad
falso ( 1 →0 ), ya que si esto se cumple, estaremos seguros de que la forma proposicional no
será una tautología. Como debemos buscar que el antecedente sea verdadero y el
consecuente falso, planteamos:
[ ( p →q ) ∧ p ] ⇒ q

1 0

Ahora, como la conjunción( p →q ) ∧ p es verdadera, entonces ( p →q ) es verdadera y p es

verdadera:
[ ( p →q ) ∧ p ] ⇒ q

1 1 0

Analizando la segunda hipótesis y la conclusión, p debe ser verdadera y q debe ser falsa. Con
estos valores de verdad para p y q, no es posible conseguir que la primera hipótesis p →q sea
verdadera. Por lo tanto, no es factible el suceso de [ ( p →q ) ∧ p ] que sea verdadera y que q
sea falsa. A partir del análisis anterior, concluimos que la forma proposicional
[ ( p →q ) ∧ p ] ⇒ q es tautológica.
Observación del capítulo 7
Los métodos por contrarrecíproca y de reducción al absurdo se parecen en que en ambos se
construye una contradicción usando la negación de la conclusión.

Sin embargo, la diferencia es que, en el primero la contradicción es con la hipótesis y en el

segundo la hipótesis también se utiliza y la contradicción es con cualquier otra proposición,
axioma, definición, postulado
 1.8 Conjuntos
Objetivos

Al finalizar esta sección el lector podrá:

* Dada una agrupación cualquiera, reconocer si es o no un conjunto.
* Definir con sus propias palabras los diferentes tipos de conjuntos.
* Expresar un conjunto por comprensión o extensión.
* Determinar la cardinalidad de un conjunto dado.

La noción de conjunto es una idea básica en las matemáticas. El profundizar rigurosamente en

la teoría de conjuntos es una tarea más compleja de lo que se intenta en este texto.

Definición 8.1 (conjunto)

Un conjunto es una colección bien definida de objetos, llamados sus elementos. Los
conjuntos se simbolizan con letras mayúsculas A, B, … Los objetos que componen el
conjunto se denominan elementos o miembros y se denotan con letras minúsculas a, b, …

Si la característica particular que observamos en una colectividad es la de estar en el mismo

curso de matemática, entonces esa colectividad constituye un conjunto y cada uno de los
compañeros de clase de matemática es un elemento del conjunto. Hay dos formas de escribir
los conjuntos; la primera de ellas sigue el principio de extensión, por el cual podemos
determinar el conjunto enumerando todos sus elementos. La segunda sigue el principio de
comprensión o abstracción, por el cual es posible determinar un conjunto identificando sus
elementos mediante una propiedad común a ellos.

Ejemplo 8.1

Algunas agrupaciones que representan conjuntos son:

• Los números enteros.

• Los habitantes de la Luna.

• Los animales en extinción.

• Los números primos.

• Los paquetes de software.

• Los operadores de telefonía celular.

La descripción de un conjunto se puede realizar de las siguientes maneras:

• Por COMPRENSIÓN, para referirnos a alguna característica de los elementos.

• Por EXTENSIÓN o TABULACIÓN, cuando se listan todos los elementos.

• Por medio de DIAGRAMAS DE VENN, cuando se desea representarlo gráficamente

 Definición 8.2 descripción de conjuntos por extensión y por comprensión
Para escribir un conjunto por extensión, se enumeran todos sus elementos separándolos
con comas y luego se encierran entre llaves { … }.
Para escribir un conjunto por comprensión se elige un elemento arbitrario x y se señala que
cumple la propiedad P(x). Finalmente, se encierra toda la expresión entre llaves:
A={ x| x P(x) }.
que se lee “A es el conjunto de todos los elementos x tales que los x cumplen la propiedad
P(x)” ( l se lee “tal que”).

Ejemplo 8.2

Por COMPRENSIÓN:

A = {x/x es consonante de la palabra amistad}

Por EXTENSIÓN o TABULACIÓN: A = {d, m, s, t}

Por DIAGRAMAS DE VENN:

Note que: d ∈A b ∉A
t d

m s

Ejercicio de conjuntos por extensión

Escriba por extensión el conjunto

A={ x|x es una vocal delespañol }.

Solución: A={ a , e , i , o ,u }

Ejercicio de conjuntos por comprensión

Escriba por comprensión el conjunto

A={ 2,4,6,8,10 }
Solución: A={ x|x es un número entero positivo par menor que 12 }

8.3 Conjuntos iguales

Decimos que dos conjuntos A y B son iguales si tienen los mismos elementos. Para indicar A
y B son iguales se escribe:
A-B

Ejemplo 8.3

Los conjuntos A={ x| x2 =4 }

B= { x|x es un número par distinto de cero entre−3 y 3 }

son iguales, ya que tienen los mismos elementos: A={−2,2 }, B= {−2,2 } ; A=B
 8.4 Definición (Cardinalidad)
El número de elementos de un conjunto finito es lo que se llama la cardinalidad de dicho
conjunto. La cardinalidad de un conjunto finito A se denota por:
Card (A) o lAl

Ejemplo 8. 4.1

La cardinalidad del conjunto

B= { x|x es un número primo y par }

es 1, ya que hay un solo número primo que es par, el 2; por ende, Card (B) = 1.

Ejemplo 8. 4.2

La cardinalidad del conjunto A={ h , i, j , k , l, n } es 6, ya que A tiene seis elementos; por tanto,
Card (A) =6.

8.5 Conjuntos relevantes

Sea A un conjunto, se pueden dar los siguientes casos:

• A es VACÍO si no tiene elementos. El símbolo que se utiliza para representar al conjunto vacío
es ∅. N(A) = 0

• A es UNITARIO si tiene un único elemento. N(A) = 1

• A es FINITO si tiene una cantidad finita de elementos.

• A es INFINITO si no tiene una cantidad finita de elementos.

• A es REFERENCIAL o UNIVERSO cuando contiene todos los elementos que deseen

considerarse en un problema, discurso o tema, sin pretender contener todo lo que no interesa
al problema. El símbolo que se utiliza para representar a este conjunto es Re o U

Ejemplo 8.5

Conjunto VACÍO:

A = {x/x es un número par e impar a la vez}

Conjunto UNITARIO:

A = {*}

Conjunto FINITO:

A = {x/x es habitante del Ecuador}

Conjunto INFINITO:

A = {x/x es número entero}

Conjunto REFERENCIAL o UNIVERSO:

A = {x/x es una letra del alfabeto español}

 CAPITULO 1.9
CUANTIFICADORES

Los cuantificadores son

símbolos funcionarios para
indicar que tipo de
elementos de un conjunto
dado cumple con alguna
propiedad como por
ejemplo pertenencia, orden
y equivalencia.
OBJETIVOS
 Conocer los tipos de
cuantificadores.
 Clasificar las proposiciones categóricas de forma estándar.
 Implantar el tipo de posición que se puede presentar entre dos
proposiciones lógicas.
El objetivo de este trabajo es para tratar el designado ámbito de los
cuantificadores en fabricación sintácticas. En sí, nos referimos al caso del
ámbito de los cuantificadores en las pasivas.

se trata el problema tradicional donde aparecen más de dos cuantificadores en

una oración. En ciertos casos, se crea una ambigüedad semántica que
depende del ámbito que decida cada cuantificador.

Son conceptos de ideas lógicas de predicados, también se tratan de conjuntos

muy sencillos donde uno especifica la cantidad de cada conjunto.

Incluso argumentos breves que señalan cantidad de algo, suelen ser

mencionados en lo plural o singular, tal como analicemos siempre a nivel
proposicional, este tipo de argumentos proposicionales que indican cantidad se
les llama proposiciones categorías.

Los cuantificadores en lógica se usan más en teoría de conjuntos y son frases

que expresan cierta cantidad, sea plural o singular sobre el sujeto incógnito de

una función proposicional (enunciado abierto) que satisface una posesión

determinada.
 5.1 cuantificador universal
El cuantificador universal verifica que algo es cierto para todos los
individuos (∀x)P(x) ó AxP(x) y se lee “para todo x, P”. Se interpreta como:

P(a1) ˄ P(a2) ˄ P(a3) ˄ . . . ˄ P(an).

Se define que p es verdadero para ciertos posibles valores de x.

Las formas de uso son las siguientes:

(∀x) ( P(x) → Q(x) )
Para toda x, todas las P son Q

(∀x)( P(x) → ¬Q(x) )
Para toda x, las P no son Q

(∀x) P(x)
Para todas las x, x es P

¬(∀x) P(x)
No todas las x son P (o algunas x son P)

(∀x) ¬P(x)
Todas las x no son P

5.1.1 cuantificador universal afirmativo

Se emplea para confirmar que todos los elementos de un conjunto tengan una
determinada propiedad. sea a una expresión y sea x una variable.

Ejemplo 1

“x protege el circuito de luces”

Para cada x, x protege el circuito de luces
En este caso utiliza “x” para confirmar cada elemento del universo posee una
cierta propiedad
Wx ↔ x protege el circuito de luces (∀x) Wx
Conclusión: No existe termino en el número de veces que suelen aplicarse la
definición a la misma proposición universal.
Ejemplo 2

Cada número positivo es mayor que cero

1 es un número positivo
3 es un número positivo
Por lo tanto, 1 y 3 son mayores que cero
Se define:
Px ↔ x es un número positivo
Demostrar 1>0 & 3>0

5.1.2 especificación universal

Regla de consecuencia para la eliminación de los cuantificadores universales
para que permitan analizarla y utilizarla en la estructura de las proposiciones en
el razonamiento.

Ejemplo 3
“Cada esquema de protección cuida un dispositivo”
“El fusible 2 es un esquema de protección”
“Por lo tanto, el fusible 2 cuida un dispositivo”
Donde:
Lx ↔ x es un esquema de protección
Px ↔ x cuida un dispositivo
e=fusible 2
5.1.3 propiedades
5.2 CUANTIFICADOR EXISTENCIAL
Se utiliza para indicar que hay uno o más elementos en el conjunto en cuestión
que cumplen una determinada propiedad
 se usa el símbolo Ǝ, llamado cuantificador existencial, ante puesto a una variable para decir
que "existe al menos" un elemento del conjunto B , al que hace referencia la variable, que
cumple la proposición.

El cuantificador existencial indica que algo es cierto para algunos

individuos (∃x)P(x) ó ExP(x) y se lee “existe un x tal que P“.
P(a1) v P(a2) v P(a3) v . . . v P(an)

5.2.1 formas de utilizar el cuantificador existencial

(∃x) ( P(x) ˄ Q(x) )

Para ciertas x, x son P y Q

(∃x) ( ¬P(x) ˄ ¬Q(x) )

Para ciertas x, x no son P y Q

(∃x) P(x)
Algunas x son P (o hay P)

(∀x) (∃y) P(x,y)

Para todas las x, hay una y tal que P

(∃x) ¬P(x)
Algunas x no son P

¬(∃x) P(x)
Ninguna x es P

Ejemplo 1
Si disponemos dos conjuntos distintos A y B,
y A es un subconjunto de B:

Tenemos al menos un elemento x de B que forma

parte a A:

Al afirmar que existe al menos un x que dispone

a B y pertenece a A, esto quiere decir que no
todos los elementos de B pertenecen a A, al
ser A y B conjuntos diferentes, existe al menos un
elemento y de B que no pertenece a A:
Podemos describirlo de la siguiente manera:
“aparece al menos un x, tal que x es un animal y x es carnívoro
Y su simbolización seria así (Ǝx) (Ax ʌ Cx)

Ejemplo 2
“algunos estudiantes de contabilidad han estudiado costos”
P(x)=ha estudiado contabilidad
Donde x: alumnos de UEPALMAR

=ƎxP(x)
5.2.2 cuantificador existencial único
El cuantificador existencial con marca de unicidad se utiliza para señalar que
existe un único elemento de un conjunto A que realiza una determinada propiedad.
Existe una única x elementos de A, que cumple P(x).

Ejemplo 3
Todos los planetas son habitables si todos ellos tendrían las mismas categorías
que la tierra, aunque podría ser posible algún día.
x : Todos los planetas son habitables
A: si todos ellos tendrían las mismas categorías que la tierra
P(x): aunque podría ser posible algún día.

5.3 NEGACION DE LOS CUANTIFICADORES

Para negar un enunciado cuantificado, en este caso solo se cambiaria el
cuantificador y negar la afirmación o predicado
Ejemplo 1
“no es cierto que todas flores son rojas”
En lenguaje simbólico se expresaría así:

F: todas las flores

R: no son rojas
Ǝx=todas las flores no son rojas

5.3.1 combinación de los cuantificadores

Algunos cuantificadores llevan combinación que se diferencian por el orden en que
se disponen, por lo tanto, llevan a conformar una expresión con el propósito de
aclarar el significado mediante el simbolismo lógico de cada expresión teniendo en
cuenta el paréntesis.

Ejemplo 2
“Hay un número racional diferente de cero que al multiplicarlo por otro racional el
resultado es 1”.

En este caso se verifica que es falso, ya que no hay un número racional que al
multiplicarlo por cualquier racional resulte 1.
por ejemplo, 5 y 4 son números racionales y 5*4≠1.

Ejemplo 3
Valor de verdad verdadero Para todo número real se dispone otro número real
que al sumarlos su resultado es cero.
Podemos decir que esta expresión se simboliza por el cual es verdadera, que
consta con sumar adicionarle el inverso aditivo y conseguimos el resultado.
 CAPITULO 1.10
OPERACIONES ENTRE CONJUNTOS

Las operaciones con conjuntos 
también conocidas como
álgebra de conjuntos, nos
OBJETIVOS permiten
ejecutar operaciones sobre
 Identificar el concepto
los conjuntos para tener
de aplicaciones entre
otro conjunto.

conjuntos.
 Determinar las propiedades que manifiestan las
diversas operaciones entre conjuntos y saber
usarlas.
 Ejercer distintas operaciones entre conjuntos en
cada temática.
 Conocer y asimilar el concepto como cierta
estructura algebraica

Estudia a los conjuntos que se disponen a partir de los axiomas, considerados

como objetos amorfos, i.e., desprovistos de distintos tipos de estructura, mediante
diferentes tipos de morfismos, e.g., relaciones, funciones parciales y funciones.
Posteriormente, para profundizar en el estudio de la naturaleza de los conjuntos,
se les dota de distintas estructuras, siendo las indeterminada las de tipo relacional,
algebraico, topológico y analítico y se les relaciona mediante los morfismos
adecuados, i.e., aquellos que preservan las estructuras involucradas. las
operaciones conjuntistas básicas, se consideran a las las relaciones y las
funciones, que usa para establecer los conceptos de producto de una familia de
conjuntos, igualador de un par de aplicaciones con el mismo dominio y
condominio, producto librado de un par de aplicaciones con un condominio común
y límite proyectil de un sistema proyectivo de conjuntos; así como los conceptos
de la variedad de una familia de conjuntos, igualador de un par de aplicaciones
con el mismo dominio y condominio, suma une de un par de aplicaciones con un
dominio común y límite inductivo de un sistema inductivo de conjuntos.

8.1 UNION DE CONJUNTOS

la unión de dos o más elementos de un
conjunto es una operación que resulta en otro
conjunto, dichos elementos son los mismos de
los conjuntos iniciales.
El conjunto de los números naturales es la
unión del conjunto de los
números pares positivos P y el conjunto de los
números impares positivos I.

Su símbolo que le diferencia es

La unión de dos conjuntos A y B es otro conjunto A ∪ B dichos elementos son

todos los elementos de A y/o de B:

Ejemplo 1
los conjuntos de números naturales C = {n: n es un número primo} y D = {m: m es
un número compuesto}.su unión se refiere, ya que el único número natural que no
es ni primo ni compuesto 
En este caso solo se verifican los elementos repetidos.

8.1.1 idempotencia
Es la propiedad para ejecutar una acción definida varias veces y aun así conseguir el mismo
resultado que se obtendría si se realiza una sola vez. Un elemento que define esta propiedad
es un elemento idempotente, o un idempotente. También pueden multiplicarse en sí mismo
el elemento.
La unión de un conjunto A consigo mismo es el propio A:
Tanto A como B son subconjuntos de su unión:

La unión de un conjunto A con un subconjunto suyo B lo deja inalterado

8.1.2 propiedades de la unión

Propiedad asociativa:  La unión de los conjuntos A y B ∪ C es igual que la unión
de los conjuntos A ∪ B y C.

Propiedad conmutativa: La unión de los conjuntos A y B es igual a la unión de

los conjuntos B y A

Elemento neutro: La unión de un conjunto A con el conjunto vacío ∅ es el mismo

conjunto A:
Propiedad distributiva: es aquella en la que el resultado de un número
multiplicado por la suma de dos o más sumandos, es igual a la suma de los
productos de cada sumando por ese número.

Ejemplo 2

Ejemplo 3

A={Juan, Pedro Pablo}

B={María, Martha, Juana}

 AUB={Juan, Pedro Pablo, María, Martha, Juana}

Ejemplo 4

X={cuadrado, triángulo}

Y={círculo, elipse}

XUY = {cuadrado, triángulo, círculo, elipse}

8.2 INTERSECCIÓN DE CONJUNTOS

la intersección de dos (o más) conjuntos es una operación que calcula en otro
conjunto que contiene los elementos comunes a los conjuntos de partida. Su
símbolo es ∩

Ejemplo 1
A = { a, b, c, d, e, f}

B = { a, e, i, o, u}

 A∩B = { a, e}

8.2.1propiedades de intersección
Propiedad asociativa:   La intersección de los conjuntos A y B ∩ C es igual a la
intersección de los conjuntos A ∩ B y C :

Propiedad conmutativa: La intersección de los conjuntos A y B es igual a la

intersección de los conjuntos B y A 

Elemento absorbente: La intersección de un conjunto A con el conjunto

vacío ∅ es ∅.

Propiedad distributiva: es la multiplicación de los conjuntos A Y B

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

A ∪ (A ∩ B) = A

A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∩ (A ∪ B) = A

8.3 DIFERENCIA DE CONJUNTOS

 la diferencia de dos conjuntos es una operación que nos lleva como resultado
otro conjunto con los elementos del primer conjunto sin los elementos del segundo
conjunto.
La diferencia de A menos B (o entre A y B) es otro conjunto A \ B (o
también A − B) estos elementos son todos aquellos elementos de A que no lo
sean de B.

8.3.1 propiedades
Elemento neutro: La diferencia entre un conjunto y el conjunto vacío es el propio
conjunto.

La diferencia entre dos conjuntos es el conjunto vacío si es que tiene el primero es

un subconjunto del segundo

La diferencia entre dos conjuntos es igual al primer conjunto si ambos conjuntos

son disjuntos

En cuanto a los dos conjuntos, su intersección y su diferencia son disyuntos entre

sí, y su unión es uno de los primeros elementos iniciales.

Ejemplo 1
S = {1,2,3} , T = {2,3,4},
Ya que decimos que S ∖ T = {1},
Por lo consiguiente T ∖ S = {4}.
podemos verificar claramente la diferencia de conjuntos que nos conmutativa.
Ejemplo 2
B = {1, 2, 4, 6}

A = {1, 2, 4, 6, 7, 8, 9}

Los que están en A que no están en B son 7, 8 y 9

A - B = {7, 8, 9}

8.4 COMPLEMENTO DE CONJUNTOS

es otro conjunto que tiene todos los elementos que
no están en el conjunto original. Para poder
analizarlo es necesario verificar qué tipo de
elementos se están utilizando, o de otro modo, cuál
es el conjunto universal.
El complementario de A es otro conjunto A∁ estos
elementos son todos aquellos que no están en A:

 Esta es la afirmación de «todos los x que no están en A»

Consideramos un conjunto universal, la diferencia entre dos

conjuntos puede definirse usando la noción de complementariedad

8.4.1 propiedades
Considerando al conjunto universal cuando los elementos tienen conjuntos vacíos
y no contienen ningún otro.

Propiedad involutiva: El complementario del complementario de A es el propio A

La unión de un conjunto y su complementario es el conjunto universal

Un conjunto y su complementario son disjuntos.

8.4.2 leyes de Morgan

Son un par de reglas de formaciones que son ambas reglas de inferencia válidas. Las normas
nos permiten la expresión de las conjunciones y disyunciones previamente en términos de vía
negación.
Podemos expresarla en dos reglas

El complementario de la unión de dos conjuntos es la intersección de los complementarios

El complementario de la intersección de dos conjuntos es la unión de los complementarios

Ejemplo 1
Sea P el conjunto de números pares:
P = {2, 4, 6, 8...}
El conjunto universal de los números naturales N:
 N = {1, 2, 3, 4, 5, 6, 7, 8, 9...}
El complemento.
P∁ = I = {1, 3, 5, 7, 9...}
8.5 PRODUCTO CARTESIANO
Es una operación, que analiza en otro conjunto, estos elementos son todos
los pares ordenados que pueden integrarse de forma que el primer elemento del
par ordenado sea perteneciente al primer conjunto y el segundo elemento
perteneciente al segundo conjunto.

El conjunto vacío procede como el cero del producto cartesiano, pues no ejecuta

elementos para construir pares ordenados.
Un producto cartesiano donde algún factor sea el conjunto vacío es vacío.

Cuando dos productos no son conmutativos, ocurre la propiedad asociativa.

8.5.1caso finito
Es el número finito de conjuntos A1, A2, ..., An, su producto cartesiano se determina
como el conjunto n-tuplas dicho primer elemento está en A1, dicho segundo
elemento está en A2, 
El producto cartesiano de un número finito de conjuntos A1, ..., An es el conjunto de
las n-tuplas cuyo elemento k-ésimo pertenece a Ak, para cada 1 ≤ k ≤ n.

8.5.2 caso infinito

Es una familia de conjuntos  posiblemente infinita, la manera de determinar el
producto cartesiano verifica en cambiar el concepto de tupla por otro más cómodo.
Si la familia está indexada, una aplicación que recorra el conjunto índice es el
objeto que separan quién es la «entrada k-ésima»:
El producto cartesiano de una familia incluida de conjuntos F = {Ai}i ∈ I es el
conjunto de las aplicaciones f : I → ∪F el dominio es el conjunto índice I y sus
imágenes son elementos de algún Ai; que cumplen que para cada i ∈ I se
tiene f(i) ∈ Ai:

Ejemplo 1
 A={3,4}, B={5,7} y C={1,2} 
Graficar el producto cartesiano de AxBxC con una tabla cartesiana, un diagrama
de flechas, diagrama cartesiano y un diagrama de árbol.
Producto cartesiano xBxC={(3,5,1)(3,5,2)(3,7,1)(3,7,2)(4,5,1)(4,5,2)(4,7,1)(4,7,1)}
Diagrama con flechas

Tabla cartesiana
Diagrama cartesian

Diagrama de árbol
 Capítulo 1.11
Propiedades de las operaciones entre conjuntos
Objetivos:

Al finalizar esta sección el lector podrá:

 Emplear propiedades de as operaciones entre conjuntos para disponer igualdad

entre ellos.

 Dada una propiedad de las operaciones entre conjuntos, aplicara lógica

proposicional.

 Ejecutará y dará solución a

problemas empleando lógica de
conjuntos.

En matemáticas, álgebra de conjuntos es el estudio de las operaciones básicas

que pueden realizarse con conjuntos, como la unión, intersección y
complementación.
Algunas de estas operaciones poseen propiedades similares a las operaciones
con números naturales. Por ejemplo, la unión y la intersección son conmutativas y
asociativas. El conjunto vacío es el elemento neutro de la unión, y el elemento
absorbente de la intersección y del producto cartesiano. El conjunto universal es el
elemento neutro de la intersección y el elemento absorbente de la unión.
Además, las operaciones de unión, intersección, diferencia y complemento son
muy similares a las operaciones en un álgebra de Boole, así como a los
conectores lógicos de la lógica proposicional.
11.1 Propiedades de las operaciones entre conjuntos
Uno de los hechos más interesantes acerca de la teoría de conjuntos es que las
operaciones básicas de esta teoría se corresponden de forma muy estrecha con
las estructuras lógicas que obtenemos al utilizar conectivos.

11.1.1 . Propiedades de la intersección

Intersección de conjuntos La intersección de dos conjuntos A y B es el conjunto
formado por todos los elementos comunes a los dos conjuntos.
Las propiedades siguientes se cumplen para la
intersección de dos conjuntos A y B. U representa
el conjunto universal.
a) A∩B = B∩A, propiedad conmutativa.
b) (A ∩ B) ∩ C = A ∩ (B ∩ C) = A ∩ B ∩ C,
propiedad asociativa.

c) A ∩ U = A, propiedad de la existencia de
la identidad.
d) ∅ ∩ A = ∅ , propiedad de la existencia de un elemento absorbente.
Ejemplo:
Dados los conjuntos A={1, 2, 3, 4, 5}, B={2, 3, 5, 7, 9, 11} determine el conjunto
intersección de A y B.
Solución
Los elementos que están o pertenecen tanto a A como a B son 2, 3, 5; por tanto, A
∩B = {2, 3, 5}

11.1.2. Propiedades de la unión

La unión de dos conjuntos A y B consta de todos los elementos que pertenecen a
A o a B. La unión de A y B se denota por A x B.
Las siguientes propiedades se cumplen para la unión de dos conjuntos A y B. U
representa el conjunto universal.
a) A ∪ B = B ∪ A, propiedad conmutativa.
b) (A ∪ B) ∪ C = A ∪ (B ∪ C), propiedad asociativa.
c) A ∪ ∅ = A, propiedad de la existencia de la identidad.
d) A ∪ U = U, propiedad de la existencia del conjunto absorbente.

Ejemplo:
Dados los conjuntos A = {0, 1, 2, 3, 5}, B ={1, 3, 5, 7}0 y C = {2, 6,8},
determine A ∪ B ∪ C.
Solución
Primero calculamos D = A ∪ B = {0, 1, 2, 3, 5, 7} y luego calculamos D ∪ C para
obtener A ∪ B ∪ C
A ∪ B ∪ C = (A ∪ B) ∪ C = D ∪ C = {0, 1, 2, 3, 5, 6, 7, 8}
En la figura se muestra la representación gráfica correspondiente.
11.1. 3 Propiedades De La Unión Y La
Intersección De Conjuntos
Las propiedades siguientes se cumplen para las
operaciones de unión e intersección de conjuntos.
a) A ∪(B ∩ C) = (A ∪ B) ∩ (A ∪ C), propiedad
distributiva de la unión respecto a la
intersección.

b) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C), propiedad distributiva de la intersección

respecto a la unión.

11.1. 4 Propiedades De La Diferencia De Conjuntos

Las propiedades siguientes, llamadas leyes de De Morgan, se cumplen para
conjuntos A y B que son subconjuntos del conjunto universal U:
a) (A ∪ B)`= A` ∩ B`
b) (A ∩ B)` = A` ∪ B`

Ejemplo:
Dados A = {a, b, c, d, e, f} y B = {c, d, e, f, g, h}, determine el conjunto A - B.
Solución
El conjunto A - B está formado por todos los elementos de
A que no lo son de B, así que los elementos de A - B son a,
b.
Por tanto: A - B = {a, b}
Ejemplo:
Dados el conjunto universal U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y el conjunto
A = {3, 8, 9} determine A`
Solución
El complemento de A es el conjunto formado por todos los elementos de U que no
son elementos de A:
A`= {0, 1, 2, 4, 5, 6, 7}
11.1. 5. Diferencia simétrica de conjuntos
La diferencia simétrica de dos conjuntos A y B es el conjunto formado por los
elementos de la unión de A y B, eliminando los elementos de la intersección de A
y B. La diferencia simétrica de A y B se denota por A Δ B.
Note que, de acuerdo con la descripción dada para la diferencia simétrica,
podemos escribir:
A Δ B = (A ∪ B) - (A y B) o A Δ B = (A - B) ∪ (B - A)

Cabe señalar lo siguiente:

a) Si A y B son disjuntos, entonces a A Δ B = A ∪ B.
b) Si A ( B, entonces a A Δ B= B - A.
c) Si A ⊃ B, entonces A Δ B = A - B.
d) A Δ (B Δ C) = (A Δ B) Δ C, ley asociativa para la diferencia simétrica.
e) A Δ B = B Δ A, ley conmutativa para la diferencia simétrica.
f) Si A Δ B = A Δ C, entonces B = C, ley de cancelación para la diferencia
simétrica.
g) A ∩ (B Δ C) = (A ∩ B) Δ (A ∩ C), ley distributiva de la intersección respecto a la
diferenciación simétrica.

Ejemplo:
Dados los conjuntos A = {l, 3, 5, 7, 9, 11, 13, 15} y B = {2, 3, 5, 7, 11, 13, 17,19},
determine AΔB.
Solución
Sabemos que en A Δ B entran todos los elementos de A y B que no son comunes
a A y a B; por tanto,
A Δ B = {l, 2, 9, 15, 17, 19}
11.2 Leyendas Del Álgebra De Conjuntos

Leyes idemponentes a. A ∪ A = A b. A ∩ A = A
Leyes asociativas a. (A∪B)∪C = A∪(B∪C) b. (A∩B)∩C = A∩(B∩C)
Leyes conmutativas a. A ∪ B = B ∪ A b. A ∩ B = B ∩ A
Leyes distributivas a. A∪(B∩C) = (A∪B)∩(A∪C) b. A∩(B∪C)=(A∩B)∪(A∩C)

Leyes de identidad y absorción a. A ∪ ∅ = A b. A∩U = A

a. A ∪ U = U b. A ∩ ∅ = ∅
c
Ley involutiva a. ( A c ) =¿ A

Leyes del complementario a. A ∪ Ac = U b. A ∩ Ac = ∅

a. U c = ∅ b. ∅ = U

Leyes de De Morgan a. ( A ∪ B)C = AC ∩ BC b. A ∩ B ¿¿ C = Ac ∪ BC

Ejercicios de Aplicación:
En los problemas 1 a 20, suponga U = {a, b, c, d, e, f, g, h, i}, A = {a, b, c, d, e}, B
= {d, e, f, g}, C= {e, f, g, h, i}, D = {a, c, e, g, i}, E = {b, d, f, h}, F = {a, e, i}, y
determine lo que se indica.

1. A ∩ B = B ∩ A intersección – conmutativa
A ∩ B = {d, e }
B ∩ A = {d, e }
 2. A ∩ ( B U C) = (A ∩ B) U (A ∩ C ) distributiva
(B U C) = { d, e, f, g h,i }
A ∩ ( B U C) = { d, e }

(A ∩ B) = { d, e }
(A∩C)={e}
(A ∩ B) U ( A ∩ C ) = { d, e }

3. A U B = B U A Unión - conmutativa
A U B = { a, b, c, d, e, f, g }
B U A ={ a, b, c, d, e, f, g }

4. B – A
B = {d, e, f, g}
A = {a, b, c, d, e}
B – A = { f, g }

5. (A ∩ D) – B
(A ∩ D)= { a , c, d }
(A ∩ D) – B = { a, c}

CAPITULO 1.12
PREDICADOS

Objetivos:

Al finalizar esta sección podrá:

  Dada una expresión en lenguaje común, reconocer si es un predicado

 Dado un predicado, identificar su variable y relacionar un conjunto

referencial del mismo.

 Demostrar las leyes.

En esta secion se explica la diferencia de expresiones abiertas con respecto a las

proposiciones a partir de ahora, dichas expresiones en las que se manifiesta una
accion o estado de llama predicados
La lógica de predicados es utilizada para expresar el significado de un amplio
alcance de proposiciones en matemáticas y ciencias de cómputos. De manera que
nos permite razonar y explorar relaciones entre los objetos

12.1 Predicados:
En lógica matemática, un predicado es la formalización del concepto matemático de
enunciado. Una declaración se entiende comúnmente como una afirmación que puede ser
verdadera o falsa, dependiendo de los valores de las variables que ocurren en ella. Un
predicado es una fórmula bien formada que se puede evaluar como verdadero o falso en
función de los valores de las variables que ocurren en él. Por tanto, puede considerarse
como una función de valor booleano.

Un

predicado consta de fórmulas atómicas conectadas con conectivos lógicos. Una fórmula
atómica es una fórmula bien formada de alguna teoría matemática. Los principales
conectivos lógicos son negación (no o ¬), conjunción lógica (y o ∧), disyunción lógica ( o o
∨ ), cuantificación existencial ( ∃ ) y cuantificación universal ( ∀ ); los predicados siempre
verdaderos (indicados como verdadero o ⊤ ) y siempre falsos (indicados como falso o ⊥ )
se consideran comúnmente también como conectivos lógicos.

Un predicado que no contiene ningún cuantificador (∃ o ∀), se llama fórmula

proposicional. Un predicado cuyos cuantificadores se aplican todos a elementos
individuales, y no a conjuntos o predicados, se denomina predicado de primer orden.

Son expresiones en términos de una variable que, al ser reemplazadas por elementos de
un conjunto referencial, se convierten en proposiciones.

Si x representa a cualquier elemento de Re, entonces la expresión p(x) se definirá

como un predicado.
La notación para los predicados será: p ( x ) , q ( x ) ,r ( x ) ,etc.
Por ejemplo:

{ x | x es un número entero positivo menor que 4} es el conjunto {1,2,3}.

Si t es un elemento del conjunto { x | P ( x )}, entonces el enunciado P(t) es verdadero.
Aquí, P (x) se denomina el predicado, y x el marcador de posición de la proposición. A
veces, P ( x ) también se denomina función proposicional ( plantilla en el papel de) , ya
que cada elección del marcador de posición x produce una proposición.

Una forma simple de predicado es una expresión booleana , en cuyo caso las entradas a
la expresión son en sí mismas valores booleanos, combinados mediante operaciones
booleanas. De manera similar, una expresión booleana con predicados de entrada es en
sí misma un predicado más complejo.
Ejercicios de aplicación

 Sea Re = { 1,2,3,4,5,6,7,8,9 } y el predicado :

p(x) : x es divisor de 284

Ap(x) : {1, 2 , 4 }

 Sea Re = { 1,2,3,4,5,6,7,8,9 } y el predicado :

q(x) : x + 2 = 8

Aq(x) : { 6 }

 Dado el conjunto referencial Re= { 0, 1, 2, 3, 4, 5, 6 } y los predicados :

p(x): x es un numero par

q(x): x es mayor de siete

Ap(x) U Aq(x)

Ap(x) : {2, 4, 6}

Aq(x): {0}

Ap(x) U Aq(x) = {0, 2,4,6 }

 Dado el conjunto referencial Re= { 0, 1, 2, 3, 4, 5, 6 } y los predicados :

 r(x) : x es menor de diez

s(x) : x es un número impar

r(x): { 0, 1, 2, 3, 4, 5, 6}

s(x): {1, 3, 5 }

 “x > 3”, “x = y + z”, “computadora x está bajo el ataque de un intruso”, estudiante x

no está atendiendo a la clase””.
Estos predicados no tienen valor de verdad si no se especifica valores a la
variable.
 Capitulo 1.13
PARES ORDENADOS Y PRODUCTO CARTESIANO
Introducción:
El producto cartesiano de dos conjuntos es una operación, que resulta en otro
conjunto, cuyos  HYPERLINK
"http://es.m.wikipedia.org/wiki/Elemento_de_un_conjunto" \o "Elemento de
un conjunto" elementos son todos los pares ordenados que pueden formarse
tomando el primer elemento del par ordenado del primer conjunto y el
segundo elemento del par ordenado del segundo conjunto.
Pares Ordenados o Pareja Ordenada (a,b) o (b,a) -Listado de objetos “a” y “b”
que llevan un orden (a¹, b¹) = (a², b²) son iguales si y solamente si a¹=a² y
b¹=b². Si se tiene A y B no están vacios se puede tener
un producto cartesiano AxB son todos pares ordenados de elementos (a,b)
aϵA, bϵB. AxB={(a,b) l aϵA, bϵB} Ejemplo: A={1,2,3} B={r,s} AxB={(1,r),
(1,s),(2,r),(2,s),(3,r),(3,s)} Tabla r s 1 1,r 1,s 2 2,r 2,s 3 3,r 3,s Cartesiana...

Objetivo:
OBJETIVO DE LA UNIDAD Resolver situaciones que implica la utilización
de relaciones y funciones matemáticas, aplicando correctamente
procedimientos, conceptos y propiedades, y valorando el aporte de los y las
demás.
 Comprender acerca de como funciona la matemática y analizar las temáticas
presentes en ella. Para dar solución a todo problema matemático Objetivo
especifico: Comprender muy bien lo que son los pares ordenados y producto
cartesiano para poder resolver problemas de la vida cotidiana y aplicarlos a
situaciones de nuestro entorno.

¿QUE ES UN PAR ORDENADO?

Un par ordenado o dupla es un conjunto de dos elementos que se escriben según el orden
establecido por un determinado criterio. Dicho criterio especifica cuál de los dos elementos va
primero y cuál va después.

El par ordenado se denota como (x,y), donde “x” es el primer elemento del par y “y” es el
segundo, también llamados componentes. En general (x, y) no es el mismo par ordenado (y, x). Y
además del orden, otra característica importante de los pares ordenados es la igualdad: dos
pares ordenados (a,b)
y (c,d) son iguales
solamente si a = c y b = d.

1.EJERCICIO
• La representación gráfica de A x B constituye el plano cartesiano, en el cual tanto los
elementos de A como los de B se alinean en dos segmentos de recta. Un segmento representará
al conjunto A y el otro al
conjunto B
PRODUCTO CARTESIANO

En matemáticas, el producto cartesiano de dos conjuntos es una operación, que resulta en otro

conjunto, cuyos elementos son todos los pares ordenados que pueden formarse de forma que
el primer elemento del par ordenado pertenezca al primer conjunto y el segundo elemento
pertenezca al segundo conjunto.
El producto cartesiano de A y B es el conjunto A × B cuyos elementos son los pares
ordenados (a, b), donde a es un elemento de A y b un elemento de B:
Puede definirse entonces el cuadrado cartesiano de un conjunto como A2 = A × A.
El producto cartesiano recibe su nombre de René Descartes, cuya formulación de la geometría
analítica dio origen a este concepto.

Por ejemplo, dados los conjuntos:

{A=\{1,2,3,4\}
Y
{\ B=\{a,b\}}

su producto cartesiano de A por B es:

que se representa:
 A x B={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b),(4,a),(4,b)}

y el producto cartesiano de B por A es:

que se representa:

B x A={(a,1),(a,2),(a,3),(a,4),(b,1),(b,2),(b,3),(b,4)}
Ver que:
(1,a) =/(a,1)
Dado que son pares ordenados

1.EJERCICIO

Sea los conjuntos A={1,2}A={1,2} y B={a,b,c}B={a,b,c}, su  producto cartesiano es:

A×B={(1,a),(1,b),(1,c),(2,a),(2,b),(2,c)}A×B={(1,a),(1,b),(1,c),(2,a),(2,b),(2,c)}
Lo podemos representar en un tablero de la siguiente manera:

C (1,c) (2,c)
B (1,b) (2,b)
A (1,a) (2,a)
A×B 1 2
PLANO CARTESIANO
El plano cartesiano tuvo su origen de la mano de René Descartes (1596-1650). René
Descartes conocido filósofo e influyente matemático fue el fundador de la geometría
analítica. Una disciplina que se utiliza mucho, aunque de forma superficial, en las
representaciones gráficas de los análisis de teoría económica.

Los puntos a representar se marcan entre paréntesis separados por una coma. Por
ejemplo, para si queremos representar dos unidades del eje de abscisas y una unidad del
eje de ordenadas escribiremos (1,2). Más tarde veremos cómo representar varios puntos
en el plano cartesiano.

EJERCICIO

CARDINALIDAD DEL PRODUCTO CARTESIANO

El cardinal no es mas que el numero de elementos de un conjunto. Sean el cardinal de dos
conjuntos AA y BB denotados por n(A)n(A) y n(B)n(B) respectivamente, el cardinal del
producto cartesiano denotado por n(A×B)n(A×B) se calcula de la siguiente manera:
n(A×B)=n(A)⋅n(B)n(A×B)=n(A)⋅n(B)
Es decir, el cardinal del producto cartesiano de dos conjuntos es igual a la multiplicación
de los cardinales de cada conjunto. Es cierto que el producto cartesiano de dos conjuntos
no es conmutativo si los conjuntos no son iguales, pero su cardinal. En efecto, para dos
conjuntos AA y BB diferentes entre si y con productos cartesianos no vacíos, se cumple:
n(A×B)=n(B×A)

EJERCICIO
Sean los conjuntos A={4,5,6}A={4,5,6} y B={d,e}B={d,e}, su producto cartesiano
de A×BA×B y B×AB×A son:
A×B={(4,d),(4,e),(5,d),(5,e),(6,d),(6,e)}B×A={(d,4),(d,5),(d,6),(e,4),(e,5),(e,6)}

 El cardinal de AA y BB son n(A)=3n(A)=3 y n(B)=2n(B)=2 respectivamente.
  Si contamos los pares ordenados de los productos A×BA×B y B×AB×A, resulta que
tiene el mismo cardinal, es decir: n(A×B)=n(B×A)=6
 Y si multiplicamos los cardinales de AA y BB, resulta, notamos lo
siguiente:
n(A)⋅n(B)=3⋅2=6=n(A×B)

PROPIEDADES DEL PRODUCTO CARTESIANO

Sean los siguientes conjuntos AA, BB, CC y DD, se cumplen las siguientes
propiedades para el conjunto producto:

 A≠B∧A×B≠ϕ→A×≠B×AA≠B∧A×B≠ϕ→A×≠B×A ( no conmutativa)
 (A×B=B×A)↔(A=ϕ∨B=ϕ∨A=B)(A×B=B×A)↔(A=ϕ∨B=ϕ∨A=B)
 A×ϕ=ϕ×A=ϕA×ϕ=ϕ×A=ϕ (propiedad absorbente)
 A×(B∩C)=(A×B)∩(A×C)A×(B∩C)=(A×B)∩(A×C)
 A×(B∪C)=(A×B)∪(A×C)A×(B∪C)=(A×B)∪(A×C)
 A×(B−C)=(A×B)–(A×C)A×(B−C)=(A×B)–(A×C)
Las 3 ultimas anteriores son propiedades distributivas.
 (A×B)×C≠A×(B×C)(A×B)×C≠A×(B×C) (No es asociativa)
 ∀C∧(A⊆C)→A×C⊆B×C∀C∧(A⊆C)→A×C⊆B×C (Monotonía)
 [A⊆C∧B⊆D]→[(A×B)⊆(C×D)][A⊆C∧B⊆D]→[(A×B)⊆(C×D)] (Monotonía)
 (A′×B′)⊆(A×B)′(A′×B′)⊆(A×B)′
 ∀C≠ϕ,(A×C=B×C)→A=B∀C≠ϕ,(A×C=B×C)→A=B
 (A≠ϕ,A×B⊆A×C)→B⊆C
 A×B=ϕ↔A=ϕ∨B=ϕA×B=ϕ↔A=ϕ∨B=ϕ
 1.14 RELACIONES

Una relación es una regla de correspondencia entre los elementos de dos conjuntos.

Dicha regla de correspondencia puede darse a conocer mediante:

 Flechas (se le llama diagrama sagital), que van de un elemento del primer conjunto
a un elemento del segundo conjunto.

 Pares ordenados, en el que el primer elemento del

par pertenece al primer conjunto y el segundo elemento del par pertenece al segundo
conjunto.

(A,1), (A,2), (B,2), (B,3), (C,3)

 Tabulaciones, en las que en la primera columna aparecen los elementos del primer
conjunto que están relacionados con el elemento del segundo conjunto que está en
el mismo renglón.

Conjunto 1      Conjunto 2
 A     1
 A     2
 B     2
 B     3
 C     3
Las tres representaciones anteriores corresponden a la misma relación. Las
siguientes dos corresponden a otra.

 Expresiones algebraicas con dos variables. Regularmente la x corresponde a los

elementos del primer conjunto y la y a los elementos del segundo conjunto

x² + y² = 9
 DOMINIO DE UNA RELACION

 dominio de una función o relación es el conjunto de todos los valores independientes posibles
que una relación puede tener. Es la colección de todas las entradas posibles. El rango de una
función o relación es el conjunto de todos los valores dependientes posibles que
la relación puede producir.

EJERCICIO
amie vende pasteles caseros en $15 cada uno. La cantidad de dinero que gana es una función
de cuántos pasteles puede vender: $0 si no vende ninguno, $15 si sólo vende uno, $30 si vende
2, y así sucesivamente. ¿Cuáles son el dominio y el rango de la función?
 
A) Dominio: {0, 15, 30, …}  Rango: {0, 1, 2, …}
B) Dominio: {0, 1, 2, …}  Rango: {0, 15, 30, …}
C) Dominio: {0, 1, 2}  Rango: {0, 15, 30}

RANGO DE UNA RELACION

Es el conjunto de todos los resultados posibles de la función. Así de sencillo. Así de complejo. Si
bien el dominio de una función se puede determinar sólo con analizar la expresión algebraica, el
rango de la misma es más complejo de determinar. Normalmente yo pido a mis alumnos que el
dominio lo determinen analíticamente y el rango lo determinen gráficamente, después de
«dibujar» la función. Al rango también se le conoce como imagen, condominio, contra dominio
y conjunto de llegada

REPRESENTACION SAGITAL DE UNA

RELACION
Los diagramas sagitales consisten en
ilustraciones que permiten representar las
relaciones entre los elementos de dos
conjuntos identificando los siguientes
elementos:
  Los conjuntos se representan con círculos u óvalos.
 Los elementos de los conjuntos se representan con puntos.
 La relación entre elementos, se representan con líneas o flechas.

1. EJEMPLO
Considere el conjunto   conformado por cinco niños en un salón de clases: María, Pedro,
Jerick, Laura y Fabiana. Por otra parte, consideremos el conjunto   conformado por cinco
actividades que hay que desarrollar en el salón de clases a una determinada hora: leer,
escribir, sumar, restar y dibujar.
Supongamos que a María le corresponde leer, a Pedro le corresponde escribir, a Jerick le
corresponde sumar, a Laura le corresponde restar y a Fabiana le corresponde dibujar.

Esta correspondencia establece una relación entre el conjunto de niños y el conjunto

actividades, así, podemos expresar la relación   como el conjunto de los
siguientes pares ordenados:
 = { (María, Leer) ; (Pedro, Escribir) ; (Jerick, Sumar) ; (Laura, Restar) ; (Fabiana}

Siempre es importante identificar el dominio y rango de una relación, pues así podemos
identificar con mayor facilidad los elementos involucrados en las correspondencias. En
este caso, tenemos que,

 El dominio es {María, Pedro, Jerick, Laura, Fabiana}.

 El rango es {Leer, Escribir, Sumar, Restar, Dibujar}.
 1.15 FUNCIONES
¿QUE ES UNA FUNCION?
una función algebraica es una función que satisface una ecuación polinómica cuyos elementos son
a su vez polinomios o monomios. Por ejemplo, una función algebraica de una variable x es una
solución y a la ecuación
an (x) y^ + a n-1(x) y n-1 +………+a (x) = 0
donde los coeficientes a(x) son funciones polinómicas de x. Una función que no es algebraica es
denominada una función trascendente.
 Una función algebraica de n variables es definida en forma similar a la función y que es solución
de la ecuación polinómica en n + 1 variables:.
Normalmente se supone que p debe ser un polinomio irreducible. La existencia de una función
algebraica es asegurada por el teorema de la función implícita.
Formalmente, una función algebraica de n variables en el cuerpo K es un elemento del cierre
algebraico del cuerpo de las funciones racionales K(x1,...,xn). Para poder comprender a las funciones
algebraicas como funciones, es necesario incorporar ideas relativas a las superficies de Riemann o
en un ámbito más general sobre variedades algebraicas, y teoría de haces. Entre las funciones
algebraicas se encuentran las funciones racionales y las funciones irracionales.
EJEMPLOS
Función constante: f(x)=k, donde k es alguna constante
 

Función lineal: f(x) = ax + b

VARIABLES INDEPENDIENTES
 Otra forma de definir la variable independiente, también llamada explicativa, es aquella cuya
variación también causa un cambio en la variable dependiente o variable explicada.Vale aclarar
que puede existir más de una variable independiente en una investigación, teniendo cada una
de ellas un peso distinto. Es decir, algunas variables explicativas
pueden ser más importantes que otras.

 Ejemplo: Si al estudiar a las aves un investigador se plantea la

hipótesis de que la duración del día influye sobre el color del plumaje,
entonces el investigador ya tomó la decisión acerca de lo que
considera es la causa y el efecto y, por lo tanto, ya estableció cuál es
la variable independiente.16 dic 2020

VARIABLE DEPENDIENTE
La variable dependiente, en otras palabras, es aquella cuya variación en su valor viene motivada
por fluctuaciones en las variables independientes. En otras palabras, la variable dependiente, o
explicada, es en torno a la cual gira la investigación, buscándose determinar cómo impactan en
ella las variables dependientes o explicativas.

Conviene resaltar que dicha variable puede ser explicada, al mismo tiempo, por una o más
variables independientes, cada una de ellas con un peso distinto.

EJEMPLO

 Supongamos que estoy estamos estudiando el nivel de contaminación de una ciudad,

medido en emisiones de dióxido de carbono. Así, esta sería la variable dependiente,
mientras que las independientes serían la cantidad de coches en la ciudad, el costo de los
medios de transporte público, el estado de las autopistas, la existencia, o no, de
semáforos inteligentes, entre otros. Todas estas últimas serían las variables
independientes.

TIPOS DE
FUNCIONES
 1 Funciones polinómicas

 Son las funciones que vienen definidas por un polinomio.

 Su dominio es   , es decir, cualquier número real tiene imagen.

1.EJERCICIO

1.Es la función una función polinomial?

Podemos ver que la función solo tiene variables con exponentes enteros positivos enteros
positivos, por lo tanto, esta función, si es polinomial.

2.Funciones constantes

 El criterio viene dado por un número real.

 La gráfica es una recta horizontal paralela a al eje de abscisas.

EJERCICIO

Gráfica de la función constante

La función constante siempre nos genera una recta horizontal. Por
ejemplo, la gráfica de la función constante   f(x) = +2 es la siguiente:
 3.Funciones racionales

El dominio lo forman todos los números reales excepto los valores de x que anulan el
denominador.
 El criterio viene dado por un cociente entre polinomios:

en donde g(x) y h(x) son polinomios. El dominio de la función serán todos los números
reales con excepción los números en los cuales se hace cero el denominador.

EJERCICIO

f (x) = 3 / (x – 4)

5.Funciones radicales

Las Funciones Radicales son aquellas funciones en las cuales una expresión algebraica de x está
debajo de un radical (raíz cuadrada, raíz cúbica, etc.) Esto es:
 El criterio viene dado por la variable x bajo el signo radical.
 El dominio de una función irracional de índice impar es   .
  El dominio de una función irracional de índice par está formado por todos los
valores que hacen que el radicando sea mayor o igual que cero.

EJERCICIO

f(x) = √P(x)

Se trata de una función radical que solo tiene imagen para valores
de x > -2.
Además, toma valores y mayores de cero (para valores de x>2).
FUNCION ALGEBRAICA
En matemáticas, una función algebraica es una función que satisface una
ecuación polinómica cuyos elementos son a su vez polinomios o monomios. Por
ejemplo, una función algebraica de una variable x es una solución y a la ecuación

1.EJERCICIO

Funciones trascendentes 
elementales son las exponenciales, las logarítmicas, las trigonométricas, las funciones
trigonométricas inversas, las hiperbólicas y las hiperbólicas inversas. Es decir, son aquellas que
no pueden ser expresadas mediante un polinomio, un cociente de polinomios o raíces de
polinomios. 
1.EJERCICIO

Sea a un número real positivo. La función que a cada número real x le

hace corresponder la potencia ax se llama función exponencial de base
a y exponente x.

FUNCION INYECTIVA
Una función es inyectiva cuando no hay dos elementos del dominio que tengan la misma
imagen. Formalmente:

∀a , b∈ Domf ,  si  f(a) =  f(b) ⇒ a = b

Es decir, para cualesquiera dos elementos a y b, pertenecientes al dominio de la función
Domf, si sus imágenes f(a) y f(b) son iguales, los elementos son necesariamente iguales.
Inyectiva y no inyectiva -A la izquierda, una función que asocia a cada persona su altura. A
cada elemento del recorrido llega una sola flecha, por lo que la función es inyectiva. A la
derecha, la función también asocia a cada persona su altura. En este caso el dominio es
ligeramente distinto, y cuenta con una persona más que, curiosamente, tiene la misma
altura que el oficinista despreocupado de su peso (1.80m). Como a ese elemento del
recorrido llegan dos flechas, la función ya no es inyectiva.
Por tanto, si te piden una demostración de que una función no es inyectiva, puedes hallar
dos valores distintos del dominio cuyas imágenes sean iguales. Si las encuentras, la
función no es inyectiva. Cuando están dadas mediante una ecuación, podemos utilizar la
propia definición.

F. inyectiva F. no inyectiva

f(x)=x−1 f(x)=x2−x+2

f(x)=x+2−−−−√ f(x)=x4+x

f(x)=ex f:R+x→↦R+y=f(x)=x2−x+2
 FUNCION SOBREYECTIVA

Una función es sobreyectiva, también llamada suprayectiva o exhaustiva, cuando el codominio

y el recorrido coinciden. Formalmente

∀ y ∈ Codf  ∃x ∈ Domf /  f(x) = y:

Es decir, para cualquier elemento y del codominio existe otro elemento x del dominio tal que y
es la imagen de x por f.Las funciones reales son sobreyectivas cuando Recf=ℝ, ya que, por
definición, en ellas Codf=ℝ.

Sobreyectiva vs no sobreyectiva

A la izquierda, una función sobreyectiva. Como tal, el codominio y el recorrido coinciden.

O, dicho de manera más gráfica, todos los elementos del codominio reciben flechas. A la
derecha, una función no sobreyectiva. En este caso hay elementos del codominio que no
están incluidos en el recorrido. Observa, además, que ambas funciones son no inyectivas,
pues ambas cuentan con elementos en el recorrido que reciben más de una flecha.

F. sobreyectiva F. no sobreyectiva

f(x)=2⋅(x+1) f(x)=3x−−√

f(x)=tan(x) f(x)=x2−4x+2

f(x)=ln(x+2) f(x)=cos(x)
Funciones biyectivas

Una función es biyectiva, cuando es inyectiva y sobreyectiva al mismo tiempo.

Formalmente:

∀y ∈ Codf  ∃!x ∈ Domf  /  f(x) = y

Es decir, para cualquier elemento y del codominio existe un único elemento x del dominio
tal que y es la imagen de x por f.

Biyectiva Y biyectiva
A la izquierda, una función biyectiva. Observa que cada elemento del recorrido recibe una
(y solo una) flecha, con lo que el número de elementos del dominio debe coincidir con el
número de elementos del recorrido. En la ilustración superior derecha, una función que
no es inyectiva, y por tanto tampoco biyectiva. En la ilustración inferior derecha, una
función que no es sobreyectiva, y por tanto tampoco biyectiva.

F. biyectiva F. no biyectiva

f(x)=x+2−−−−√3 f(x)=x+2−−−−√

f(x)=2x3x2+1 f(x)=2x2x2+1

f(x)=ln(x) f(x)=ex
FUNCION INVERSIBLE

Funciones inversas, en el sentido más amplio, son funciones que hacen lo "contrario" de
cada una. Por ejemplo, si f convierte a en b, entonces la inversa debe convertir b en a.

Considera la función finita h definida en la siguiente tabla

Podemos crear un diagrama de mapeo para la función h

Ahora vamos a invertir el mapeo para encontrar la inversa, h−1

Observa que h−1 mapea el valor 2 a dos diferentes valores: 1 y 3

. Esto significa que h−1no es una función.

Puesto que la inversa de h no es una función, decimos que h es no

invertible
 FUNCIÓN INVERSA

Sea f una función que asigna a los elementos de un primer conjunto (conjunto

inicial X) un elemento de un segundo conjunto (conjunto final Y). La función
inversa (o función recíproca) de f (denotada por f-1) es aquella que hace el camino
inverso, asignando a los elementos de Y elementos de X.

 Formalmente, diremos que f-1 es la inversa de f si:

 También podemos definir una función inversa a partir de la composición de

funciones. f-1 es la inversa de f y f-1 si la composición de f da la función identidad.

 Para que una función f tenga inversa necesariamente debe ser inyectiva.

 Además, tanto f como f-1 deben de ser biyectivas.

FUNCION COMPUESTA
En álgebra abstracta, una función compuesta es una función formada por la composición
o aplicación sucesiva de otras dos funciones. Para ello, se aplica sobre el argumento la
función más próxima al mismo, y al resultado del cálculo anterior se le aplica finalmente la
función restante.
Usando la notación matemática, la función compuesta g ∘ f: X → Z expresa que (g ∘ f)(x) =
g[f(x)] para todo x perteneciente a X. Se lee "f compuesta con g", "f en g", "f entonces g",
"g de f" o "g círculo f".
Sean las funciones:

La función compuesta por ende x de g y de f que expresamos:

La interpretación de (f ∘ g) aplicada a la variable x significa que primero tenemos que aplicar g a x,

con lo que obtendríamos un valor de paso

y después aplicamos f a z para obtener

EJERCICIO
BIBLIOGRAFIA
https://www.google.com/search?q=ejemplos+de+funcion+compuesta&sxsrf=APq-
WBv84p5A9i4P1qivbz4yBggbrgkoJA:1644098561548&source=lnms&tbm=isch&s
a=X&ved=2ahUKEwjRi_K1yOn1AhXFRTABHbEgA88Q_AUoAXoECAgQAw&
biw=1536&bih=750&dpr=1.25#imgrc=SkewUnJEjAMFUM&imgdii=qAKHnemF5
dgiwM
https://es.wikipedia.org/wiki/Funci%C3%B3n_compu
https://es.khanacademy.org/math/precalculus/x9e81a4f98389efdf:composite/
x9e81a4f98389efdf:invertible/a/intro-to-invertible-functions#:~:text=En%20general
%2C%20una%20funci%C3%B3n%20es,%2C%20%C2%A1tambi%C3%A9n%20es
%20una%20funci%C3%B3n!&text=Observa%20que%20la%20inversa%20es
%20efectivamente%20una%20funci%C3%B3n.
https://www.google.com/search?
q=introduccion+de+pares+ordenados+relaciones+funciones&oq=&aqs=chrome.1.6
9i59i450l8.702037436j0j1&sourceid=chrome&ie=UTF-
https://www.google.com/search?q=relaciones+y+funciones+wikipedia&sxsrf=APq-
WBsMXMgY6WlG9KskxqflGqf0pWz0tw
%3A1644109236055&ei=tB3_YcGCA_KFwbkPktO_8AY&oq=introduccion+de+p
ares+ordenados+relaciones+funciones&gs_lcp=Cgdnd3Mtd2l6EAEYAjIHCAAQR
xCwAzIHCAAQRxCwAzIHCAAQRxCwAzIHCAAQRxCwAzIHCAAQRxCwAzI
HCAAQRxCwAzIHCAAQRxCwAzIHCAAQRxCwA0oECEEYAEoECEYYAFA
AWABgiRhoAXACeACAAQCIAQCSAQCYAQDIAQjAAQE&sclient=gws-wiz
https://www.google.com/search?
q=objetivo+de+pares+ordenados+y+producto+cartesiano&oq=&aqs=chrome.5.69i5
9i450l8.702087287j0j1&sourceid=chrome&ie=UTF-8

https://www.google.com/search?
q=objetivo+de+pares+ordenados+y+producto+cartesiano&oq=&aqs=chrome.5.69i5
9i450l8.702087287j0j1&sourceid=chrome&ie=UTF-8
https://parordenadoicss.blogspot.com/p/producto-cartesiano_23.html