Universidad Autónoma de Querétaro

Facultad de Informática

Propedéutico de Matemáticas

PROGRAMA:
Unidad 1 Lógica y teoría de conjuntos

Unidad 2 Teoría de los números

Unidad 3 Relaciones y Funciones

Unidad 4 Expresiones algebraicas

Unidad 5 Funciones Trigonométricas

Duración: 12 hrs

Unidad 1 Lógica y teoría de conjuntos (1 hr)

Temas

1.1. Introducción
1.2. Proposiciones
1.3. Tablas de verdad , tautologías y contradicciones
1.4. Conjuntos
1.5. Diagramas de Venn Euler
1.6. Leyes del algebra de conjuntos

Unidad 2 Teoría de los números (2 hr)

Temas
2.1 Propiedades de los números reales
2.2 Exponentes y radicales
2.3 Expresiones algebraicas
2.4 Valor absoluto

Unidad 3 Relaciones y Funciones (3hr)

Temas
3.1 Relaciones
3.2 Funciones y sus propiedades
3.3 Sistemas de ecuaciones lineales
3.4 Sistemas de ecuaciones cuadráticas
3.5 Función exponencial
3.6 Función logarítmica

Facultad de Informática |Coordinación del Área de Matemáticas 1

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

Examen Tema 1,2 y 3 con duración de 1 hr.

Unidad 4 Expresiones algebraicas (3 hrs)

Temas
4.1 Ecuaciones algebraicas
4.2 Desigualdades algebraicas
4.3 Sistemas de ecuaciones algebraicas
4.4 Sistemas de ecuaciones cuadráticas
4.5 Ecuaciones y desigualdades con radicales
4.6 Ecuaciones y desigualdades con exponenciales
4.7 Ecuaciones y desigualdades logarítmicas

Unidad 5 Funciones trigonométricas (2 hr)

Temas
5.1 Definición y propiedades de las funciones trigonométricas
5.2 Identidades trigonométricas
5.3 Ecuaciones y desigualdades trigonométricas.

Examen Tema 4 y 5 con duración de 1 hr.

Facultad de Informática |Coordinación del Área de Matemáticas 2

 Universidad Autónoma de Querétaro
Facultad de Informática
Propedéutico de Matemáticas
Introducción
Dentro de la Facultad de
Informática las matemáticas son
una de las áreas más importantes
que debes aprender. Considera que
en los programas de estudio que se
imparten aquí, deberás estudiarlas.
Los apuntes que te estamos
otorgando para el curso
propedéutico de matemáticas
básicas para el ingreso a la Facultad
de Informática, debes considerarlos
como un repaso de tus cursos de
secundaria y bachiller, no como el
material completo a estudiar. Por lo
que hacer ejercicios de cada tema
se queda a iniciativa del alumno.
Unidad 1 Lógica
y teoría de
conjuntos
En verdad, no es la menor de
las tareas del lógico indicar las
trampas que pone el lenguaje en el
camino del pensador. - Gottlob
Frege
1.1 Introducción
Las matemáticas están
formadas por una gran variedad de
disciplinas que permiten analizar de
una manera efectiva el mundo real.
Facultad de Informática |Coordinación del Área de Matemáticas
En esta unidad estudiaremos el
llamado razonamiento matemático o
razonamiento lógico.
Los principios lógicos, los
cuáles aceptamos como válidos, se
llaman reglas de inferencia.
Dichas reglas fueron formuladas por
Aristóteles en el año 350 AC.
Definiciones
Razonamiento correcto e
incorrecto es el principal problema
que aborda la lógica". –Irving Copi
"La lógica estudia la razón
como la herramienta del
conocimiento". –Jacques Maritain
"La lógica es la ciencia del
pensamiento correcto". –Raymond
McCall
"La lógica es la ciencia del
orden". –Josiah Royce
"Todo lo que puedo decir de la
lógica es que es lógica". –Oliver
Wendel Holmes
Cuando un matemático desea
obtener una demostración para
verificar un determinado resultado,
debe de usar un sistema de lógica.
Cuando un científico computacional
desarrolla los algoritmos para un
programa o un sistema, también.
Toda estructura matemática se
define por un conjunto de axiomas.
Axioma es una declaración
3
 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

verdadera acerca de las que no califican con este criterio

propiedades de una estructura son: "Tu sweater es bonito", ײ=9,
particular. Otras afirmaciones "¿Cómo dijiste?".
verdaderas que pueden inferirse de
la verdad de los axiomas se llaman La lógica matemática se aplica
teoremas. Una demostración de para decidir si una proposición sigue
un teorema es un argumento que de, o es una consecuencia lógica de,
establece que el teorema es una o más proposiciones.
verdadero para una estructura Una proposición se denomina
matemática dada. simple cuando en ella no interviene
ninguna conectiva lógica o término
1.2 Proposiciones de enlace (y, o, no, si... entonces...,
si y sólo si). Si se juntan una o
La lógica proposicional es una
varias proposiciones simples con un
rama de la lógica clásica que
término de enlace, se forma una
estudia las proposiciones o
proposición compuesta.
sentencias lógicas, sus posibles
Los términos de enlace, "y", "o",
evaluaciones de verdad y en el caso
"si...entonces", "si y sólo si"; se
ideal, su nivel absoluto de verdad.
usan para ligar dos proposiciones,
Una proposición, para los fines en cambio el término de enlace "no"
de esta exposición, es una se agrega a una sola proposición.
declaración la cual puede ser
verdadera o falsa, por ejemplo:
Definición 1: la
5 > 4, representación de una proposición
2+2=5, es en letras minúsculas seguidas de
"Pedro comió a las 3", ":"
Me gusta la sopa Definición 2: Dadas las
proposiciones p y q La conjunción
Algunas veces es más difícil de p y q, cuya notación es p Λ q, es
que otras determinar si la la proposición p y q. p Λ q es
declaración (o proposición) es verdadera únicamente cuando
verdadera o falsa, en otras ambas p y q son verdaderas.
palabras, si toma el valor de verdad Definición 3: La disyunción
o falsedad. Sin embargo, esto no de p y q, cuya notación es p V q, es
cambia el hecho de que existe sólo la proposición p o q. p V q es
una posibilidad, ya sea que la verdadera únicamente cuando al
propuesta puede que sea verdadera menos una de las proposiciones p o
o sea falsa. Algunas declaraciones q es verdadera.

Facultad de Informática |Coordinación del Área de Matemáticas 4

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

Definición 4: La negación de implicación p -> q es falsa.

P, cuya notación es ¬p, es la Determine los valores de verdad de:
proposición NO p. ¬p es verdadera pyq
únicamente cuando p es falsa. -p o q
q -> p
-q -> -p

En proposiciones que tienen

más de un término de enlace es
preciso indicar la manera de
agruparse, pues distintas
agrupaciones pueden tener distintos
Las declaraciones precedentes
significados. En el lenguaje
representadas por las variables
corriente, las agrupaciones se
proposicionales p y q son llamadas
presentan de acuerdo a la posición
declaraciones primitivas.
de ciertas palabras o mediante la
Ejercicios: puntuación. En lógica la agrupación
se indica por medio de paréntesis.
Determine cuáles de las
siguientes oraciones son Ejemplo:
O los soldados encontraron
proposiciones:
cerrado el paso, o si temieron
A. En 1990 George Bush era el
un ataque enemigo, se
presidente de EU
refugiaron en las montañas.
B. X + 3 es un entero positivo Este texto se simboliza
C. Si todas las mañanas fueran de la siguiente forma:
soleadas! p: Los soldados
D. Quince es un número par encontraron cerrado el paso.
E. Qué hora es? q: Los soldados temieron
H. De las cortes de Moctezuma un ataque enemigo.
a las playas de Tripolí r: Los soldados se
i. Hasta el 30 de junio de refugiaron en las montañas.
1986, Christine Marie había ganado P v ( q ⇒r)
el abierto de Francia siete veces
1.3 Tablas de
2. Identifique las verdad y tautologías
proposiciones primitivas del
ejercicio anterior. Una tabla de verdad es una
3. Sean p, q proposiciones representación gráfica que sirve
primitivas para las que la para determinar la verdad o

Facultad de Informática |Coordinación del Área de Matemáticas 5

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

falsedad de una proposición independientemente de si los

compuesta dada. En ella se enunciados atómicos que las
representan los posibles valores de constituyan sean verdaderos o
las proposiciones simples que la falsos. Una consecuencia profunda
conforman. Se denotan con V las de las tautologías es que son
proposiciones verdaderas y con F verdaderas independientemente de
las falsas. cómo sea el mundo. No son
verdaderas en virtud de cómo es el
Tabla 1.-1 Tabla de Verdad
mundo, sino por su forma lógica
(por la forma en que se relacionan
las partículas conectivas que la
constituyen). Hay varios métodos
para averiguar si un enunciado
molecular es tautológico. Nosotros
veremos dos: el método ya
Wittgenstein (filosofo que
conocido de la tabla de verdad, y la
introdujo las tablas de verdad en su
reducción al absurdo.
Tractatus Logico Philosophicus.)
denominaba "estados de cosas" a Si todos los valores son falsos,
cada una de las posibles a la proposición se le llama
combinaciones de verdad o falsedad contradicción. En este caso
para un enunciado (en este caso también ocurre que estos
atómico). Otros autores hablan de enunciados son falsos no porque el
"interpretaciones" para cada una de mundo sea de una determinada
estas posibles combinaciones de manera, sino porque las relaciones
verdad o falsedad para un que se establecen entre sus
enunciado. conectivas impiden que tengan
alguna interpretación verdadera.
Una tautología es una
Las contradicciones, en
proposición compuesta cuyos
consecuencia, son falsas
valores de verdad son verdaderos
independientemente de los valores
en todos los casos de la tabla de
de verdad que adopten las atómicas
verdad.
que las constituyen.
¿Qué significa que todas las
interpretaciones de un enunciado 1.4 Conjuntos
molecular sean todas verdaderas?
La Teoría de Conjuntos es una
Pues que dichas fórmulas, que de
división de las matemáticas que
aquí en adelante llamaremos
estudia los conjuntos. El primer
tautologías, son verdaderas

Facultad de Informática |Coordinación del Área de Matemáticas 6

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

estudio formal sobre el tema fue objetos que conforman un conjunto

realizado por el matemático alemán se denominan elementos. Se
Georg Cantor, Gottlob Frege y Julius acostumbra utilizar letras
Wilhelm Richard Dedekind en el mayúsculas para representar
Siglo XIX y más tarde reformulada conjuntos y letras minúsculas para
por Zermelo. los elementos.

El concepto de conjunto es Los términos conjunto y

intuitivo y se podría definir como elemento, los consideramos como
una "colección de objetos"; así, se primitivos, esto es no definidos.
puede hablar de un conjunto de x ∈ A la leeremos como “ x es un
personas, ciudades, gafas, lapiceros elemento del conjunto A ”. Su
o del conjunto de objetos que hay negación la indicaremos también
en un momento dado encima de como x ∉ A y se lee x no es un
una mesa. Un conjunto está bien elemento del conjunto A.
definido si se sabe si un
Ejemplo: Describa el
determinado elemento pertenece o
conjunto E = {todos los
no al conjunto. El conjunto de los
números naturales que son
bolígrafos azules está bien definido, múltiplos de 3}
porque a la vista de un bolígrafo se
puede saber si es azul o no. El Por enumeración:
conjunto de las personas altas no E= {3,6,9,12,…}
está bien definido, porque a la vista
Por comprensión:
de una persona, no siempre se
E = {3n, n ∊ N}
podrá decir si es alta o no, o puede
haber distintas personas, que Definición 1: El conjunto
opinen si esa persona es alta o no lo vacío es el conjunto que carece de
es. En el siglo XIX, según Frege, los elementos. Se denota por A = ∅.
elementos de un conjunto se
definían sólo por tal o cual Definición 2: Sea A y B dos
propiedad. conjuntos cualesquiera. Un conjunto
A es subconjunto de B si todo
Se entiende por conjunto a la elemento de A es un elemento de B.
agrupación en un todo de objetos Se denota por A ⊆ B.
bien diferenciados de nuestra
intuición o nuestra mente. Georg Observaciones:
Cantor
Todo conjunto es subconjunto
Un conjunto es una colección o de sí mismo.
lista de objetos bien definidos. Los

Facultad de Informática |Coordinación del Área de Matemáticas 7

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

El conjunto vacío es La intersección de los

subconjunto de todo conjunto. conjuntos A y B es el conjunto de
todos los elementos que están en A
y en B. Esto es,
A ∩ B = {x: x ∈ A ∧ x ∈ B }

Si A ∩ B = ∅, entonces A y B
son disjuntos (mutuamente
excluyentes.)

Figura:1.1 Conjunto A
La diferencia entre A y B es el
subconjunto del conjunto B conjunto de todos los elementos
que están en A, pero no en B. Es
Definición 3: Se dice que A es
decir,
un subconjunto propio de B si B
A – B = {x: x ∊ A ∧ x ∊ B}
tiene al menos un elemento más
El complemento de un
que el conjunto A. Se denota por A
conjunto A es el conjunto de todos
⊂ B.
los elementos que están en U que
Definición 4: Dos conjuntos no estan en A. Entonces,
son iguales si todo elemento de A es Ac = U – A
elemento de B y todo elemento de B La diferencia simétrica entre
es elemento de A. A y B es el conjunto de todos los
elementos en A o en B, pero no en
Definición 5: Se le llama ambos. Es decir, A ∆ B = {x: x ∊
conjunto universo a aquel que ( A ∪ B ) ∧ x ∉ (A ∩ B)}
contiene todos los elementos que
interesan en una situación 1.5 Diagramas de
determinada. Se denota usualmente
con U.
Venn Euler
Ofrecen un método gráfico
1.4.1 Operaciones de
para representar los conjuntos y sus
Conjuntos
relaciones.
Sean A y B dos conjuntos
cualesquiera.

La unión de los conjuntos A y

B es el conjunto de todos los
elementos que están en A o en B o
en ambos. Es decir,
A ⋃ B = {x: x ∈ A V x ∈ B } Figura 1:0:2 Unión A U B

Facultad de Informática |Coordinación del Área de Matemáticas 8

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

Figura 1:3 Intersección A ∩ B

Figura 1:4 Diferencia A - B

Nota: en clase se ven todas las

operaciones entre dos conjuntos.

Bibliografía y
referencias.
[1] Introducción a las
matemáticas universitarias,
Piotr Marian Wisniewski. Ed.
Mc Graw Hill Serie Shaum.

http://www.isftic.mepsy
d.es

Facultad de Informática |Coordinación del Área de Matemáticas 9

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

Números Naturales:
Unidad 2 Teoría un
número natural es cualquiera de los
de los Números. números que se usan para contar
los elementos de un conjunto (el
cero es el número de elementos del
Introducción conjunto vacío). Reciben ese
nombre porque fueron los primeros
La teoría de números es la
que utilizó el ser humano para
rama de matemáticas puras que
contar objetos. Algunos
estudia las propiedades de los
matemáticos (especialmente los de
números, en particular los enteros,
Teoría de Números) prefieren no
pero más en general, estudia las
reconocer el cero (0) como un
propiedades de los elementos de
número natural; otros,
Dominios Enteros (Anillos
especialmente los de Teoría de
conmutativos con elemento unitario
conjuntos, Lógica e Informática,
y cancelación) así como diversos
sostienen la postura opuesta. El
problemas derivados de su estudio.
conjunto de los números naturales
Contiene una cantidad considerable
está definido por ℕ= {1,2,3,4,…},
de problemas que podrían ser
que se denominan también números
comprendidos por "no
enteros positivos.
matemáticos". De forma más
general, este campo estudia los Números Enteros: son una
problemas que surgen con el generalización del conjunto de
estudio de los números enteros. números naturales que incluye
números enteros negativos
La teoría de números ocupa
(resultados de restar a un número
entre las disciplinas matemáticas
natural otro mayor), además del
una posición idealizada análoga a
cero. El hecho de que un número
aquella que ocupan las matemáticas
sea entero, significa que no tiene
mismas entre las otras ciencias.
parte decimal. El conjunto de los
Jürgen Neukirch.
enteros está definido por:
ℤ = {…,-3,-2, -1,0, 1,2,3,…}
2.1 Números Reales
Números Racionales: todo
El conjunto de los números
número que puede representarse
reales ℝ s establece como resultado
como el cociente de dos enteros con
de un proceso gradual de aplicación
denominador distinto de cero (una
de los conjuntos que se reseñan a
fracción común). El término
continuación.
«racional» alude a «ración» o

Facultad de Informática |Coordinación del Área de Matemáticas 10

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

«parte de un todo», y no al números determinados en forma

pensamiento o actitud racional. El única que están también en R.
conjunto de los números racionales
Axioma 2 Propiedad
está definido por: ℚ= {los
Conmutativa (Suma y
números que se pueden
Multiplicación) Si a y b están en R
representar de la forma p/q,
entonces a+b = b+a y a*b = b*a.
donde p y q son enteros y q ≠
0}. Definimos un número racional Axioma 3 Propiedad
como un decimal finito o infinito Asociativa. (Suma y
periódico (por ejemplo, el número Multiplicación) Si a, b y c están
decimal finito 0,75 es la en R entonces a+(b+c) = (a+b)+c
representación decimal del número y a*(b*c) = (a*b)*c
racional 3/4. El número decimal
infinito periódico 0,333... es la Axioma 4 Propiedad
Distributiva.Si a, b y c están en R
representación decimal del número
racional 1/3). El número racional
entonces a*(b+c) = ab+ac
permite resolver ecuaciones del tipo
ax = b, cuando a y b son números Axioma 5 Existencia de
enteros (con «a» distinto de cero). Elementos neutros. R contiene
dos números distintos 0 y 1 tales
Números Irracionales: es
que a+0 = a, a*1 = a para a que
cualquier número real que no es
pertenece a los reales.
racional, es decir, es un número que
no puede ser expresado como una Axioma 6 Elementos
inversos Si a está en R entonces
fracción , donde m y n son existe un (-a) en R tal que
enteros, con n diferente de cero y a + (-a) = 0 Si a está en R y a es
donde esta fracción es irreducible. diferente de 0 entonces existe un
Por ejemplo: Π, √2 elemento 1/a en R tal que
a*(1/a) = 1.
Números Reales: es la unión
de los números racionales e 2.1.2 Operaciones y el
irracionales. orden

2.1.1 Propiedades de los La suma, la resta, la

números reales. multiplicación y la división son las
operaciones fundamentales del
Axioma 1 Cerradura: Si a y b
álgebra y el aritmética. En cuanto
están en R entonces a+b y a*b son
al orden se deben de considerar las
siguientes reglas:
Facultad de Informática |Coordinación del Área de Matemáticas 11
 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

1) Efectuar primero las = [ab + (-ab)] + (-ab)

5
multiplicaciones y divisiones de = 0 + (-ab)
6
izquierda a derecha. 2
= (-ab) + 0
2) Efectuar sumas y 5
= -ab
restas de izquierda a derecha.
3) Si hay varios símbolos
de agrupamiento, primero se
efectúan las operaciones de los
2.2 Exponentes y
símbolos interiores y después los Radicales
exteriores. Teorema: Para toda x,y ∊ ℝ y
A partir de los axiomas para toda m,n racionales.
podemos demostrar todas las a) 𝑥𝑥 𝑚𝑚 𝑥𝑥 𝑛𝑛 = 𝑥𝑥 𝑚𝑚 +𝑛𝑛
propiedades algebraicas que 𝑥𝑥 𝑚𝑚
b) = 𝑥𝑥 𝑚𝑚 −𝑛𝑛
conocemos de los números, como 𝑥𝑥 𝑛𝑛

un ejemplo veremos que c) (𝑥𝑥𝑥𝑥)𝑛𝑛 = 𝑥𝑥 𝑛𝑛 𝑦𝑦 𝑛𝑛

𝑚𝑚
𝑛𝑛 𝑛𝑛
(-a)b = -ab. d) 𝑥𝑥 𝑛𝑛 = √𝑥𝑥 𝑚𝑚 = ( √𝑥𝑥 )𝑚𝑚
𝑚𝑚
𝑛𝑛
Ejemplo 1. Comprobar e) 𝑥𝑥 𝑛𝑛 = √𝑥𝑥 𝑛𝑛 = 𝑥𝑥
(-a)b = -ab usando los
Definición: x ∊ ℝ, x ≠ 0, p ∊ ℕ
axiomas
a) x0 = 1
Demostración: 1
b) x–p =
𝑥𝑥 𝑝𝑝
Axioma
(-a)b = (-a)b + 0 5
2.3 Expresiones
Algebraicas
6
= (-a)b + [ab + (-ab)]

= [(-a)b +ab] + (-ab)

3 Una expresión algebraica es
una combinación de letras, números
= [(-a)+a]b + (-ab)
4 y signos de operaciones. Las letras
= 0.b + (-ab)
6 suelen representar cantidades
5 desconocidas y se denominan
= [0.b + 0] + (-ab)
6 variables o incógnitas. Las
= {0.b + [ab+(-ab)]} +
expresiones algebraicas nos
(-ab)
3
permiten traducir al lenguaje
= [(0.b + ab) + (-ab)] matemático expresiones del
+ (-ab) lenguaje habitual.
4
= [(0+a).b + (-ab)] +
(-ab)

Facultad de Informática |Coordinación del Área de Matemáticas 12

 Universidad Autónoma de Querétaro
Facultad de Informática

Propedéutico de Matemáticas

Hay distintos tipos de expresiones ejemplo, -2xy, 4xy son términos

semejantes.
algebraicas.
• Dependiendo del número de 2.3.1 Operaciones con
sumandos, tenemos: monomios (1 expresiones algebraicas.
sumando) y polinomios (varios
Realizar operaciones con
sumandos).
expresiones algebraicas, consiste
• Algunos polinomios tienen
básicamente en aplicar las
nombre propio: binomio (2
propiedades de las operaciones
sumandos), trinomio (3 sumandos),
definidas en el conjunto de los
...
números reales (asociatividad,
• Dos expresiones algebraicas
conmutatividad, distributividad, etc)
separadas por un signo se llama
así como las propiedades de las
ecuación.
potencias y de los radicales.
• Un caso particular de
ecuación es la identidad, en la que 2.3.2 Productos notables.
los dos lados de la igualdad son
equivalentes. Son productos de polinomios
que aparecen frecuentemente y
Ejemplos: convienen recordar para hacer más
Monomios rápida y segura la manipulación
algebraica.

2.3.3 Factorización
Polinomios

Ecuaciones Bibliografía y referencias

Identidades [1]
http://www.cidse.itcr.ac.cr/cursos-
linea/mategeneral/

Definición: Términos
semejantes sin aquellas que sólo se
diferencian en su coeficiente. Por

Facultad de Informática |Coordinación del Área de Matemáticas 13