GuiaMAT PDF

Facultad de Informtica
Capitulo 1: Lgica y Conjuntos
Cursodeingreso2014
Matemtica 0
FacultaddeInformtica
Cursodeingreso2014Matemtica0
Pgina1
CAPTULO 1: Lgica y Conjuntos ......................................................................................................... 3

1.1 Proposiciones ................................................................................................................................ 3
1.2 Conectivos Lgicos....................................................................................................................... 5
1.2.1 Operaciones Proposicionales.................................................................................................. 5
1.2.2 Equivalencia lgica .............................................................................................................. 12
1.2.3 Tautologa............................................................................................................................. 13
1.2.4 Contradiccin ....................................................................................................................... 13
1.3 Esquemas proposicionales en una indeterminada ........................................................................ 14
1.4 Cuantificadores: Universal y Existencial..................................................................................... 15
1.5 Ejercicios Adicionales de Lgica................................................................................................. 19
1.6 Teora de Conjuntos..................................................................................................................... 21
1.6.1 Formas de Expresar un Conjunto ......................................................................................... 21
1.6.2 Relaciones entre elementos y conjuntos ............................................................................... 22
1.6.3 Operaciones con Conjuntos .................................................................................................. 22
1.6.4. Relacin entre la teora de conjuntos y la lgica proposicional .......................................... 24
CAPTULO 2: Conjuntos Numricos .................................................................................................... 26
2.1 Nmeros Naturales: (N)............................................................................................................... 26
2.2 Nmeros Enteros: (Z) .................................................................................................................. 27
2.3 Nmeros Racionales: (Q)............................................................................................................. 28
2.4 Nmeros Irracionales: (I)............................................................................................................. 30
2.5 Nmeros Reales: (R).................................................................................................................... 30
2.5.1 Potencia de un nmero real y exponente entero ................................................................... 31
2.5.2 Radicacin ............................................................................................................................ 33
2.6 Racionalizacin de denominadores.............................................................................................. 34
CAPTULO 3: Polinomios y Ecuaciones............................................................................................... 36
3.1 Polinomios: Definicin. Grado. Caractersticas........................................................................... 36
3.2 Valor de un polinomio en un nmero .......................................................................................... 37
3.3 Operaciones con Polinomios........................................................................................................ 37
3.4 Races de un polinomio................................................................................................................ 40
3.5 Divisibilidad de polinomios......................................................................................................... 41
3.6 Factorizacin................................................................................................................................ 41
3.6.1 Factor Comn ....................................................................................................................... 41
3.6.2 Diferencia de Cuadrados ...................................................................................................... 42
3.6.3 Factor Comn en Grupos...................................................................................................... 42
3.6.4 Trinomio Cuadrado Perfecto ................................................................................................ 42
3.7 Polinomio Lineal y Ecuacin Lineal............................................................................................ 43
3.8 Polinomio Cuadrtico y Ecuacin Cuadrtica ............................................................................. 44
3.9 Ms sobre Ecuaciones.................................................................................................................. 50
3.9.1 Ecuaciones de orden superior y ecuaciones fraccionarias .................................................... 50
3.9.2 Sistemas de Ecuaciones ........................................................................................................ 51
3.10 Problemas de aplicacin ............................................................................................................ 52
CAPTULO 4: Geometra Analtica ...................................................................................................... 57
4.1 Plano coordenado......................................................................................................................... 57
4.1.1. Distancia entre dos puntos................................................................................................... 58
4.2 Nociones bsicas de Trigonometra. ............................................................................................ 58
4.2.1. Medida de ngulos............................................................................................................... 59
4.2.2 Funciones trigonomtricas de un ngulo. ............................................................................. 60
4.3 Rectas en el Plano. ....................................................................................................................... 62
4.4 Circunferencia.............................................................................................................................. 64
4.5 Ejercicios ..................................................................................................................................... 64
Pgina2
CAPTULO 1: Lgica y Conjuntos

Este mdulo tiene por objetivo el familiarizarse con los elementos bsicos de la lgica
simblica; lo que permitir establecer la validez de un enunciado complejo a partir de sus
componentes. El lgebra proposicional abarca conceptos que se son muy utilizados en la
carrera que elegiste. Pretendemos que el alumno incorpore el bagaje lgico para que sea
capaz de abordar el estudio de la teora de conjuntos. La idea de conjunto no requiere
demasiada presentacin, el objetivo aqu es identificar los elementos que pertenecen y los
que no a un conjunto. Interpretar correctamente la notacin simblica en la definicin de
conjuntos, y tratar de explicar a travs de estos resultados la naturaleza del trabajo
matemtico.
1.1 Proposiciones
En el desarrollo de cualquier teora matemtica se hacen afirmaciones en forma de
frases y que tienen un sentido pleno. Tales afirmaciones, verbales o escritas, las
denominaremos enunciados o proposiciones.
Definicin de Proposicin: oracin con valor declarativo o informativo, de la cual se
puede predicar su verdad o falsedad.
Es decir,
Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas
a la vez. La proposicin es un elemento fundamental de la lgica matemtica.
La proposicin es el significado de una idea, enunciado, conjunto de palabras o letras a las
que se les puede asignar uno y slo uno de los valores de verdad, que pueden ser:
VERDADERO (V) o FALSO (F)
Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra
p, es decir, p, q, r, s, t,... etc. As, por ejemplo, podemos citar las siguientes proposiciones y
su valor de verdad:
p: 15 + 5 = 21 (F)
q: Santa Fe es una provincia Argentina. (V)
r: El nmero 15 es divisible por 3. (V)
s: El perro es un ave. (F)
Pgina3
Aclaremos que la mayor parte de las veces los enunciados adquieren el carcter de
proposicin en un contexto determinado; esto es un enunciado puede ser una proposicin
en un sistema determinado, y no serlo en otro.
Para ser ms claro: la oracin Mara va al teatro no es una proposicin, a menos que
yo sepa a qu Mara (de los millones que existen) se refiere, y si va al teatro quiere decir
que va habitualmente al teatro o que lo hace de vez en cuando o que est yendo al teatro en
este instante determinado. Por otra parte si Mara es mi hermana, y en este momento est
saliendo, la afirmacin Mara va al teatro es una proposicin, puesto que claramente es
verdadera o falsa. Entonces, cuando digamos que cierto enunciado es una proposicin
tendremos en claro que lo es en un determinado contexto, en el cual es, sin lugar a dudas,
verdadera o falsa.
Expresiones No Proposicionales
Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos
tenemos a los exclamativos, interrogativos o imperativos.
As tenemos, por ejemplo:
Cmo te llamas?
Prohibido pasar.
Borra el pizarrn.
Clasificacin de las Proposiciones

Aquellas proposiciones que constan o se las puede representar por una sola variable, se
llaman proposiciones simples o atmicas. Por ejemplo, sea la proposicin "p: 3 + 6 = 9" es
una proposicin simple o atmica.
Cuando una proposicin consta de dos o ms enunciados simples, se le llama proposicin
compuesta o molecular. As, por ejemplo:
Encontramos dos enunciados. El primero (p) nos afirma que Pitgoras era griego y el
segundo (q) que Pitgoras era gemetra
No es necesario conocer si una afirmacin es verdadera o falsa (es decir, su valor de
verdad) para saber que es una proposicin. Por ejemplo: Hay vida extraterrestre es una
proposicin, independientemente de que algunos crean que es verdadera y otros que es
falsa, puesto que claramente o bien existe vida extraterrestre o bien no existe.
Nuestro sencillo estudio de las proposiciones no tratar de establecer el valor de verdad
de una proposicin dada, lo que muchas veces es tarea de los cientficos (el universo se
Pgina4
origin en la gran explosin), los filsofos (pienso, por lo tanto existo), los jueces, o las
novias y novios (te quiero).
Lo que haremos es analizar el valor de verdad de unas en funcin de los valores de
verdad de las otras.
1.2 Conectivos Lgicos

A partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir
que se puede operar con proposiciones, y para ello se utilizan ciertos smbolos llamados
conectivos lgicos. A continuacin vemos una concreta definicin de cada uno:
1.2.1 Operaciones Proposicionales

Definiremos las operaciones entre proposiciones en el sentido siguiente: dada una o ms
proposiciones, de las que se conoce los valores de verdad, se trata de caracterizar la
proposicin resultante a travs de su valor de verdad. A tal efecto, estudiaremos a
continuacin el uso y significado de los diferentes conectivos lgicos.
Negacin
Dada una proposicin p, se denomina la negacin de p a otra proposicin denotada por p
(se lee "no p") que le asigna el valor de verdad opuesto al de p. Por ejemplo:
p: Diego estudia matemtica
p: Diego no estudia matemtica
Por lo que nos resulta sencillo construir su tabla de verdad:
p
Observamos aqu que al valor V de p, la negacin le hace corresponder el valor F, y

viceversa.
Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es
su negacin.
Pgina5
Ejemplo: La negacin de " p: Santa F es una provincia argentina." es

p: Santa F no es una provincia argentina.
Conjuncin
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la
proposicin
p q (se lee "p y q"), cuya tabla de verdad es:
p
pq
La tabla que define esta operacin, establece que la conjuncin es verdadera slo si lo son
las dos proposiciones componentes. En todo otro caso es falsa.
Ejemplos: Sea la declaracin:
Vemos que est compuesta de dos proposiciones a las que llamaremos p y q, que son
p: 5 es un nmero impar
q: 6 es un nmero par
Por ser ambas verdaderas, la conjuncin de ellas es verdadera.
Ahora bien, sea la declaracin:
Hoy es el da 3 de noviembre y maana es el da de 5 de noviembre
Esta conjuncin es falsa, ya que no pueden ser simultneamente verdaderas ambas
proposiciones.
Pgina6
Disyuncin
Dadas dos proposiciones p y q, la disyuncin de las proposiciones p y q es la proposicin
compuesta p q, cuya tabla de valor de verdad es:
p
pq
Ejemplos:
Marte es un planeta o una estrella
Crdoba es una provincia argentina o Uruguay es un pas latinoamericano
El 3 es par o el 8 es primo
Intente Ud. identificar las proposiciones p y q
Condicional (o implicacin)
Consideremos el enunciado: "Si apruebas Filosofa, te dejar ir al viaje de fin de curso".
Este enunciado est formado por dos proposiciones atmicas:
p: "Apruebas Filosofa"
q: "Te dejar ir al viaje de fin de curso"
Lo que nuestro enunciado original afirma es esto: si p es verdad, entonces q tambin es
verdad, o, dicho de modo ms sencillo, si p entonces q.
En el enunciado p q, se dice que p es el antecedente (o hiptesis) y q el consecuente (o
conclusin).
El condicional p q se lee "p implica q" o bien "si p entonces q". Un condicional siempre es
verdadero, excepto cuando el antecedente es verdadero y el consecuente falso.
Por lo tanto, su valor de verdad queda definido por la siguiente tabla de verdad.
Pgina7
p
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
En las columnas p y q aparecen las cuatro posibles combinaciones de los valores de verdad
para p y q, y en la columna p q aparecen enumerados los valores de verdad de p q para
cada una de esas combinaciones. Por ejemplo, la segunda fila de la tabla nos dice que
cuando p es verdadero y q falso, el enunciado p q es falso.
Importante: Es destacable que la implicacin puede ser cierta aunque el consecuente sea
falso. As, si no apruebas Filosofa, pero yo no te permito ir al viaje de fin de curso, la
implicacin "Si apruebas Filosofa, te dejar ir al viaje de fin de curso" es verdadera.
Otras denominaciones para la proposicin p q son:
p slo si q
q si p
p es condicin suficiente para q
q es condicin necesaria para p
Ejemplos:
Ser divisible por 2 es condicin necesaria para ser divisible por 6, pero no suficiente.
Ser divisible por 8 es condicin suficiente para ser divisible por 4, pero no necesaria.
Analice y ejemplifique cada una de las 4 posibilidades.
Ejercicio: Determina el valor de las siguientes implicaciones y justifica por qu.

a) Si llueve hacia arriba, entonces eres un ser humano.
b) Si 2 + 2 = 4, entonces las ranas tienen pelo.
c) Si sabes leer, entonces los crculos son cuadrados.
d) Si los burros vuelan, entonces las tortugas saben ingls
Pgina8
El recproco del implicador
Se puede ver por medio de las tablas de verdad (hacer) que tanto la conjuncin como
la disyuncin tienen la propiedad conmutativa, es decir el orden de los enunciados
de las conjunciones o de las disyunciones no altera su valor de verdad: es lo mismo
p q que q p, y tambin es lo mismo pq que qp.
Pero, ocurre lo mismo con el implicador? Es lo mismo p q que q p? La respuesta es

que no. Vemoslo con cierto detenimiento.
Se dice que q p es el recproco de p q. El implicador no tiene la propiedad conmutativa
y esto se aprecia en la comparacin de las tablas de verdad de p q y de su recproco q p:
Valores diferentes
p
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
q p
V
V
F
V
Vemoslo con un ejemplo:

Sea p el enunciado "Llueve", y q: "El suelo est mojado", siendo, por consiguiente p q "Si
llueve, entonces el suelo est mojado". Veamos el recproco de este enunciado: q p: "Si el
suelo est mojado, entonces llueve". Supongamos que p es verdadero, y q falso:
p q ("Si llueve, entonces el suelo est mojado") es necesariamente falso
q p ("Si el suelo est mojado, entonces llueve") es verdadero, pues una falsedad implica
cualquier cosa manteniendo la verdad del condicional.
El contrarrecproco del implicador
Aunque un enunciado condicional y su recproco no tienen los mismos valores de verdad,
si los tienen su condicional y su contrarrecproco.
El contrarrecproco del enunciado p q es q p (es decir, la negacin de cada uno de los
enunciados del recproco). Vemoslo comparando tablas de verdad:
Pgina9
Mismos valores
p
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
q
F
V
F
V
p
F
F
V
V
q p
V
F
V
V
Comparemos el mismo ejemplo:

En el ejemplo anterior donde p:"Llueve", q:"El suelo est mojado", p q "Si llueve,
entonces el suelo est mojado". El contrarrecproco es q p, que significa que "Si el
suelo no est mojado, entonces no llueve", que es lgicamente equivalente al enunciado
primitivo p q.
Ejercicios
Escribe el recproco y el contrarrecproco de los siguientes condicionales
(p)
p
(s q )
(r
(q h)
q)
(s t)
El bicondicional (o coimplicacin)
Ya hemos comprobado que p q no es lo mismo que q p. Puede ocurrir, sin embargo, que
tanto p q como q p sean verdaderos. Por ejemplo, si p:"La Tierra es cbica", y q:"El Sol
es un planeta", entonces tanto p q como q p son verdaderos, porque tanto p como q son
falsos. Es necesario tener esto en cuenta para entender bien el concepto de bicondicional
Mediante el bicondicional lo que queremos decir es que un enunciado es a la vez
condicin necesaria y suficiente para otro. El bicondicional o coimplicador p q, que se lee
"p si y slo si q".
As, si digo que p: "apruebo Filosofa" y q: "saco un 5 o ms en el examen de Lgica" la
frmula p q significa "apruebo Filosofa si y slo si saco un 5 o ms en el examen de
Lgica". Con este "si y slo si" se quiere poner de manifiesto tres cosas:
1. Al introducir el primer condicional "si" (en "si y slo si"), introduzco el antecedente, y
por tanto afirmo que p q, (es decir aprobar Filosofa si saco 5 o ms en el examen
de Lgica), decir p si q es lo mismo que q entonces p.
Pgina10
2. Al introducir "slo si" (en "si y slo si"), introduzco el consecuente, buscando
comunicar que q p, (es decir, que si saco un 5 o ms en el examen de Lgica,
entonces apruebo Filosofa).
3. Al utilizar el conectivo "y" (en "si y slo si"), quiero comunicar la conjuncin de p q
con q p.
As pues, el enunciado "apruebo Filosofa si y slo si saco un 5 o ms en el examen de
Lgica" se puede formalizar de dos formas equivalentes: (p q) (q p), o bien p q.
En consecuencia, el enunciado p q queda definido por el enunciado (p q) (q p). Por
esta razn, el smbolo se llama bicondicional, y la tabla de verdad para p q es la misma
que la de (p q) (q p).
p
V
V
F
F
La doble flecha horizontal
q
V
F
V
F
p q
V
F
F
V
es el operador bicondicional
Fjate que de la observacin de la tabla de verdad deducimos que para que p q sea
verdadera, tanto p como q han de tener los mismos valores de verdad, y en caso
contrario es falsa.
La formalizacin del bicondicional
El coimplicador puede tener varias expresiones equivalentes en lenguaje natural. As p

es la formalizacin de las siguientes expresiones de lenguaje natural:
p si y slo si q
p es necesario y suficiente para q
p es equivalente a q
Fjate que p q y q p tendran totalmente los mismos valores de verdad, puesto que
ambas son coimplicaciones y por lo tanto si sus valores de verdad son los mismos, son
verdaderas, y son falsas en los dems casos. En consecuencia, podemos reformular los
enunciados anteriores intercambiando p y q:
q si y slo si p
q es necesario y suficiente para p
q es equivalente a p
Pgina11
Ejemplos del bicondicional

Motivos por los que p
q es verdadera:
(a) "La Tierra es cbica si y slo si el Sol

es un planeta"
p: "La Tierra es
cbica": F
q: "El Sol es un
planeta": F
(b) "La Tierra es esfrica si y slo si el Sol

es una estrella"
p: "La Tierra es
esfrica": V
q: "El Sol es una

estrella": V
(c) "Los cocodrilos tienen ruedas si y slo

si los sapos bailan flamenco"
p: "Los cocodrilos
tienen ruedas": F
q: "Los sapos
bailan flamenco":
F
(d) "Los cocodrilos no tienen ruedas si y

slo si los sapos no bailan flamenco".
p: "Los cocodrilos
no tienen ruedas":
V
q: "Los sapos no
bailan flamenco":
V
Ejemplos de bicondicionales falsos:
Motivos por los que p
q es falsa:
(a) "La Tierra es cbica si y slo si

2+2=4"
p: "La Tierra es
cbica": F
q: "2+2=4": V
(b) "El Sol es una estrella si y slo si

1+2=4"
p: "El Sol es una

estrella": V
q: "1+2=4": F
(c) "Los cocodrilos tienen ruedas si y slo

si los sapos no bailan flamenco"
p: "Los cocodrilos
tienen ruedas": F
q: "Los sapos no
bailan flamenco":
V
(d) "El sol es una estrella si y slo si

Napolen escribi el Quijote"
p: "El sol es una

estrella": V
q:
"Napolen
escribi
el
Quijote": F
Ejemplos de bicondicionales verdaderos:

p
1.2.2 Equivalencia lgica
Decimos que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes.

Si coinciden sus resultados para los mismos valores de verdad. Se indican como PQ,
siendo P y Q proposiciones no necesariamente atmicas.
Pgina12
Importante: usamos la para indicar la equivalencia, mientras que

bicondicional.
simboliza al
Ejercicio: Probar que las siguientes propiedades se satisfacen, probando las equivalencias
lgicas (construyendo las tablas de verdad).
1.- Doble negacin: p p
2.- Leyes conmutativas: a) (p q) (q p)
b) (pq) (qp)
3.- Leyes asociativas: a) [(pq) r] [p (qr)] b) [(pq) r] [p (qr)]

4.- Leyes distributivas: a) [p (qr)] [(pq)(pr)] b) [p (qr)] [(pq)(pr)]
5.- Leyes de De Morgan: a) (pq) (p q) b) (pq) ( p q)
6.- Implicacin: (pq) ( pq)
1.2.3 Tautologa
Tautologa, es aquella proposicin (compuesta) que es cierta para todos los valores de
verdad de sus variables. Un ejemplo tpico es el contrarrecproco, y verificamos por medio
de la tabla de verdad que es una tautologa, mirando el valor de verdad de la ltima
columna:
p
(p q) ( q
p)
Las tautologas son muy importantes en lgica matemtica ya que se consideran leyes en
las cuales nos podemos apoyar para realizar demostraciones.
1.2.4 Contradiccin
A diferencia de la tautologa, que siempre es verdadera, aquella proposicin que siempre es
falsa para todos los valores de verdad, se denomina contradiccin. Una de las ms usadas
y ms sencilla es p p, como lo muestra su correspondiente tabla de verdad.
Pgina13
p p
Ejemplo: Dada la proposicin p: La puerta es verde.

La proposicin p p equivale a decir que "La puerta es verde y la puerta no es verde".
Por otra parte, si una proposicin compuesta cuyos resultados en sus diferentes lneas de la
tabla de verdad, dan como resultado V y F le llama contingente o contingencia.
Ejercicio: A partir de los enunciados, simbolcelos y obtenga conclusiones:
a) Si Juan naci en Mendoza entonces es argentino.
Juan Naci en Mendoza.
b) Si Juan naci en Mendoza entonces es argentino.
Juan no es argentino.
1.3 Esquemas proposicionales en una indeterminada

En lgebra y Aritmtica suele decirse que la siguiente expresin: x + 2 = 5 es una
ecuacin.
Tal expresin no es una proposicin, pues no tiene sentido afirmar que sea verdadera o
falsa, pero existe algn reemplazo de x por un nmero de modo tal que se transforma en
una proposicin.
Por ejemplo, si x= 7
7 + 2 = 5, la cual en este caso es Falsa.
Definicin: Se llama esquema proposicional en la indeterminada x a toda expresin que

contiene a x, y posee la siguiente propiedad: Existe por lo menos un nombre tal que la
expresin obtenida sustituyendo la indeterminada por dicho nombre, es una proposicin.
Convencin: Llamaremos simplemente esquema en lugar de esquema proposicional.
Las indeterminadas suelen llamarse variables o incgnitas.
Ejemplos
1. x es blanca es esquema pues existe una constante esta flor que en lugar de la
variable x produce la siguiente proposicin: Esta flor es blanca.
Que esta proposicin sea Verdadera o Falsa depender de cual sea la flor particular que se
est sealando.
Pgina14
2. Qu es x? NO es un esquema, pues no hay constante que sustituida en la variable

produzca una proposicin.
Ejercicios
Si x es una indeterminada, decir cules de las siguientes expresiones son esquemas:
1)
2)
3)
4)
5)
Juan y x fueron al teatro.

x es perro.
Distancia del punto P a x es igual a 2. (El punto P es conocido )
x doy.
x0yx 3
Vamos a utilizar smbolos tales como P(x), Q (x), para designar esquemas de incgnita x.
DEFINICIN
Si P(x) es un esquema en x y a es una constante, se llama valor de P(x) en la
constante a a la expresin obtenida de P(x) sustituyendo x por a.
El valor de P(x) para a se designa P(a).
Ejemplo
P(x): x no es un objeto y a es esta casa
P(a): Esta casa no es un objeto
Vamos a definir al conjunto de valores de verdad de P, lo simbolizamos con V(P), al
conjunto formado por todas las constantes a que hacen verdadera la proposicin P(a).
1.4 Cuantificadores: Universal y Existencial

Hasta ahora se ha visto un mtodo para obtener proposiciones a partir de esquemas P(x):
sustituir la variable x por una constante adecuada a de tal forma que P(a) sea una
proposicin.
Hay otro mtodo distinto que transforma un esquema en proposicin a partir del esquema
P(x): es el mtodo de los operadores o cuantificadores.
Como vimos en los ejemplos, uno trata de reemplazar la incgnita por valores que tenga
cierto sentido como para obtener una proposicin, por ejemplo, si el esquema es
P(x): x > 5, pensamos que x puede ser un nmero, y dependiendo de si x es 8 x es 2, ser
verdadera o falsa; pero no pensamos en reemplazar x por algn color del arco iris. Esto nos
conduce a la siguiente definicin:
Pgina15
Definicin de Conjunto Universal: Llamaremos de esta forma al conjunto al cual pertenecen

los valores que puedan tomar las variables. Lo notaremos por U y lo nombraremos por
conjunto universal o, simplemente, universo. Debe contener, al menos, un elemento.
Pero ahora podemos por medio de los cuantificadores convertir en proposiciones de la
siguiente manera:
El cuantificador existencial,
Para algn x se verifica p(x)
Existe x tal que se cumple p(x)
Para al menos un x se satisface p(x)
son proposiciones que se escriben como (x)(p(x))
El cuantificador universal,
Para todo x se verifica p(x)
Para cualquier x tal que se cumple p(x)
Para cada x se satisface p(x)
son proposiciones que se escriben como (x)(p(x))
Analiza cuidadosamente el siguiente ejercicio: Escribe en forma simblica las

siguientes proposiciones y decide el valor de verdad de las mismas.
p: Todo nmero real mayor que 2 tiene un cuadrado mayor que l mismo.
q: Algunos nmeros reales con cuadrado mayor que 4 son menores que 2.
r : Cualquier nmero satisface x2 - x 0 o no es mayor que 2
Observa que en r hace falta el conjunto universal
Qu ocurre si U est formado por los nmeros reales? Y si a U lo forman los enteros?
Ejercicios
En cada caso decir si se trata de esquemas, en tal caso transformarlo en una proposicin y
hallar su valor de verdad:
1
2
3
4
P(n): n + 1 > n.
Q(n): n 2 + 1 .
R(n): n 2 3n + 2 = 0 .
S(n): n es un nmero racional.
Alcance de un operador
Sea el siguiente ejemplo:
(x) x es verde x es rojo (*)
Pgina16
Vemos que el operador existencial se refiere nicamente al esquema x es verde y NO a x

es rojo, o sea que el alcance del operador llega nicamente al primer esquema, si
quisiramos que alcance a los dos esquemas, tendramos que poner
(x ) : ( x es verde x es rojo ) o sea usaramos parntesis.
Del ejemplo precedente podemos deducir que: La expresin x es verde es el esquema

ms simple que aparece en (*) inmediatamente despus del operador.
La expresin x es verde x es rojo, tambin es un esquema pero no es el ms simple.
La expresin x es rojo es un esquema tambin simple pero no aparece despus del
operador.
Definicin: Se llama alcance de un operador en x al esquema ms simple que aparece
inmediatamente despus del operador, salvo que se presenten parntesis, en cuyo caso
deben aplicarse las reglas habituales referentes al uso de parntesis.
Negacin de operadores
Sea la siguiente proposicin:
(n)(n es un nmero primo), la cul sabemos es Falsa.
Vamos ahora a negarla
(n)(n es un nmero primo)
En lenguaje corriente esto nos dice que no todos los nmeros son primos con lo cual su
sinnima ser algunos nmeros no son primos, y simblicamente
(n)(n no es un nmero primo)
De lo anterior se puede deducir que son expresiones sinnimas
(x)( P ( x)) (x)(P ( x))

De igual manera se obtiene:
(x)( P( x)) (x)( P( x))

Por lo tanto, en palabras decimos que:
La negacin de un cuantificador universal (existencial, respectivamente) es equivalente a

la afirmacin de un cuantificador existencial (universal) cuyo alcance es la negacin del
alcance del primero.
Pgina17
Ejercicios
1.- Indicar cules de las siguientes frases son proposiciones

a) Un cuadrado tiene 3 lados.
b) x > 2.
c) x + 3 = 2 x .
d) El dgito 26003 de es 4.
e) El mes de abril del 2014.
2.- Expresar las siguientes proposiciones en forma simblica, negarlas y retraducir su
negacin al lenguaje corriente:
a) Juana no es justa pero mantiene el orden.
b) Los alumnos conocen a los simuladores y los desprecian.
c) Si los alumnos conocen a los simuladores, entonces los desprecian.
3.- Determinar en cada caso si la informacin que se da es suficiente para conocer el valor de
verdad de las siguientes proposiciones compuestas. Justifica tu respuesta.
p q ) r r es V
a) (
p q ) ( p r ) p es V y r es F
b) (
p q ) ( p q ) q es V
c) (
4.- Expresar mediante operadores y el smbolo de implicacin, las proposiciones:

Todos los hombres son mortales
Hay algn nmero que no es primo
5.- Expresar en lenguaje corriente las siguientes proposiciones. Establecer el alcance de los
operadores y proponer el Universo.
a) (x)(x es metal x se funde)
b) (x)(x es metal) el oro se funde
c) (x)(x es cuadrado) (x)(x es paralelogramo)
d) (x)(x es hombre x es mortal)
6.- Construir las tablas de verdad de:
a) ( p q )
Pgina18
b) ( p r ) q
c) ( p q ) r
1.5 Ejercicios Adicionales de Lgica

(Es importante hacer estos ejercicios ya que se repasa lo visto)
1) Simbolizar las siguientes proposiciones, usando proposiciones simples y/o esquemas

proposicionales.
a) Todo conjunto infinito contiene un subconjunto infinito y el conjunto de los nmeros
naturales es infinito.
b) Todo nmero distinto de cero es divisible por 1, -1, por el mismo y por su opuesto.
c) 25 no es divisible por 2 ni por 3 pero es mltiplo de 5.
2) Consideremos las siguientes proposiciones p, q, r, s.
p: La galera era un barco antiguo de comercio.
q: La galera era un barco antiguo de guerra.
r: La galera era un barco antiguo que se mova con velas.
s: La galera era un barco antiguo que se mova con remos.
Escribir con palabras los resultados de las siguientes operaciones
a) p q
b) (q ) (r )
c) r s
d) q s
3) Hacer las tablas de verdad de las siguientes proposiciones
a) ( p q)
b) (q ) (r )
c) (s p) ( s p)
4) Simbolizar las siguientes proposiciones:
Pgina19
a) Si 5 3 entonces 5 3 0.
b) Si A, B y C son nmeros racionales tales que 2A+3B-5C = 0 entonces A=B=C=0 .
c) Si dos nmeros enteros A y B son consecutivos y si otro entero T satisface que T divide
a A y T divide a B entonces T=1 o T = -1.
5) a) Pasar a la forma si.entonces y simbolizar
i) Juan ir a Crdoba slo si consigue pasaje en avin.
ii) Es necesario ser argentino para ser presidente de la repblica.
b) Expresar y simbolizar utilizando la palabra suficiente
i) La temperatura bajar si comienza a soplar el viento del sur.
ii) Si aprob el exmen entonces contest bien el 40 % de sus preguntas.
c) Expresar y simbolizar utilizando la palabra necesario
i) Si un tringulo est inscripto en un semicrculo entonces es rectngulo.
ii) Pedro es argentino slo si es americano.
6) Establecer si las siguientes frmulas constituyen tautologas, contradicciones o
contingencias.
( p q) (q p)
( p q) p
(q p) p
7) Simbolizar utilizando esquemas, cuantificadores y conectivos lgicos.
a) Hay objetos rojos y adems hay objetos verdes.
b) Hay nmeros pares o todos los nmeros son mltiplos de 3.
c) No todos los nmeros son mltiplos de 5.
d) Todos los nmeros no son mltiplos de 5.
8) Simbolizar utilizando cuantificadores y esquemas convenientes:
a) Algunos hombres son santos.
b) Ninguna virtud es una cualidad natural.
c) No todo nmero real es un nmero racional.
d) Todos los nmeros primos son impares excepto el 2.
Pgina20
e) Si existe un nmero natural menor que 4 entonces todo mltiplo de 6 es mltiplo de

5.
1.6 Teora de Conjuntos

Un conjunto es la reunin de entes u objetos bien definidos y diferenciables entre si, que en
general tienen caractersticas similares. Estos entes u objetos se llaman elementos del
conjunto.
Si a es un elemento del conjunto A se denota con la relacin de pertenencia a A.
En caso contrario, si a no es un elemento de A se denota a A.
1.6.1 Formas de Expresar un Conjunto
Diagrama de Venn
Seguramente est familiarizado con grficos como el siguiente, donde el elemento

x A y el elemento y A.
A
Expresado por Extensin
Cuando damos de manera explcita los elementos.

Por ejemplo: A={1, 3, 5, 7}
Expresado por Comprensin
Cuando expresamos la propiedad definidora del conjunto.

En el ejemplo anterior, A={x: x es un nmero impar menor o igual a 7}=
={x : x es impar x 7}
Se lee x tal que x es impar y x es menor o igual que 777}
Ejercicio
Considere {x : x > 1 2.x = 1} Es un conjunto, qu elementos tiene?
Pgina21
Ejemplos de Conjuntos muy utilizados en matemtica.
Ya vimos en lgica, al conjunto universal o universo, que contiene a todos los

elementos. Notado por la letra U.
El conjunto vaco, es aqul que no contiene elementos. Se nota slo con {}.
Conjuntos numricos: nmeros naturales, enteros, racionales, irracionales, reales,

que desarrollaremos en el siguiente mdulo.
1.6.2 Relaciones entre elementos y conjuntos

Sean A y B dos conjuntos. Diremos que:
A est contenido en B A es un subconjunto de B, si todo elemento de A es

tambin un elemento de B.
En smbolos A B si y slo si se verifica el condicional (x) (x A x B)
Los conjuntos A y B son iguales, si y slo si tienen los mismos elementos.
En smbolos A = B si y slo si se verifica el bicondicional (x)(x A x B)

Ejercicio: Como ver, hay una relacin entre la contencin y el condicional. Cmo
expresara entonces la igualdad? Utilice su deduccin para comparar los siguientes conjuntos:
A={2,3}, B={x : x.(x-3)=0} y C={x: x.(x-3}.(x-1)=0
1.6.3 Operaciones con Conjuntos

1.6.3.1 Interseccin
Dados los conjuntos A y B, se define el conjunto A B que llamaremos interseccin de A y
B, como el conjunto formado por los elementos que son comunes a ambos conjuntos.
x
A B = {x : x A x B}
Pgina22
1.6.3.2 Unin
Dados los conjuntos A y B, se define el conjunto A B que llamaremos unin de A y B,
como el conjunto formado por los elementos que pertenecen a uno u otro conjunto.
A B = {x : x A x B}
1.6.3.3 Diferencia
Dados los conjuntos A y B, se define el conjunto A - B que llamaremos diferencia entre A y B
(en ese orden), como el conjunto formado por los elementos de A que no pertenecen a B.
x
A - B = {x : x A x B}
1.6.3.4 Complemento
Si A B, se define el complemento de A
con respecto a B como el conjunto formado
por los elementos de B que no pertenecen a A.

CBA = {x : x B x A}
En particular, si B=U, decimos directamente el complemento de A, sin necesidad de aclarar respecto
a quin.
Ejercicios
1. Dados los conjuntos A={1,2,3}, B={1,2,4,5} y C={2,4}, calcule los conjuntos A B; A

B; A B; CBC; B A; A B C; A (B C); (A B) C; B C. Compare los resultados
y obtenga conclusiones posibles.
2. Cul es la interseccin entre los conjuntos {{a}} y {a}?
3. Cmo puede traducir las leyes de De Morgan con la notacin de conjuntos?
4. Sean A y B dos conjuntos no vacos tales que A B. Determinar si son V F los siguientes
enunciados, justificando la respuesta:
Siempre x tal que x A x B

Siempre x tal que x B x A
Pgina23
xBxA
xAxB
A y B no tienen elementos en comn (cmo simbolizara esta proposicin,
segn la notacin de conjuntos?).
1.6.4. Relacin entre la teora de conjuntos y la lgica

proposicional
Como habrn notado, existe una relacin muy estrecha entre la Teora de Conjuntos y la
Lgica Proposicional.
Para mostrar dicha relacin, podemos completar el siguiente cuadro:
Conjuntos
Proposiciones ab
AB
ab
ab
CUA
A-B
Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto universal con
una tautologa.
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden reescribir en
trminos de lgica proposicional y viceversa; como habr podido concluir en los ejercicios
anteriores.
A continuacin probaremos alguna de las propiedades de unin e interseccin, que Ud. ha
realizado para conjuntos concretos, con el propsito de mostrar un buen ejercicio de
razonamiento.
Propiedad Conmutativa para la Unin: Cualesquiera sean los conjuntos A y B,

AB=BA
Sea x A B x A x B x B x A x B A
Donde la primera y la tercera equivalencia se deben a la definicin de unin, mientras que la

segunda es debido a la propiedad conmutativa de la disyuncin (que Ud. puede demostrar por
medio de la tabla de verdad): p q q p.
Ud. puede probar de manera equivalente, la propiedad conmutativa para la

interseccin.
Propiedad Asociativa para la Unin: Cualesquiera sean los conjuntos A, B y C,

(A B) C = A (B C)
Pgina24
Sea x (A B) C (x A x B) x C x A (x B x C) x A (B C)
Donde la primera y la tercera equivalencia se deben a la definicin de unin, mientras que la

segunda es debido a la propiedad asociativa de la disyuncin (que Ud. puede demostrar por
medio de la tabla de verdad): (p q) r p (q r).
Ud. puede probar de manera equivalente, la propiedad asociativa para la

interseccin.
Ejercicio: Probar algunas de las siguientes propiedades

1. Idempotencia: A A = A ; A A = A
2. Absorcin: A ( A B ) = A ; A ( A B ) = A
3. Distributiva: A ( B C ) = ( A B ) ( A C ) ;
A(BC)=(AB)(AC)
4. Complementariedad A CUA = U ; A CUA =
5. CUA(CUA)=A
Pgina25
Capitulo 2: Conjuntos Numricos
CAPTULO 2: Conjuntos Numricos

Este mdulo tiene por objetivo recordar y clarificar las propiedades de las operaciones en los
conjuntos numricos que se consideran imprescindibles para seguir adelante.
Al finalizar el mismo el alumno debe ser capaz de:
a) Identificar los distintos tipos de nmeros
b) Aplicar correctamente las propiedades de las operaciones.
2.1 Nmeros Naturales: (N)

Este conjunto de nmeros existe desde que el hombre tuvo la necesidad de contar, por
ejemplo, su rebao. Es el primer conjunto de nmeros que aprendemos, posee infinitos
elementos y aparece como su nombre lo indica en forma natural.
Este conjunto, simbolizado con la letra N, tiene como elementos:
N= {0,1, 2,...., 20, 21,....152,153,........} y as contina indefinidamente.
Consideremos las dos operaciones fundamentales en N, suma y producto, y veamos sus
propiedades:
1) La suma de dos nmeros naturales es un nmero natural.
2) El 0 es tal que sumado con cualquier otro nmero no lo modifica.
3) Si se consideran 3 nmeros naturales la suma de los dos primeros ms el tercero
resulta igual que si al primero se le suma el resultado de la suma de los otros dos.
4) La suma de nmeros naturales es conmutativa.
Ejercicios
1) Expresar simblicamente las 4 propiedades anteriormente enunciadas.

2) Enunciar las propiedades del producto de nmeros naturales, en lenguaje corriente y
simblicamente.
3) Cul es la propiedad que enlaza la suma y el producto de naturales? Definirla.
Orden Usual
Con los naturales tambin se pueden expresar ordenamientos, por ejemplo: se ordenan los
planetas a partir del sol, la Tierra es el tercero y Marte es el cuarto.
Adems dadas dos colecciones de objetos se pueden comparar sus cantidades:
La tierra tiene menos satlites que Jpiter
Surgen las siguientes preguntas:
N tiene primer elemento?, cul es?, tiene ltimo elemento?
Dados a y b N se cumple: a < b a > b a = b.
Pgina26
2.2 Nmeros Enteros: (Z)

En N, la resta slo est definida si el minuendo es mayor o igual al sustraendo. Para que dicha
operacin no sea tan restringida se cre el conjunto de enteros negativos (notado por - N).
Para ello para cada n N se introduce el opuesto de n, notado - n tal que
n + (-n) = 0
Entonces Z = N U (-N)
Los nmeros negativos se consideran menores que 0 en el orden usual de los enteros.
A los naturales se los llama enteros positivos, siendo mayores o iguales que 0.
Ley de Monotona
Si a, b y c Z a b a + c b + c
Ejercicio:
Ejemplificar la Ley de Monotona con distintas combinaciones en los signos (es decir enteros
positivos y negativos) de a, b y c.
Nmeros Pares e Impares
Dentro del conjunto de los enteros se distinguen dos subconjuntos cuya unin componen a Z,
ellos son el conjunto de los nmeros pares y el conjunto de los nmeros impares.
DEFINICIN: Un nmero entero n es par si y slo si existe un entero k tal que n = 2k.
DEFINICIN: Un nmero entero n es impar si y slo si es el siguiente de un nmero par.
Por lo tanto si n es impar se cumple que n = 2k + 1, con k Z.
Divisibilidad
En muchos problemas es necesario saber si el reparto de varios elementos en diferentes grupos

se puede hacer equitativamente, es decir, si el nmero de elementos dividido entre el nmero
de grupos sera una divisin entera con resto o sin resto. Al dividir un nmero n Z entre otro
nmero d Z, la divisin sea exacta sin resto, diremos que n es mltiplo de d, que n es
divisible entre d, que d es divisor de n, o que d divide a n.
En este caso, existe un tercer entero (cociente) c, tal que n=c.d. En general, aplicamos la
divisibilidad a nmeros enteros, pudiendo ser positivos o negativos.
En smbolos:
Sean n, d Z, decimos que d divide a n si c Z tal que n = c d. Se nota d/n.
Pgina27
Otro concepto importante en la teora de Nmeros Enteros es el de Nmero Primo.

DEFINICIN: Un nmero entero se dice primo si tiene exactamente 4
divisores: la unidad, el propio nmero y sus respectivos opuestos.
Ejercicios
1) Sea A = {0,1, 2,3, 4,5, 6, 7,8,9} . Hallar los elementos primos de A. Justificar.
2) Si un nmero es primo, qu se puede decir de su opuesto?
3) Hallar la descomposicin en primos del nmero 340 y 195.
2.3 Nmeros Racionales: (Q)

La operacin de dividir no es siempre posible en el conjunto Z de los nmeros enteros.
Veamos: puede efectuarse 12: 4 pues existe un entero, el 3, tal que 4. 3 = 12. Pero, no ocurre
lo mismo con 4: 12 - 3: 7, por lo tanto esta imposibilidad nos conduce a ampliar a Z
definiendo un conjunto en el que la divisin sea realizable en dicho conjunto.
Vamos a definir ahora formalmente este nuevo conjunto que se denomina conjunto de los
nmeros racionales y se simboliza con la letra Q.
Q = {m/n: m n Z n 0}
Los nmeros racionales pueden sumarse, restarse, multiplicarse y dividirse y el resultado es un
nmero racional.
En Q se definen la suma y el producto de forma que las propiedades de estas operaciones se
conservan:
Dados:
a c ad + bc
a c a.c
a c
y Q se define la suma + =
y el producto . =
b d
bd
b d b.d
b d
Se dice que
a c
y son equivalentes si y slo si ad = bc.
b d
Ejemplos
9
es equivalente a -3.
3
3 1 6
son equivalentes.
, ,
12 4 24
Pgina28
Una operacin entre racionales no se modifica si reemplazamos uno de ellos por otro que sea
equivalente.
Ejercicio: Enuncie con smbolos las siguientes propiedades, para el producto y suma si
corresponde.
a) Ley de cierre.
b) Asociativa.
c) Conmutativa.
d) Existencia del neutro.
e) Existencia del opuesto.
f) Existencia del inverso para todo elemento no nulo.
g) Propiedad distributiva
Ejercicios
1) Enunciar cada una de las propiedades anteriores simblicamente.

2) Hallar el error en el siguiente clculo:
18 12
12 + 18 12 + 18
.
= + 6 pues
=
3
3
3
3
12
18
6
6
Entonces 4 = 6
y luego 2(2 ) = 3(2 ) 2 = 3
3
3
3
3
4+
Orden en Q
Dados
a c
Q se dice:
b d
a
c
a c
es menor o igual que
y se anota
si y slo si ad bc.
b
d
b d
a
c
a c
es mayor o igual que y se anota si y slo si ad bc.
b
d
b d
Ejercicios
1) Ordenar de menor a mayor
12
2
3 3 5 6
, 3, , 1,
, , , .
6
5
2 2 7 4
2) Sea - 4 < m < 2

a) Hallar m Z tal que se cumpla lo anterior
b) Idem si m Q
Pgina29
3) Probar que entre dos nmeros racionales distintos, hay otro racional.
Importante: Esta propiedad muestra que siempre habr un nmero racional entre dos, por muy
prximos que estn. Por lo tanto se dice que el conjunto de los racionales es denso.
2.4 Nmeros Irracionales: (I)

El concepto de nmeros irracionales proviene de la Escuela Pitagrica, que descubri la
existencia de nmeros irracionales, es decir que no eran enteros, ni racionales como
fracciones. Es decir, si un nmero no es decimal exacto y no es decimal peridico, no
representa a un nmero racional. Este tipo de nmeros se llaman irracionales, o sea, son
m
aquellos que no pueden expresarse como cociente de dos enteros
con n 0.
n
Es posible que este descubrimiento se produjera al intentar resolver el problema siguiente:
Si se traza un cuadrado cuyo lado mida la unidad, es decir 1, y se intenta calcular lo
que mide la diagonal utilizando el Teorema de Pitgoras. Cunto mide la diagonal?
Entre los ms conocidos figuran:
p ( primo); ; e
2.5 Nmeros Reales: (R)

Se llaman nmeros reales aquellos nmeros que son racionales o irracionales. Al conjunto de
todos ellos lo notaremos con R.
Sobre R definimos dos operaciones: Suma (+) y Producto (.) de la manera usual y una
relacin < de orden.
Analicemos las propiedades de cada una de ellas (guese por lo discutido en los
apartados anteriores).
Ejercicios
1) Probar que si a 0 y a b = a c b = c
Pgina30
2) a b = 0 a = 0 b = 0
3) (-1) a = - a
Resaltar las propiedades utilizadas.
4) Dados a, b y c R. Probar:
a) a > b a + c > b + c
b) a > b y c > 0 a c > b c
c) a > b y c < 0 a c < b c
5) Para todo a, b R con a > 0 y b > 0, a>b <=> a. a > b. b
2.5.1 Potencia de un nmero real y exponente entero

Cuando queremos indicar productos de factores iguales, generalmente usamos la notacin
exponencial. Recordemos que si a R y n N, n 0, entonces an = a. a. a .....a n-veces,
donde a es la base y n es el exponente.
Por convencin si a 0,
a- n =
1
an
Ya que a - n .a n = a n - n = a 0 = 1 .
Y la regla de las potencias de igual base sigue siendo vlida.
Propiedad de las potencias. La potencia es distributiva respecto al producto y al cociente.
Sean a, b R y n Z.
(a.b) n = a n .b n
(a:b) n = a n : b n
Resulta muy simple sistematizar el producto, cociente y potencia, de potencias de igual base.
a n .a m = a n + m
a n : a m = a n - m con a 0
(a n ) m = a n.m
Luego ahora surge la siguiente pregunta, la potencia es distributiva respecto de la suma?

La respuesta es NO, veamos un ejemplo:
Pgina31
(2 + 3) 2 = 52 = 25
22 + 32 = 4 + 9 = 13
Luego ( a + b ) n a n +b n
Ejercicios
1) En los siguientes clculos se han cometido errores al aplicar propiedades. Indicar dichos
errores y corregirlos.
a) (b 2 b 3 b 5 ) 2 = (b 4 ) 2 = b16 suponemos b 0
b) (a 2 ) 4 : (a 3 ) 2 = a 6 : a 6 = 1 suponemos a 0
7 4.(7 2 )6 7 4.712
= 18 = 7 2 = (7) 2 = 49
9 2
(7 )
7
0
0
d) (7 14) + 5 = 1
c)
2) Aplicando las propiedades de la potencia, probar que:

a) (10.2n +1 )3 : (2n +1 )3 = 1000
b) 22 n.(2.2n +1 + 2n + 2 ) = 32
3) Calcular:
3 2 3
(1 ).( ) 2
2 3 4 = ....
a)
1
2
( 1) : ( 2) 2
3
5
4
3 2
1
b) 1 : + 11 = ....
2 27
4) Responder si es V F y justificar:
2
1
2
1
a) < a < 25 < a 2 < ( 25 )
4
4
b) 3 < a <
1
2
2
1
( 3) < ( a ) <
3
3
Pgina32
2.5.2 Radicacin
Es la operacin inversa de la potenciacin.
DEFINICIN: Sean b R y n N, n >1, c tal que cn=b y este nmero c es llamado la raz
n-sima de b
cn = b c = n b
Ejemplos
3
64 = 4 pues ( -4 ) = 64
3
36 = 6 pues ( 6 ) = ( 6 ) = 36
2
Veamos ahora si existe alguna restriccin para la radicacin en R.

Supongamos que se desea calcular 9 o sea buscar un nmero b
b = 9 b 2 = 9 Tal nmero no existe pues b 2 es positivo.
R tal que
En consecuencia, si se trabaja en R:
n
a existe, si a y n es impar a 0 y n es par.
Entonces, es siempre posible simplificar una raz?
Propiedades de la radicacin
Dados a, b tales que existen
Respecto de la suma y la resta
a y n b se cumple:
a.b = n a . n b
a :b = n a : n b
ab n a n b
Para evitar la ambigedad al simplificar, se debe tener en cuenta el valor aritmtico de la

raz.
El valor aritmtico de la raz n-sima de a n es:
a si n es impar y a si n es par
Raz Aritmtica:
Pgina33
Si n es impar
Si n es par
an = a
En particular
a2 = a
an = a
2.6 Racionalizacin de denominadores

En muchas cuestiones en que se presentan fracciones cuyo denominador es una expresin
irracional, conviene transformarlas en otras equivalentes de denominador racional.
Esta racionalizacin se logra siempre, multiplicando numerador y denominador de la fraccin
por una expresin irracional conveniente.
Sin embargo, es tan complicada la fraccin obtenida que slo en casos muy sencillos tiene
utilidad prctica.
Se racionaliza el denominador de toda expresin del tipo
En particular, si b c son 0, se multiplica el numerador y el denominador por
A
bien
a b
A
a c
a m b bien
a m c respectivamente
multiplicando los dos trminos por la expresin conjugada
Ejercicios
1) Calcular:
a)
5. 5 3 2. 3 4
b) 1 + 5
20
c) 4 48 4 3. 1 + 4 81
2) Son correctas las igualdades?

a) 50 = 5. 2
b) 12 = 3. 2
c) 5 64 = 2. 5 2
3) Hallar el error en las siguientes demostraciones:
a) a a = a . Demostracin:
Pgina34
a 2 = ( a ) a 2 =
2
( a )
a = a
b) b b =1. Demostracin:
b 1 = (1 b ) ( b 1) = (1 b ) b 1 = 1 b
2
b + b 1 = b + 1 b 2b 1 = 1 2b 1 + 1 = 1 + 1
2b = 2 b = 1
5) Teniendo en cuenta la propiedad: a, b + entonces a b a 2 b 2 (demostrarla) y
ordenar:
a) 2. 2 y 5
1
1
b)
y
2
3
1
1
1
c)
+
y
2
3
6
6) Responder V F y justificar: Si a, b
a) ( a.b ) = a 2 .b 2
2
b) ( a + b ) = a 2 + 2.a.b + b 2
2
c) ( a b ) = a 2 b 2
2
a2
a
d) = 2
b
b
e) ( a + b ) . ( a b ) = a 2 b 2
Supuestas definidas las races(o sea, se puede realizar la operacin en los reales)
f) a + b = a + b
g) n a.b = n a . n b
7) Simbolizar y demostrar la proposicin: Si n es par entonces su cuadrado tambin.
8) Demostrar que la interseccin entre el conjunto de nmeros pares e impares es vaco.
9) Sean a, b, c Z, probar que si a|b b|c a|c (propiedad transitiva de la divisibilidad).
Pgina35
Capitulo 3: Polinomios y Ecuaciones
CAPTULO 3: Polinomios y Ecuaciones

Este mdulo tiene por objetivo que el alumno opere correctamente con polinomios,
expresiones algebraicas y ecuaciones. A partir del mdulo anterior, sea capaz de
descomponer en forma factorial un polinomio.
3.1 Polinomios: Definicin. Grado. Caractersticas.

Se llama monomio a una expresin de la forma
M(x) = ax n donde a
x es una indeterminada
n es un nmero natural
Si a 0 , n es el grado del monomio. Si a = 0, el monomio no tiene grado
Un polinomio es la suma de varios monomios y son expresiones de la forma

P ( x) = an x n + an 1 x n 1 + ....... + a1 x + a0 , donde an ....., a0 son nmeros reales
x es la indeterminada y n , n-1, ....., 1, 0 son nmeros naturales
Ejercicio:
De acuerdo a la definicin Cules de las siguientes expresiones son polinomios?

a) P( x) = 7 x 4 + 5 x + 2
5
b) Q( x) = x3 + (ln 2) x + 3
4
1 6
c) S ( x) = x + 3x5 x
3
3
d) T ( x) = x 7 + 6 x 5 + 4 x 2 1
As como los polinomios de un slo trmino se llaman monomios, los de dos trminos se
llaman binomios y los de tres, trinomios.
Grado y Caracterstica de los polinomios
El exponente del monomio de mayor grado de un polinomio nos indica el grado de ese
polinomio.
Pgina36
Ejemplo: P( x) = 4 x 7 + 5 x 4 + 3 x 1 es un polinomio de grado 7

En particular 0( x) = 0 x n + ..... + 0 x + 0 , es decir, 0( x) = 0 se llama polinomio nulo y no tiene
grado.
stas son algunas caractersticas de los polinomios
a) El coeficiente del monomio de mayor grado es el coeficiente principal

b) Si el coeficiente principal es 1, el polinomio se llama mnico.
c) Al trmino a0 se lo llama trmino independiente
d) Un polinomio est ordenado cuando los monomios que lo componen estn escritos en
forma creciente o decreciente segn sus grados. En general ordenamos en forma decreciente.
3.2 Valor de un polinomio en un nmero

Sea P( x) un polinomio y a . Se llama valor del polinomio P( x) en a al valor que toma
P( x) cuando x se reemplaza por a, o sea, P(a )
Ejemplo
Sea P ( x) = x3 + 2 x + 2 y a = 1. Entonces: P (1) = 13 + 2.1 + 2 = 5

Ejercicios
Dados los siguientes polinomios, ordenarlos, indicar si son mnicos, escribir su coeficiente
principal y su grado
a) P ( x) = 5 x + 3x5 x 2 + 2 x 4 9
b) Q( x) = 16 x x 4 2 x3 + x 6 + 1 + 14 x 2
c) S ( x) = 3x 7 2 x 2 x9 + x 4 + 6 x5 x 6
1
d) T ( x) = 10 x + x 4 + x 2 2
5
Luego hallar
P (2) , Q(2) , S (1) , T (0)
3.3 Operaciones con Polinomios

Cuando se suman o se restan dos polinomios el resultado es un polinomio
Sean P(x) y Q(x) dos polinomios, los coeficientes del resultado se obtienen sumando o
restando los coeficientes respectivos de iguales potencias de la indeterminada en las
expresiones de P(x) y Q(x).
Pgina37
Ejemplo
Sean
P ( x ) = 3 x 2 + 2 x 1
Q( x) = x3 + 3 x 2
Hallar Q(x) + P(x) y Q(x) P(x)

Q(x) + P(x)
Q(x) P(x)
x3 + 0 x 2 + 3x 2
x3 + 0 x 2 + 3x 2
- 3x 2 + 2 x 1
- 3x 2 + 2 x 1
x3 + 3x 2 + x 1
x3 3x 2 + 5 x 3
El resultado de la suma o la resta de dos polinomios puede ser el polinomio nulo o tiene grado
menor o igual que el del polinomio de mayor grado que estamos sumando o restando.
Polinomios iguales y opuestos
Si al sumar dos polinomios P(x) y Q(x) el resultado el polinomio nulo 0(x), entonces P(x) y
Q(x) son polinomios opuestos.
Si al restarlos se obtiene 0(x), entonces son iguales.
Ejercicios
1) Sea P( x) = 2 x 8 x3 + 5 x 2 y Q( x) = x 6 + x 4 x 2 2 x 7 + 7 x3
Hallar Q(x) + P(x) y Q(x) P(x).
2) Sean S ( x) = 4 x3 2 , T ( x ) = 4 x 3 + x , W ( x) = 6 x . Colocar el smbolo de <, =, >,
segn corresponda:
gr[ S ( x)]
gr[ S ( x) + T ( x)]
gr[ S ( x)]
gr[ S ( x) + T ( x) + W ( x)]
gr[ S ( x)] + gr[T ( x)]
gr[ S ( x) + T ( x)]
gr[ S ( x)]
gr[T ( x)]
gr[W ( x)]
gr[ S ( x) + T ( x)]
3) Hallar el opuesto de P ( x) = x 3 + 8 ( x 5 + 2 x 4 )
4) Hallar P(x) en 2 x5 4 x 4 P( x) = x3 + 2 x 4 3
Pgina38
Producto de Polinomios
Cuando se multiplican dos polinomios, el resultado es un polinomio y su grado es igual a la

suma de los grados de los polinomios factores, si ellos no son nulos
Para calcular el producto multiplicamos cada uno de los monomios de un polinomio por cada
uno de los monomios del otro polinomio y sumamos.
Ejemplo: Sean P ( x) = x 2 + 2 x + 1 , Q( x) = x 1
P ( x ).Q ( x ) = ( x 2 + 2 x + 1 ) ( x 1 ) = x 3 + 2 x 2 + x x 2 2 x 1 =
x3 + x2 x 1
Ejercicios
1) Dados
P ( x) = 2 x 6 3x 4 + 2 x 2 4
Q( x) = 8 3x 2 5 x
Hallar P(x) .Q(x)
2) Decidir si es Verdadero o Falso: El grado del polinomio producto es siempre mayor que
cada uno de los grados de los factores. Justificar.
3) Hallar el grado, el coeficiente principal y el trmino independiente del polinomio
W ( x) = P( x).Q( x) , sabiendo que son ordenados y completos, que sus expresiones comienzan
as y que sus coeficientes cumplen con la secuencia que se evidencia en sus primeros
trminos.
P ( x) = x 50 x 49 + x 48 x 47 + x 46 x 45 + .....
Q( x) = 2 x 23 + 4 x 22 + 8 x 21 + 16 x 20 + 32 x19 + ......
4) Sea S ( x) = 2 x 3 x + 2 , T ( x) = x 3 , W ( x) = x 2 x 1 . Hallar:
a) 2 [ S ( x) + T ( x) ].W ( x)
1
2
b) (T ( x) ) 4W ( x).S ( x)
3
Pgina39
Divisin de polinomios
Definicin: Dados dos polinomios D( x) y d ( x) , con d(x) 0, existen y son nicos dos
polinomios C(x) y r(x) tales que
D(x) = d(x).C(x) + r(x)
con gr [ r ( x) ] < gr [ d ( x) ] o r(x) = 0( x)
Al igual que para nmeros, D(x) es el dividendo, d(x) es el polinomio divisor, C(x) es el
cociente y r(x) es el polinomio resto.
Ejemplo: Sean D( x) = 6 x 3 17 x 2 + 15 x 8 y d ( x) = 3x 4
6 x 3 17 x 2 + 15 x 8
3x 4
(6 x 3 8 x 2 )
2 x 2 + 3x + 1
9 x 2 + 15 x 8
(9 x 2 12 x)
3x 8
(3 x 4)
4
C ( x) = 2 x 2 3 x + 1
Aqu
en cada paso vamos restando.
r ( x) = 4
Podemos verificar, ya que 6 x3 17 x 2 + 15 x 8 = ( 3x 4 ) . ( 2 x 2 3 x + 1) + (4)

Ejercicios
1) Sea
P ( x) = 2 x 7 + 3 x 6 + 18 x 3 + 29 x + 10
Q( x) = 2 x 2 + 3x
Hallar el cociente y el resto de P(x): Q(x)
2) Existe un polinomio T(x) tal que 6 x 6 9 x 4 + 10 x 2 15 = T ( x). ( 2 x 2 3) ?

3) Hallar S(x) si es posible tal que 9 x 5 + x 2 5 x = ( 4 x 2 5 ) .S ( x) + ( x 8 )
3.4 Races de un polinomio

Un valor de x es raz de P(x), si y slo si P(x) se anula en ese valor
En smbolos
x = a es raz de P(x) P(a) = 0
Pgina40
Ejemplo
x = 1 es raz de P( x) = x 5 x 3 pues P (1) = 15 13 = 0
3.5 Divisibilidad de polinomios

Si al realizar la divisin de P(x) y Q (x) el resto es nulo se dice que P(x) es divisible por Q(x)
o que Q(x) divide a P(x).
En este caso ser
P(x) = Q(x) .C(x)
Si a es raz de P(x) el resto de la divisin entre P(x) y (x-a) es cero.

Es decir: P(a) = 0 P(x) = (x-a) C(x)
O sea, un polinomio P(x) puede expresarse como producto de polinomios de la forma (x-a)
siempre que a sea raz de P(x).
Ejercicios:
P ( x) = x 3 + 2 x + 12
1) Sean Q1 ( x) = x 2
Hallar el resto de las divisiones:
Q2 ( x) = x + 2
a) P( x) : Q1 ( x)
b) P ( x) : Q2 ( x)
2) Calcular el valor de k tal que Q( x) = x 5 divida a P ( x) = k .x 3 + x 2 k .
3) El polinomio T ( x) = 2 x 2 + 3 x + 14 es divisible por S(x) = x a.
Hallar los valores de a para que eso sea posible.
3.6 Factorizacin
Polinomios expresados como productos: Vamos a repasar algunas tcnicas para expresar un
polinomio como producto.
3.6.1 Factor Comn

A veces sucede que en un polinomio P(x) la variable x figura en todos sus trminos.
En estos casos es muy conveniente extraer factor comn.
Observar que al extraer la variable x como factor comn la extraemos elevada a la menor de
sus potencias. Tambin en algunos ejemplos se extrae un nmero que es factor en todos sus
coeficientes.
Pgina41
Ejemplo
P ( x) = 4 x 5 + 8 x 4 + 12 x 2 = 4 x 2 ( x3 + 2 x 2 + 3)
3.6.2 Diferencia de Cuadrados

Cuando se nos presenta la resta de dos trminos y cada uno de ellos est elevado a una
potencia par, lo expresamos como diferencia de cuadrados.
Ejemplo
P ( x) = x 2 25 = x 2 52 = ( x + 5 ) . ( x 5 )
3.6.3 Factor Comn en Grupos

Algunos polinomios presentan una estructura que nos permite formar grupos de igual cantidad
de trminos y sacar factor comn en cada uno de esos grupos. Una vez hecho esto aparece un
nuevo factor comn en todos los grupos.
Ejemplo
P ( x) = 7 x 5 5 x 4 + 14 x 10 = (7 x 5 5 x 4 ) + (14 x 10) = x 4 (7 x 5) + 2(7 x 5) = ( x 4 + 2)(7 x 5)
A veces estas tcnicas vienen asociadas. Veamos un ejemplo ms:
Q( x) = x 6 x 4 x 2 + 1 = x 4 ( x 2 1) + (1) ( x 2 1) =
(x
(x
1) . ( x 2 1) = ( x 2 + 1)( x 2 1)( x 2 1) =
+ 1) ( x + 1)( x 1)( x + 1)( x 1) = ( x 2 + 1) ( x + 1) ( x 1)

2
Qu casos de factorizacin se combinaron?
3.6.4 Trinomio Cuadrado Perfecto

Analicemos el resultado de elevar un binomio al cuadrado, por ejemplo
( x + 3) = ( x + 3)( x + 3) = x 2 + 6 x + 9
2
( x 3) = ( x 3)( x 3) = x 2 6 x + 9
2
Si fuese x-3 se tendra
Las expresiones difieren en el trmino 6x, en la primera es positivo y en la segunda negativo

Esto nos dice que para que un polinomio sea un trinomio cuadrado perfecto es necesario que
sea de grado par y que tenga la estructura de:
( a + b)
= a 2 + 2ab + b 2
( a b)
= a 2 2ab + b 2
Pgina42
Ejercicios
Expresar los siguientes polinomios como producto usando la tcnica que corresponda o ms
de una de ellas:
1) P1 ( x) = 2 x 4 x 3 + 6 x 2
2) P2 ( x) = x 6 x 2
3) P3 ( x) = x 3 x 2 + x 1
4) P4 ( x) = 2 x 3 6 x 2 + x 3
5) P5 ( x) = x 5 x 4 + 6 x3 6 x 2 + 9 x 9
6) P6 ( x) = x10 x 6 x 4 + 1
7) P7 ( x) = 4 x 2 + 4 x + 1
3
9
8) P8 ( x) = x 4 x 2 +
2
16
3.7 Polinomio Lineal y Ecuacin Lineal

Un polinomio lineal es un polinomio de la forma
L( x) = ax + b donde a , b , a 0
Si igualamos a cero este polinomio lineal en la variable x, obtenemos una ecuacin de la
forma:
L( x) = ax + b = 0 (*)
Esta igualdad significa la cuestin siguiente Existe algn valor real de x, digamos , tal que
L( ) = 0 ?Y en ese caso Cmo se halla ?
Con esta aclaracin se ve que (*) tiene el sentido de una igualdad numrica.
Ver que (*) es una ecuacin (relacin de igualdad entre cantidades algunas de ellas
desconocidas, llamadas incgnitas) de primer grado con una sola incgnita.
Al valor tal que L () = 0 se lo llama raz de la ecuacin
Una solucin de una ecuacin algebraica con una incgnita x es un valor tal que al
reemplazar x por en la ecuacin esta se transforma en una identidad numrica
Resolver una ecuacin significa determinar si tiene solucin y en tal caso hallarlas
Pgina43
Ejemplos
a) 3x 9 = 0 tiene solucin x = 3
b) 2x + 1= 2x, no tiene solucin
c) (x 1) = 5 tiene solucin x = 6
Ejemplo
Sea la ecuacin: 2x + 4 = 12
Resto 4 a ambos miembros: 2x + 4 4 = 12 4 entonces 2x = 8
Multiplico por 1/2 ambos miembros:
1
1
. 2x = .8, entonces x = 4.
2
2
Para resolver la ecuacin ax + b = 0 se deben utilizar operaciones elementales y las
propiedades de los nmeros reales.
Ejercicio: Resolver justificando cada paso
a) 10 -3x = x 2
b) - x = 3 (x - )
c) 3(2 x) + 1 = - x +
d)
5
x+3
(1 x) +
2
2
1
1
xx= x+1
3
4
3.8 Polinomio Cuadrtico y Ecuacin Cuadrtica

Un polinomio cuadrtico es una expresin algebraica que tiene la siguiente forma
C ( x) = ax 2 + bx + c donde a, b y c nmeros reales y a 0

Si igualamos a cero a C(x) se obtiene una ecuacin cuadrtica que en su forma general viene
dada por
ax 2 + bx + c = 0
La pregunta es Cmo se pueden resolver este tipo de ecuaciones?
Actividad (Miramos de cerca las ecuaciones cuadrticas).
1. Es verdad que si una ecuacin lineal tiene coeficientes racionales, entonces su solucin
(si la tiene) tambin es un nmero racional?
Pgina44
2. Lo anterior es cierto para las ecuaciones cuadrticas? Para verlo considere la ecuacin
cuadrtica: x 2 = 2
3. Un tipo de ecuacin cuadrtica un poco ms complicada que la anterior es la de la forma:
(x k )2 =
Resuelva las siguientes ecuaciones, teniendo en cuenta lo visto en radicacin de nmeros:
( x 2) 2 = 3
( x 1) 2 = 0
( x 7) 2 = 5
4. Determine las soluciones de las siguientes ecuaciones cuadrticas:
a.
c.
1
2
2
(2 x + 1) = 4
( x 3) 2 =
b.
(1 x) 2 = 2
d.
(3 2 x) 2 = 0
Completar el cuadrado. Se trata de transformar una ecuacin cuadrtica cualquiera en

una ecuacin equivalente, pero cuyo aspecto sea el de las estudiadas en la actividad anterior.
Consideramos una ecuacin cuadrtica cualquiera, digamos: a x
Al mismo tiempo haremos un ejemplo con nmeros:
+ bx + c = 0 .
Pgina45
Paso 1: limpiamos a x2
En ese caso la ecuacin que estamos
Multiplicando por 1/a obtenemos la ecuacin estudiando tiene dos soluciones
equivalente:
b + b 2 4ac
2
x
=
1
x
b
c
2a
a + x+ =0
distintas,
a
saber:
a a
a
b b 2 4ac
Paso 2: Quin es el doble producto?
x2 =
2a
Reescribimos el coeficiente de x:
b
b
=2
a
2a
La ecuacin queda:
x2 + 2
b
c
x+ =0
2a
a
Paso 1: multiplicamos por 2:

2.
Paso 3: Hay un cuadrado en esta sala?

Si recordamos el desarrollo,
(x +
b 2
b
b2
) = x2 + 2 x + 2
2a
2a
4a
podemos escribir nuestra ecuacin como:

b
c
x+ =
2a
a
2
b
b
c
= ( x + )2 2 + = 0
2a
4a
a
b
b2 c
( x + )2 = 2
2a
4a
a
x2
3
+ 2.2 x 2. = 2.0
2
2
2
x + 4x 3 = 0
Paso 2: Escribimos el coeficiente de x

como el doble de alguien (de su mitad):
x2 + 2
Y pasando de miembro:
3
x2
+ 2x = 0
2
2
Ejemplo:
x 2 + 2.(2 x) 3 = 0
Paso 3: Sumamos y restamos para
obtener el cuadrado. Para ello, como
( x + 2) 2 = x 2 + 4 x + 4
Nuestra ecuacin queda:
Paso 4: Hago una cuentita

2
Como tu habrs notado (?) nuestra ecuacin ( x + 2) 4 3 = 0
cuadrtica tiene la forma que estudiamos
antes. Reformamos el segundo miembro Y pasando de miembro:
sacando denominador comn 4a 2 :
2
( x + 2) 7 = 0
b 2 b 2 4ac
(x + ) =
2a
4a 2
Recordemos que una fraccin es positiva
cuando su numerador y su denominador
tienen el mismo signo. En nuestro caso el
denominador 4a 2 es siempre positivo (por
qu?). El miembro derecho ser positivo
solamente cuando b 2 4ac > 0 .
( x + 2) 2 = 7
Paso 4: Despejo
x+2= 7
x = 2 7
O bien:
x1 = 2 + 7
x2 = 2 7
Pgina46
El nmero = b 2 4ac se llama discriminante de la ecuacin. Su signo determina la

existencia o no de soluciones. Resumamos lo que hemos visto en uno de esos cuadritos:
= b 2 4ac
ax2 +bx + c = 0
SOLUCIONES
>0
x=
<0
NO TIENE
=0
x=
Dos
distintas
b
2a
b
2a
soluciones
ninguna solucin
solucin nica
Actividades:
1. Complete el cuadro siguiente:

Ecuacin
discriminante
b 2 4ac
condiciones soluciones
x2 =
( x k )2 =
ax 2 + bx + c = 0
El propsito de este ejercicio no es que usted piense que hay varios tipos de ecuaciones
de segundo grado, sino todo lo contrario.
2. La frmula deducida en la seccin anterior es completamente general, o sea que
puede aplicarse a cualquier ecuacin de segundo grado. Muchas veces la forma de la
ecuacin permite una solucin ms rpida y sencilla. Por ejemplo:
Pgina47
Si Ud. quiere resolver la ecuacin: x 2 2 = 0 , puede aplicar la frmula, pero es

algo similar a sacar el auto del garaje para ir al bao.
La ecuacin se resuelve simplemente despejando:

x2 = 2
x= 2
Algo similar ocurre con todas las ecuaciones a las que les falta el trmino en x:
2x 2 3 = 0
2x 2 = 3
3
x2 =
2
3
2
Las ecuaciones cuadrticas a las que les falta el trmino constante ("les falta c"),
se resuelven sacando el factor comn ax, por ejemplo:
x=
3x 2 + 4 x = 0
4
3x ( x ) = 0
3
Las soluciones de la ecuacin anterior son x1 = 0 y x2 =
4
3
por qu?
Ejercicios:
1. Resuelva despejando la incgnita:

a.
m 2 12 = 0
b.
x 2 + 25 = 0
c.
y 2 45 = 0
1
(d 3) 2 =
2
d.
4x 2 9 = 0
f.
(t + 1) 2 = 9
e.
2. Resuelva sacando factor comn:

a.
12 x 2 + x = 0
b.
9x2 + 9x = 0
c.
7n 2 = 4n
d.
y2 = 2 y
3. Considere la ecuacin 14 x 2 = 2 x . Vamos a resolverla de dos formas:
Pgina48
Primera forma, sacando factor comn:

14 x 2 = 2 x
14 x 2 2 x = 0
1
14 x ( x ) = 0
7
x1 = 0 ,
x2 =
1
7
Segunda forma:
14 x 2 = 2 x
divido por x
14 x = 2
1
x=
7
por lo tanto:
Responda a las siguientes preguntas:

a) Cules es la solucin correcta al problema?
b) Por qu Ud. considera correcta esa respuesta?
c) Por qu es incorrecta la otra respuesta?
d) Cul fue el error que condujo a la respuesta incorrecta?
4. Utilice el discriminante para completar la siguiente tabla:
slo
indique
cuntas hay
Ecuacin
Discriminante
Soluciones
x2
2x + 6 = 0
3
2 y2 6 y + 3 = 0
2m 2 = 2 m + 1
3x 2 + x + 2 = 0
0.32 z 2 0.75 z 0.66 = 0
ax 2 + bx
x 2 (a + b) x + ab
5. Encuentre las soluciones de las ecuaciones de la tabla anterior.
Pgina49
3.9 Ms sobre Ecuaciones

3.9.1 Ecuaciones de orden superior y ecuaciones fraccionarias
Como dijimos una ecuacin es una igualdad y as como hay polinomios de grado
superior, podemos encontrar ecuaciones de orden superior relacionadas con ellos. La
resolucin de ecuaciones de grado superior a dos son ms difciles de resolver, si bien
existen frmulas para la resolucin de ecuaciones de grado 3 y 4, el matemtico Galois
demostr que no es posible hallar frmulas para la resolucin de la ecuacin de grado
mayor o igual a 5 (de ah la importancia de saber factorizar).
Ejemplos:
x 3 3x 2 + x = 0 x( x 2 3x + 1) = 0 x = 0 x 2 3x + 1 = 0(resolver )
x 4 5 x 2 + 4 = 0 por el cambio de variables y=x2 y 2 5 y + 4 = 0(resolver )

Pero hay ecuaciones que no se relacionan con los polinomios, por ejemplo,
ecuaciones del tipo:
4x
2
= 1
x 1 x 1
2
Esta ecuacin no es polinmica, es fraccionaria ya que la incgnita aparece en el

denominador. Es posible, operando de manera conveniente, transformarla en una
ecuacin no fraccionaria, y entre las soluciones estarn las soluciones de la ecuacin
original, pero CUIDADO pueden aparecer otras soluciones, resolvamos el ejemplo:
Si sumamos 1 a ambos miembros, mantenemos la igualdad:
4x
2
+1= 0
x 1 x 1
2
Sumamos las fracciones utilizando el mnimo comn mltiplo, para ello es

importante usar los mtodos de factorizacin (aqu usamos diferencia de cuadrados)
4 x 2( x + 1) + 1( x 1)( x + 1)
=0
( x 1)( x + 1)
Y operando,
x 2 + 2x 3
=0
x2 1
Esta divisin se hace cero cuando x 2 + 2 x 3 = 0 y tiene como soluciones a x = 1 y
x= -3, sin embargo a x = 1 debemos descartarla como solucin ya que x = 1 y x = -1 no
son solucin ya que anulan al denominador y no se puede dividir por cero!!!
Pgina50
Ejercicio: Resolver las siguientes ecuaciones
1)
2
1
1
+
= 2
x 4 x + 2 x 2x
2)
1
1
+
=1
x 1 x + 3
3) 1 +
x +1
1
= x(1
)
x
x
3.9.2 Sistemas de Ecuaciones

Cuando uno trabaja con problemas aplicados, por lo general, tenemos varias
cantidades desconocidas, y tambin varias condiciones que las verifican, es
decir, que ya no tenemos una ecuacin sino un sistema de ecuaciones. Veamos la
manera de resolverlos por medio de un ejemplo.
Problema: Hace dos aos la edad del padre era cuatro veces la edad del hijo.
Dentro de dos aos, edad del hijo ser la tercera parte de la edad del padre.
Hallar las edades actuales.
Resolucin: Identificar las incgnitas: p = edad del padre hoy y h = edad del hijo
hoy.
Plantear el sistema de ecuaciones:
p 2 = 4(h 2)
h + 2 = 1 ( p + 2)
3
Existen distintos mtodos de resolucin, repasemos aqu el mtodo de sumas y
restas, que consiste en sumarle a una ecuacin un mltiplo de la otra con la
intencin de eliminar una variable. Para esto debemos ordenar el sistema.
p 4 h = 6
1 p + h = 4
3
3
Multiplicando la segunda ecuacin por 3 y sumando eliminamos p.
Resolvindolo (completar) llegamos a que h = 10, y luego, por la primera

ecuacin p = 34.
Solucin: las edades actuales del padre y del hijo son 34 y 10 aos
respectivamente.
Pgina51
Este sistema de ecuaciones es lineal, y veremos en el prximo mdulo que cada

ecuacin representa una recta, y la solucin es la interseccin de ambas.
Pero, tambin hay sistemas de ecuaciones mixtos, puede que alguna ecuacin no
sea lineal. Nuevamente, resolvamos un ejemplo:
x 2 + y 2 = 4
y x =1
Repasemos otro de los mtodos de resolucin, el mtodo de sustitucin, que

consiste en despejar una de las ecuaciones (aqu preferimos despejar la ecuacin
lineal) y la sustituimos en la otra ecuacin. Despejando de la ecuacin lineal
y=x+1, quedndonos la primera ecuacin:
x 2 + ( x + 1) 2 = 4
Ecuacin cuadrtica que ya puede resolver (hacer) y luego que tenga las
soluciones de x, recuerde reemplazar en la ecuacin lineal, para obtener las
soluciones de y.
En el prximo mdulo veremos que este sistema representa la interseccin de
una circunferencia con una recta.
3.10 Problemas de aplicacin

Aqu van algunos consejos para encarar un problema, tal cul hicimos en el apartado
anterior.
1. Leerlo con detenimiento, varias veces si fuera necesario, hasta que lo haya
entendido. Trate de determinar qu se quiere encontrar y cules son los datos con
los que se cuenta.
2. Haga un dibujo o diagrama que lo ayude a entender la situacin.
3. Represente una de las cantidades a determinar con una letra (por ejemplo x). Trate
de representar las otras cantidades en trminos de x.
4. Plantear la o las ecuaciones que las relacionan las cantidades conocidas con las
incgnitas.
5. Resolver la o las ecuaciones
6. Analizar si las soluciones obtenidas son solucin del problema y verificar.
1. Resuelva los siguientes problemas.

a) Una modista desea cortar una cinta de 213 cm de longitud en tres tramos. Si cada
tramo debe tener 2 cm ms que el anterior, cmo debe hacer los cortes?
b) b) Si el ngulo vrtice de un tringulo issceles mide 64, hallar la medida de los
otros ngulos del tringulo.
Pgina52
c) Una persona dispone de 28 m de cerca para construir un corral rectangular. Si se

desea que el corral mida 6 m ms de longitud que de ancho, calcular sus
dimensiones.
d) Un cable que mide 60 cm se corta en 4 tramos, y cada tramo sucesivo tiene el doble
de longitud que el anterior. Hallar la longitud del tramo ms largo.
e) Una propaganda dice lleve los dos por $655. Si la TV cuesta $55 ms que la video
casetera de la oferta, cunto cuesta la TV?
f) Si el ancho de una pileta de natacin rectangular es la tercera parte de su longitud y
se sabe que su permetro es de 96m, determinar las dimensiones del natatorio.
g) Si uno de un par de ngulos suplementarios mide 35 ms que el otro, cuntos
grados mide el ngulo menor?
La solucin de los siguientes problemas dar origen a relaciones cuadrticas.
2. Encuentre dos nmeros consecutivos y positivos enteros cuyo producto sea 168.
3. La suma de un nmero y su recproco es 10/3. Encuentre el nmero.
(Recproco de a =1/a).
4. Encuentre la base y la altura de un tringulo cuya rea es de 2 m2 si su base es 3 m
ms larga que su altura. (Recordar: A=b.h/2).
5. Determina si las dos ecuaciones son equivalentes:
x 2 = 16
x = 25
x=4
x=5
x= 9
x=3
x = 64
x =8
6. Resuelve la ecuacin SIN USAR la frmula de la ecuacin cuadrtica:

25 x 2 = 9
( x 3)
= 17
4 ( x + 2 ) = 11
2
x 2 = 361
Pgina53
7. Determina los valores de d que completen el cuadrado en cada una de las siguientes
expresiones:
x2 + 9 x + d
x 2 + dx + 36
x 2 + 13 x + d
x2 8 x + d
x 2 + dx +
81
4
8. Resolver completando cuadrados:

x2 + 6 x + 7 = 0
x 2 8 x + 11 = 0
4 x 2 12 x 11 = 0
4 x 2 + 20 x + 13 = 0
9. Resuelve con la frmula cuadrtica:
5 x 2 + 13 x = 6
3 2
z 4z 1 = 0
2
5 10
+2 =0
w2 w
5x
= 1
x +9
2
24 x + 9 = 16 x 2
Pgina54
10. Despeja la variable especificada

1
K = mv 2
2
v ( energa cintica )
A = 2 r ( r + h )
s=
1 2
gt + v0t 2
2
r ( rea de un cilindro cerrado
t ( distancia de cada de un objeto
11. a) Hallar el polinomio p(x), sabiendo que es divisible por q(x)= 2 x 5 3x 2 2 x 1 ,

el cociente es c(x)= 2 x 3 + 4 x y el resto es r(x)= 3 x 2 + 6 x + 1 .
b) Sabiendo que al dividir p(x)= 3 x 3 6 x 2 + 3 x 6 por q(x) se obtiene como
cociente c(x) = 3 x 6 y como resto r(x)= 3 x 4 . Responde justificando tus respuestas:
Puede ser q(x) de grado 1? Puede calcularse q(x) con estos datos? En tal caso, Cul
es el polinomio q(x)?
12. Encuentra todos los valores de k tales que p(x) sea divisible por el polinomio lineal
dado en cada caso:
p( x ) = kx 3 + x 2 + k 2 x + 3k 2 + 11
x+2
q( x ) = k 2 x 3 4kx + 3
x 1
13. Para cada una de las ecuaciones siguientes, encuentra, si es posible, las soluciones
que sean reales y verifica.
x4 5x2 + 4 x = 0
x3 3x3 + x = 0
x(3 x + 1)(5 x 6) = 0
6 x 2 ( x 1) = 2( x 1)
x2 4 = x3 2 x2
Pgina55
14. Simbolizar y demostrar la siguiente proposicin: si a y b son nmeros reales

distintos, entonces son races distintas de un polinomio lineal.
15. Encontrar todos los polinomios con coeficientes reales tales que verifiquen la
ecuacin:
( p( x)) 2 = 2 x( p( x) + 1) + 1
Pgina56
Capitulo 4: Geometra Analtica
CAPTULO 4: Geometra Analtica

Este mdulo tiene por objetivo ubicarse geomtricamente en el plano, pudiendo ampliar
la visin de los resultados del mdulo anterior. El familiarizarse con la bsqueda de
frmulas que expresan cantidades y poder interpretar y resolver problemas de naturaleza
geomtrica.
4.1 Plano coordenado

Para identificar cada punto del plano con un par ordenado de nmeros, trazamos dos
rectas perpendiculares que llamaremos eje x y eje y, que se cortan en un punto O
llamado origen de coordenadas, y representamos los nmeros sobre cada eje,
eligiendo en ambos ejes la misma unidad, como muestra la figura:
Dado un punto P del plano, sea Px el punto de interseccin del eje x con la recta que
contiene a P y es paralela al eje y, y sea Py, el punto de interseccin del eje y con la
recta que contiene a P y es paralela al eje x. A Px le corresponde un nmero x en el
eje x y a Py, le corresponde un nmero y en el eje y.
Pgina57
Decimos que P tiene coordenadas (x ,y), x es la abscisa de P e y es la ordenada de P.

El punto P se identifica con sus coordenadas y se escribe P = (x ,y).
Recprocamente, dado un par ordenado de nmeros reales (x ,y) hay un punto P del
plano del cual son las coordenadas.
P
x
Los ejes x e y dividen al plano en cuatro regiones que se llaman cuadrantes y se
numeran I, II, III y IV. Nos referimos a ellas como primer cuadrante, segundo
cuadrante, etc.
II
III
IV
4.1.1. Distancia entre dos puntos.

La distancia entre los puntos P1=(x1, y1) y P2=(x2, y2) es:
d = d ( P1 , P2 ) = ( x 2 x1 ) 2 + ( y 2 y1 ) 2
Compare esta frmula de la distancia con el teorema de Pitgoras.
4.2 Nociones bsicas de Trigonometra.

Dibujemos un ngulo :
l2
o
l1
Pgina58
El ngulo tiene un lado inicial l1 y un lado terminal l2. Lo recorremos en sentido

contrario al de las agujas del reloj.
l1 y l2 son semirrectas con un origen comn o.
Dibujemos un sistema de coordenadas cartesianas de tal manera que el semieje positivo
de las abscisas coincida con el lado inicial de .
l2
l1
Observacin: Como el lado terminal de est en el 2 cuadrante del sistema de

coordenadas, decimos que es un ngulo del 2 cuadrante. Hay ngulos del 1, 2, 3 y
4 cuadrante. Los del primer cuadrante se llaman ngulos agudos.
4.2.1. Medida de ngulos.

En el sistema sexagesimal la unidad es el grado o grado sexagesimal, que es la 90ava parte de un ngulo recto, y se la indica 1. La 60-ava parte de un grado es un
minuto (se lo indica 1) y la 60-ava parte de un minuto es un segundo (que se indica
1). Pero existen otros sistemas de medida de ngulos . . .
En el sistema radial, la unidad de medida es el radin.
Un radin es la medida de un ngulo central correspondiente a un arco de circunferencia
de longitud igual al radio de la misma.
Cuando uses la calculadora, tiene debes estar seguro el modo que utilizas, ya que DEG
corresponde al sistema sexagesimal y RAD al sistema radial, mientras que GRA
corresponde al modo grados centesimales y no debe confundirse ya que no es el sistema
habitual que nosotros utilizamos.
Cuando decimos que en el sistema radial un ngulo mide, por ejemplo 2 (o sea 2
radianes), significa que, como ngulo central en una circunferencia de radio R
cualquiera, corresponde a un arco de circunferencia de longitud 2R.
El cociente entre la longitud del arco de
circunferencia y el radio es la medida en
radianes del ngulo (sin importar qu radio
de circunferencia consideremos). Y ste es el
nmero que nos d la calculadora!!
L
O
R
medida de = L / R
Pgina59
4.2.2 Funciones trigonomtricas de un ngulo.

Volvamos al dibujo de en el sistema de coordenadas.
.P
Sea P cualquier punto sobre el lado terminal de , PO.

Sean (x, y) las coordenadas de P (observen que en este caso x ser un nmero
negativo e y un nmero positivo).
La distancia de P al origen de coordenadas es:
r=
El cociente
y
r
x2 + y2
se llama seno del ngulo .

sen = y =
ordenada de P
distancia de P al origen
El cociente
x
r
se denomina coseno del ngulo

cos = x =
r
El cociente
y
x
abscisa de P
distancia de P al origen
se llama tangente del ngulo

ordenada de P
tag = y =
abscisa de P
x
sen
cos
Pgina60
Observacin:
Las definiciones que acabamos de ver no dependen del punto P elegido sobre el lado
terminal de (o sea, si se elige un punto P sobre l2, diferente de P, los respectivos
cocientes y/r, x/r e y/x resultan iguales a y/r, x/r e y/x (ver tringulos semejantes).
(De no haber sido as, el seno, el coseno y la tangente no estaran bien definidos).
Relacin pitagrica
A partir de las definiciones de las funciones trigonomtricas de un ngulo es fcil

comprobar que:
sen2 + cos2 = 1
(relacin pitagrica)
y que:
-1 sen 1
-1 cos 1
Ms definiciones
Se definen cosecante, secante y cotangente de un ngulo de la siguiente manera:
cosec = r
sec = r
cotag = x
De este modo resulta:

cosec =
1
sen
sec =
1
cos
cotag =
1
tag
Funciones trigonomtricas de la suma y de la diferencia de dos ngulos.
sen( + ) = sen().cos().+ cos().sen() sen( ) = sen().cos() cos().sen()

cos( + ) = cos().cos() sen()sen()
tag ( + )=
tag ( ) + tag ( )
1 tag ( ).tag ( )
cos( ) = cos().cos()+ sen()sen()

tag ( )=
tag ( ) tag ( )
1 + tag ( ).tag ( )
Pgina61
4.3 Rectas en el Plano.

Sea L una recta del plano.
i) Si L es vertical, L tiene una ecuacin

de la forma x = c.
L = {(x, y); x = c }
ii) Si L es horizontal, L tiene una ecuacin

de la forma y = c
L = {(x, y); y = c }
iii) Si L no es horizontal ni vertical y pasa por
los puntos P1=(x1 , y1) y P2=(x2 , y2) , las
coordenadas (x, y) de cualquier otro punto P
que est sobre L verifican la ecuacin:
y y1
x x1
=
y 2 y1 x 2 x1
que, operando, se puede escribir en la forma
general
Ax + B y + C = 0
o, en la forma explcita:
y = mx + b
y y1
,se llama
donde m = 2
x 2 x1
pendiente
de la recta L, y, como se observa en la figura,

es igual a la tangente del ngulo que es el
ngulo de inclinacin de L
b=
y 2 y1
x1 + y1
x 2 x1
es la ordenada al
origen de la recta L (la ordenada del punto de

la recta que est sobre el eje y)
Dos rectas L y L del plano pueden ser: transversales (se cortan en un punto), paralelas
o coincidentes (L = L)
Cada recta tiene una ecuacin lineal:
L:
L:
Ax+By+C=0
A x + B y + C = 0
Pgina62
Los puntos de interseccin, si existen, deben verificar ambas ecuaciones, es decir, deben
ser solucin del sistema lineal
A x+B y+C=0
A x + B y + C = 0
Las rectas son transversales si y slo si dicho sistema lineal admite una nica
solucin.
Las rectas son paralelas si y slo si dicho sistema lineal no tiene solucin.
Las rectas son coincidentes si y slo si dicho sistema lineal admite infinitas
soluciones (ambas ecuaciones son equivalentes)
Ejercicio: Grafique las ecuaciones del primer ejemplo del apartado 3.9.2.
Sean L y L de ecuaciones explcitas y = mx + b e y = mx + b respectivamente.

L y L transversales equivale a m m
L y L paralelas equivale a m = m y b b
L y L coincidentes equivale a m = m y b = b
Sean L y L rectas con pendientes m y m respectivamente, m 0.

Si L y L son perpendiculares entonces m.m= -1
Consideramos como ngulo de inclinacin, a aquel ngulo que se pueda

presentar entre el eje positivo de las abscisas y el segmento de la recta, que
encontramos al ir en sentido antihorario. Qu relacin trigonomtrica hay
entre el ngulo de inclinacin y la recta?
Pgina63
4.4 Circunferencia
Una circunferencia es el conjunto de puntos del plano que equidistan de un punto fijo
llamado centro. La distancia entre cualquier punto de la circunferencia y el centro se
llama radio.
Si C = (, ) es el centro, r es el radio y P = (x,y) es un punto genrico de la

circunferencia, debe ser:
d(P,C) = r
es decir :
(x )2 + ( y )2 = r
por lo tanto:
(x )2 + (y )2 = r2
La ecuacin (x )2 + (y )2 = r2
es la ecuacin
circunferencia con centro C = (, ) y radio r.
cannica (o estndar) de la
Ejercicio: Grafique las ecuaciones del primer ejemplo del apartado 3.9.2.
4.5 Ejercicios
1. Representar en el plano los siguientes puntos y decir a qu cuadrante pertenecen:
P=(2 ,-1) Q=(3 , ) R=(-2 ,-4) S=(0 , -2) T=(-3 , 0)
2. Calcular la distancia entre P1= (3,2) y P2= (-1,4)
3. Representar y hallar el permetro del tringulo de vrtices A= (-1,2); B= (4,5) y C=
(5,0)
4. Determinar un punto sobre el eje y que equidiste de (2,5) y (3,3)
5.a) Determinar las coordenadas del punto medio entre A= (-3,8) y B= (5, -4)
b) Determinar las coordenadas del punto medio entre P1=(x1, y1) y P2=(x2, y2)
6. Complete:
a) Un ngulo de un giro mide ........ y esto equivale a .......radianes.
b) Un ngulo recto mide 90 y esto equivale a . . . radianes.
Pgina64
c) Un ngulo llano mide . . . . . . y esto equivale a . . . . . . . radianes.

d) Un grado sexagesimal equivale a . . . . radianes.
e) 45 equivalen a . . . . . . . . . . .radianes.
f) 30 equivalen a . . . . . . . . . . radianes.
7. A partir de las definiciones vistas, calcular las funciones trigonomtricas seno, coseno
y tangente del ngulo cuyo lado terminal pasa por el punto de coordenadas
(1, -3) y del ngulo cuyo lado terminal pasa por (2, 4).
8. Comprobar, usando las definiciones, que si mide 45 el seno y el coseno de son
iguales a 1 2 Cunto vale tag ?
9. Calcular las funciones trigonomtricas de los ngulos que miden, en el sistema radial,
; y 3 2 . Estudiar el signo de las funciones trigonomtricas segn el cuadrante al
que pertenece un ngulo.
10. a) Comprobar que el tringulo de vrtices (0,0); (2,0) y (1, 3 ) es equiltero (por lo
tanto sus ngulos miden 60).
b) Calcular las funciones trigonomtricas de un ngulo de 60.
11. a) Sabiendo que sen = y que es un ngulo que mide entre /2 y radianes
(esto es, un ngulo del 2 cuadrante), averiguar, cunto valen cos y tag .
b) Hacer lo mismo que en a), suponiendo ahora que es un ngulo del primer
cuadrante.
12. Usando la relacin pitagrica demostrar que valen estas otras igualdades:
b) sen2() = tag2 / [1+tag2()]
a) cos2 () = 1 / [1+tag2() ]
sen( x) + cot ag ( x)
c) 1 + sen( x).tag ( x) =
cot ag ( x)
13. Sea un ngulo del 2 cuadrante tal que tag()= -3. Usando las relaciones del
ejercicio anterior, calcular en forma exacta sen () y cos ().
14. Cul es el ngulo del tercer cuadrante cuyo coseno vale 1/2?
15. Halle la ecuacin explcita de la recta que pasa por los puntos dados:
a) (2, 5) y (4, 3)
b)(-1, 3) y (-2, -3)
c)(1/2, 0) y (-1/2, -2)
16. Determine el valor de k para el cual los puntos (-1,2) , (3, 1) y (2, -k +1) estn
alineados.
17. Halle la pendiente y la ordenada al origen de las siguientes rectas y represntelas
grficamente.
a) L : 5x + y 3 = 0
b)S: 4 x 3 y = 6
c) 3x 6 = 0
d) y + 2 = 0
18. A qu cuadrante pertenece el ngulo de inclinacin de una recta que tiene
pendiente negativa?
Pgina65
19. a) Halle la medida aproximada del ngulo de inclinacin de una recta que tiene
pendiente 4.
b) Halle la medida aproximada del ngulo de inclinacin de una recta que tiene
pendiente 3.
20. Decida si los siguientes pares de rectas son transversales, paralelas o coincidentes y
determine el conjunto de interseccin entre ellas.
a) 2 x + y = 1
x y = 2
b)
4 x 8y = 12
x+2y = 3
21. Halle las coordenadas de los vrtices del tringulo determinado por las rectas:
L: 3x 2 y + 6 = 0
S:
2y+x = 6
T:
6yx2=0
22.a) Escriba la ecuacin cannica de la circunferencia de centro C = (-3, 4) y radio
3 . Exprsela luego en la forma A x2 + B y2 + C x + D y + E = 0.
b) Escriba la ecuacin cannica de la circunferencia de centro C = (0, 0) y radio 3.
Exprese luego en la forma A x2 + B y2 + C x + D y + E = 0.
23. Escriba la ecuacin cannica de la circunferencia de centro C = (-2, 5) y que pasa
por el punto de coordenadas (1,2)
24. Analice si las siguientes ecuaciones corresponden o no a una circunferencia
indicando, en caso afirmativo, los elementos de la misma.
a) 2 x2 + 2 y2 + 4 x 8 y 8 = 0
b) x2 + y2 2x = 1
c) 3 x2 + 3 y2 + 9 x 3 y + 21 = 0
25 a) Verifique que la ecuacin
6 x2 + 6y2 12 x + 12 y 6 = 0 corresponde a una
circunferencia. (Completando cuadrados)
b) Indique sus elementos
c) Halle la interseccin de dicha circunferencia con el eje x
d) Halle la interseccin de dicha circunferencia con el eje y
e) Halle la interseccin de dicha circunferencia con la recta de ecuacin y = x 1
Pgina66

GuiaMAT PDF

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

GuiaMAT PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Facultad de Informtica

Capitulo 1: Lgica y Conjuntos

Capitulo 1: Lgica y Conjuntos

CAPTULO 1: Lgica y Conjuntos ......................................................................................................... 3

Capitulo 1: Lgica y Conjuntos

CAPTULO 1: Lgica y Conjuntos

Capitulo 1: Lgica y Conjuntos

Clasificacin de las Proposiciones

Capitulo 1: Lgica y Conjuntos

1.2 Conectivos Lgicos

1.2.1 Operaciones Proposicionales

Observamos aqu que al valor V de p, la negacin le hace corresponder el valor F, y

Capitulo 1: Lgica y Conjuntos

Ejemplo: La negacin de " p: Santa F es una provincia argentina." es

Capitulo 1: Lgica y Conjuntos

Intente Ud. identificar las proposiciones p y q

Capitulo 1: Lgica y Conjuntos

Analice y ejemplifique cada una de las 4 posibilidades.

Ejercicio: Determina el valor de las siguientes implicaciones y justifica por qu.

Capitulo 1: Lgica y Conjuntos

El recproco del implicador

Pero, ocurre lo mismo con el implicador? Es lo mismo p q que q p? La respuesta es

Vemoslo con un ejemplo:

Capitulo 1: Lgica y Conjuntos

Comparemos el mismo ejemplo:

Capitulo 1: Lgica y Conjuntos

El coimplicador puede tener varias expresiones equivalentes en lenguaje natural. As p

Capitulo 1: Lgica y Conjuntos

Ejemplos del bicondicional

(a) "La Tierra es cbica si y slo si el Sol

(b) "La Tierra es esfrica si y slo si el Sol

q: "El Sol es una

(c) "Los cocodrilos tienen ruedas si y slo

(d) "Los cocodrilos no tienen ruedas si y

Ejemplos de bicondicionales falsos:

Motivos por los que p

(a) "La Tierra es cbica si y slo si

(b) "El Sol es una estrella si y slo si

p: "El Sol es una

(c) "Los cocodrilos tienen ruedas si y slo

(d) "El sol es una estrella si y slo si

p: "El sol es una

Ejemplos de bicondicionales verdaderos:

1.2.2 Equivalencia lgica

Decimos que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes.

Capitulo 1: Lgica y Conjuntos

Importante: usamos la para indicar la equivalencia, mientras que

3.- Leyes asociativas: a) [(pq) r] [p (qr)] b) [(pq) r] [p (qr)]

Capitulo 1: Lgica y Conjuntos

Ejemplo: Dada la proposicin p: La puerta es verde.

1.3 Esquemas proposicionales en una indeterminada

7 + 2 = 5, la cual en este caso es Falsa.

Definicin: Se llama esquema proposicional en la indeterminada x a toda expresin que

Capitulo 1: Lgica y Conjuntos

2. Qu es x? NO es un esquema, pues no hay constante que sustituida en la variable

Juan y x fueron al teatro.

1.4 Cuantificadores: Universal y Existencial

Capitulo 1: Lgica y Conjuntos

Definicin de Conjunto Universal: Llamaremos de esta forma al conjunto al cual pertenecen

Analiza cuidadosamente el siguiente ejercicio: Escribe en forma simblica las

Capitulo 1: Lgica y Conjuntos

Vemos que el operador existencial se refiere nicamente al esquema x es verde y NO a x