0

Objetivos Generales
Al finalizar el estudio de Matemtica del Ciclo de Nivelacin usted deber ser capaz de:

1. Utilizar una metodologa adecuada para el estudio de la Matemtica.

2. Alcanzar destreza operativa en temas bsicos de lgebra y Trigonometra
como aplicacin de conceptos tericos.

3. Resolver problemas con procedimientos especficos
Esquema Conceptual
LGICA SIMBLICA
NUMEROS REALES Y COMPLEJOS
+
POLINOMIOS
+
FUNCIONES
+
ECUACIONES
+
TRIGONOMETRA


2
Unidad 1. Lgica simblica. Nmeros Reales y Complejos

1.1 Proposiciones. Conectivos lgicos y tablas de verdad. Implicaciones y equivalencias
lgicas. Tautologas, contradicciones y contingencias. Argumentos y modos de
demostracin. Cuantificadores.
1.2 Los nmeros reales, operaciones y propiedades. Potencias y races de nmeros reales.
1.3 Nmeros complejos, operaciones en forma binmica.

Unidad 2. Polinomios
2.1 Polinomios. Grado. Operaciones con polinomios. Adicin, multiplicacin y divisin.
2.2 Divisibilidad. Valuacin. Teorema del resto.
2.3 Raz de un polinomio. Orden de multiplicidad. Descomposicin factorial de un
polinomio.

Unidad 3. Funciones
3.1 Conjuntos y subconjuntos. Operaciones con conjuntos. Par ordenado. Producto
Cartesiano.
3.2 Correspondencia entre puntos de la recta y nmeros reales. Pares ordenados de
nmeros reales. Conjuntos de puntos. Intervalos.
3.3 Relacin y sus representaciones. Funciones. Definicin. Funciones enteras de primer y
segundo grado.
3.4 Funciones exponencial y logartmica.

Unidad 4. Ecuaciones.
4.1 Ecuacin de primer grado con una y dos incgnitas.
4.2 Sistemas de dos ecuaciones de primer grado con dos incgnitas.
4.3 Ecuacin de segundo grado con una incgnita.
4.4 Sistemas mixtos. Mtodo de sustitucin.

Unidad 5. Trigonometra
5.1 Longitud de un arco de circunferencia. ngulos y su medicin.
5.2 Funciones trigonomtricas. Relaciones fundamentales.
5.3 Resolucin de tringulos rectngulos y oblicungulos.
5.4 Frmulas de adicin.
5.5 Representacin trigonomtrica de un nmero complejo.
5.6 Producto y cociente de nmeros complejos en forma trigonomtrica.
5.7 Potencia de nmeros complejos.
5.8 Igualdad de nmeros complejos.
5.9 Races de nmeros complejos.


3
Bibliografa

Como bibliografa se aconseja utilizar los textos de estudio del secundario, sin
destacar ninguno en particular.

Orientacin del Aprendizaje

Esta gua de enseanza presenta una introduccin a la lgica matemtica o simblica,
los conceptos bsicos del nmero real y del nmero complejo, sus operaciones y propiedades
bsicas. Considera los polinomios como entes abstractos y estudia sus operaciones y
propiedades. Previo a la definicin de funcin se estudian los conjuntos y sus propiedades.
Hace hincapi en las funciones polinmicas de primer y segundo grado y en las funciones
exponencial y logartmica. Plantea la resolucin de ecuaciones de primer grado con dos
incgnitas, y de segundo grado con una incgnita. Estudia, tambin, la resolucin de sistemas
de dos ecuaciones de primer grado con dos incgnitas y de sistemas mixtos. Desarrolla, en
trigonometra, resolucin de tringulos e identidades trigonomtricas fundamentales. En cada
caso se plantea una introduccin terica al tema, el desarrollo de ejemplos y la ejercitacin
correspondiente.
El alumno deber utilizar, adems de esta gua, los textos especficos de Matemtica
que estudi en la escuela media, a fin de reforzar el aprendizaje.

Recuerde
... la ciencia matemtica no es el fruto de la contemplacin, no es descriptiva en
ninguna de sus partes, es una actividad humana reducida a sus elementos
intelectuales esenciales. Comprender un resultado matemtico es saber utilizarlo.
Conocer una teora matemtica es saber reconstruirla como si fuera su creador.
Aprender una demostracin de memoria sin comprenderla es una proeza que
intentan algunos valientes ingenuos, pero es la que nunca he visto triunfar...
Matemtica Moderna. Matemtica Viva, de A. Revuz.

Por ello es recomendable estudiar Matemtica teniendo a mano abundante papel
borrador y lpiz.

En consecuencia:

1. Lea la introduccin terica tratando de comprenderla.

2. Aclare los conceptos desarrollando personalmente los ejemplos.

3. Realice la ejercitacin correspondiente. Si tiene dificultades, repita los puntos 1 y 2.

4. Si no tiene xito, no desespere, solicite ayuda al docente.

4
1
Lgica Simblica.
Nmeros reales y nmeros complejos
Objetivos
Al finalizar esta unidad usted deber ser capaz de:
- Operar con proposiciones simples para obtener proposiciones compuestas
mediante operadores lgicos.
- Identificar tautologas, implicaciones lgicas y equivalencias lgicas.
- Comprender los argumentos y los modos de demostracin.
- Operar con cuantificadores.
- Identificar nmeros naturales, enteros, racionales, irracionales y complejos.
- Operar con nmeros reales y complejos utilizando sus propiedades.

Contenidos

1.1 Proposiciones. Conectivos lgicos y tablas de verdad. Implicaciones y equivalencias
lgicas. Tautologas, contradicciones y contingencias. Argumentos y modos de
demostracin. Cuantificadores.
1.2 Nmeros reales. Operaciones y propiedades. Potencias y races de nmeros reales.
1.3 Nmeros complejos. Operaciones en forma binmica.
5




Esquema conceptual




LGICA SIMBLICA
+

REALIDAD MENSURABLE
+
SISTEMA NUMRICO
+
NMEROS REALES
+
NMEROS COMPLEJOS
+
LGEBRA

Introduccin

En esta unidad se presenta una introduccin a la lgica simblica y se revisan los
conceptos necesarios para trabajar las principales operaciones en el campo de los nmeros
reales y complejos, que ya se han visto en cursos de la escuela media.

Orientacin del aprendizaje

Lea la introduccin terica de cada tema y desarrolle personalmente los ejemplos que
le siguen. Realice la ejercitacin correspondiente.

Bibliografa de la unidad
6

Como bibliografa se aconseja utilizar los textos de estudio del secundario, sin
destacar ninguno en particular.

Aprender a calcular con exactitud, operar smbolos con facilidad y aplicar con
seguridad las propiedades de los nmeros reales y complejos es un objetivo fundamental
para el estudiante de Ciencias Naturales y de Ingeniera.



Contenidos

1.1 Proposiciones. Conectivos lgicos y tablas de verdad. Implicaciones y equivalencias
lgicas. Tautologas, contradicciones y contingencias. Argumentos y modos de
demostracin.

1.1.1 PROPOSICIONES

Sin pretender dar una definicin filosficamente irreprochable, diremos que una
proposicin es toda sucesin de palabras de la cual tiene sentido afirmar que es verdadera o
falsa. As por ejemplo:

El sol es verde. (1)
Un cuadrado es un rombo y un rectngulo. (2)

son proposiciones: (1) es falsa y (2) es verdadera.

En cambio,

Venga! (3)
Qu hora es? (4)

no son proposiciones, pues no tiene sentido decir que sean verdaderas o falsas.
Se debe notar que cuando tiene sentido decir que una expresin es verdadera, tambin
tiene sentido decir que es falsa, y viceversa. Por ejemplo, si alguien afirmara que (1) es
verdadera, no diramos que esta afirmacin carece de sentido, sino simplemente, que no
corresponde a la realidad.
Dada una proposicin, si es verdadera, diremos que su valor de verdad es V (inicial de
verdad) y si es falsa diremos que su valor de verdad es F (inicial de falsedad).
Por ejemplo, el valor de verdad de (1) es F y el de (2) es V.
As como en lgebra elemental se usan letras tales como x, y, z, etc. para representar
nmeros, tambin en lgica se usan letras tales como p, q, r, etc. para representar
proposiciones.
Por ejemplo en lgebra suele decirse:

Sea x un nmero cualquiera.

En lgica por analoga, se usan expresiones tales como:

Sea p una proposicin cualquiera.
7

Si x es una letra que se usa para reemplazar nmeros, en lgebra tiene sentido escribir:

x = 2

De igual manera, en lgica, si p es una letra que se usa para reemplazar proposiciones, tiene
sentido escribir:

p = El sol es verde.


1.1.2 CONECTIVOS LGICOS Y TABLAS DE VERDAD

Con los conectivos gramaticales

y, o, no, si..., entonces...,

se forman a partir de proposiciones dadas otras ms complejas. Recprocamente, estos
conectivos nos permiten analizar ciertas proposiciones complejas expresndolas mediante
otras ms simples conectadas por ellos.
Por ejemplo, la proposicin

Un cuadrado es un rombo y un rectngulo.

Se puede escribir con las proposiciones

p = Un cuadrado es un rombo,
q = Un cuadrado es un rectngulo,

en la forma: p y q. Una proposicin de este tipo se llama conjuncin.

Adems de conectar proposiciones, la palabra y tiene otros usos. As la proposicin Jorge
y Ral son hermanos indica una relacin entre Jorge y Ral que no es reducible a una
conjuncin. Esto muestra la necesidad de introducir un smbolo cuya nica funcin sea la de
conectar proposiciones. Adoptaremos, entonces, para la conjuncin el smbolo .. Con este
smbolo (2) se escribe: p .q.

Teniendo en cuenta todo lo anterior damos la siguiente definicin:

Dadas dos proposiciones p, q, se llama conjuncin o producto lgico de p y q, a la
proposicin que se obtiene enunciando q a continuacin de p, unidas ambas por la palabra
y. Se indica p .q, y se lee p y q.

Una conjuncin es verdadera si ambas componentes son verdaderas, y falsa en caso contrario.
Dadas dos proposiciones p, q, hay solamente cuatro conjuntos posibles de valores de verdad
que se les pueden asignar. Estos cuatro casos posibles y el valor de verdad de la conjuncin en
cada uno de ellos se pueden expresar mediante una tabla llamada tabla de verdad de la
conjuncin:

8
p q p . q
V V V
V F F
F V F
F F F

Se puede considerar que esta tabla define el smbolo ., ya que explica cules son los valores
de verdad que asume p .q en todos los casos posibles.

La disyuncin de dos proposiciones se forma enunciando una proposicin a continuacin de
la otra, unidas ambas por la letra o. El uso habitual de esta palabra es ambiguo, pues si, por
ejemplo, decimos:

Comenzar a estudiar hoy o maana

es obvio que queda excluida la posibilidad que se den ambas alternativas. En cambio, si
decimos:

Fort es el propietario o el gerente

no queda excluida la posibilidad de que se den ambas afirmaciones parciales, a saber:

Fort es el propietario
y
Fort es el gerente

O sea que el lenguaje habitual admite dos usos diferentes de la palabra o que llamaremos
exclusivo e inclusivo, respectivamente. Nosotros utilizaremos el uso inclusivo de la misma,
que formalizamos mediante la siguiente definicin:

Dadas dos proposiciones p, q, se llama disyuncin o suma lgica de p y q, a la
proposicin que se obtiene enunciando q a continuacin de p, unidas ambas por la palabra
o, considerada en su uso inclusivo. Se indica p v q, y se lee p o q.

De acuerdo con la definicin anterior, una disyuncin es falsa solamente si son falsas ambas
componentes, y es verdadera en todos los dems casos. Esto se puede expresar mediante una
tabla, llamada tabla de verdad de la disyuncin:


p q p v q
V V V
V F V
F V V
F F F

Al igual que para la conjuncin, esta tabla se puede considerar como la definicin del smbolo
v.
Nos ocuparemos ahora de la negacin de una proposicin, considerando la siguiente
definicin:

9
Dada una proposicin p, se llama negacin de p, a la proposicin que se obtiene
colocando la palabra no y enunciando a continuacin la proposicin p. Se indica p, y se
lee no p.

Por ejemplo, si consideramos la proposicin (1)
p = El sol es verde.

su negacin es
p = No el sol es verde.

Este enunciado resulta chocante, al menos en idioma castellano. Por ello adoptaremos la
convencin de aceptar como equivalentes enunciados tales como: No el sol es verde, El sol
no es verde y El sol es no verde. Es decir, cuando una proposicin se exprese mediante
palabras, seguiremos los usos corrientes del idioma; pero cuando la proposicin se de en
forma simblica, por ejemplo mediante la letra p, formaremos su negacin anteponiendo el
smbolo en estricto acuerdo con la definicin dada.

La negacin de una proposicin verdadera es falsa, y la negacin de una proposicin falsa es
verdadera. Esto se puede expresar mediante una tabla llamada tabla de verdad de la
negacin:
p p
V F
F V

la cual se puede considerar como la definicin del smbolo .

Conviene aclarar que es usual referirse a los smbolos ., v, introducidos para la
conjuncin, disyuncin y negacin, respectivamente, con el nombre de conectivos lgicos.
En lgica, los parntesis se usan con el mismo sentido que en aritmtica y en lgebra,
es decir, para indicar como deben agruparse los diferentes elementos de una frmula. Por
ejemplo, en la expresin 3.(4+5), lo que est dentro del parntesis se debe agrupar y
resolver antes de efectuar la operacin de multiplicacin indicada por el punto que se
encuentra fuera del parntesis. Teniendo en cuenta que el resultado de lo que est dentro del
parntesis es 9, la expresin dada tambin se puede escribir as: 3.9, lo cual da como resultado
final 27. En cambio si colocamos los parntesis de este modo (3.4)+5, hay que resolver lo
que ahora se encuentra dentro del parntesis, que es 3.4 = 12, y luego resolver la operacin
exterior al parntesis, que en este caso es la suma: 12+5=17. En resumen, tenemos dos
resultados diferentes, que dependen solamente del modo en que se han agrupado los
elementos mediante el uso de parntesis:

3.(4+5) = 27
(3.4)+5 = 17

En matemtica, es habitual, en el segundo de los casos, no escribir los parntesis,
aunque se los sobreentiende; es decir, se suele escribir 3.4+5en lugar de (3.4)+5. Esto no
es ninguna cuestin conceptual profunda, se trata solamente de una convencin destinada a
simplificar la escritura.
En lgica la situacin es similar: la expresin p .qvr es ambigua, ya que puede
significar la conjuncin de p con la disyuncin de q y r, o puede significar la disyuncin cuya
primera componente es la conjuncin de p y q, y cuya segunda componente es r.
10
Distinguimos los dos sentidos diferentes agrupando la expresin dada, ya sea as:
p . (q vr), o as: (p .q) vr.
En expresiones ms complejas, adems de los parntesis se usan corchetes y llaves.
Por ejemplo, si quisiramos indicar la disyuncin entre p .r y la conjuncin de p con
(q) vt, escribiramos:

( )
{ }
[( ) ] p r p q t . v . v (1)

Ahora bien, cuando se est habituado al uso de parntesis, la distincin entre parntesis,
corchetes y llaves no es necesaria, y se usan solamente parntesis. As, la frmula (1) se
escribe:
( ) p r p q t
| | | | | |
. v . v
| | |
\ . \ . \ .
(2)

Con el fin de disminuir el nmero de parntesis, convenimos en escribir qvt en lugar de
(q) vt, entendiendo que el smbolo se aplica a q y no a la expresin completa q vt. Con
esta convencin, (2) adopta la forma:
( ) p r p q t
| | | |
. v . v
| |
\ . \ .



1.1.3 IMPLICACIONES Y EQUIVALENCIAS LGICAS
(Tema desarrollado por la Ing. Especialista Laura Vargas orientado a la materia Informtica.)

Implicacin
Un concepto fundamental de la lgica y de la matemtica es el concepto de deduccin
o implicacin. En sta la conexin de dos proposiciones p y q es tal que si se cumple p se
cumple q. Este tipo de implicacin, que es la que estudiaremos, recibe el nombre de causal y
se puede pensar como un compromiso.

La relacin p implica a q, o q se deduce de p, o p slo si q, se anota p q . El
conectivo lgico se denomina implicacin o condicional, p antecedente y q consecuente
de la implicacin.

Establecemos la siguiente definicin:

Dadas dos proposiciones p, q, se dice que p implica a q, o que q se deduce de p, si no
se verifica que p sea verdadera y q falsa.

Vemos que en la implicacin si es verdadero el antecedente p y falso el consecuente q
estamos ante el nico caso de falsedad. Podemos pensar que no se cumpe el compromiso. Si
es verdadero el consecuente q, en cambio, nada sabemos del antecedente p, puede o no ser
verdadero, por lo que el valor es verdadero. Finalmente es verdadero el valor cuando tanto p
como q son falsas.

Ejemplo
11
Si llueve, voy al cine.

Donde
p=llueve q=voy al cine

Se verifica su falsedad slo si es verdadero que llueve y falso que est en el cine,
puesto que afirm que cuando llueve voy al cine. Se debe tener especial cuidado en evitar
confusiones con el lenguaje natural, donde hay ambigedad y la expresin del ejemplo se
puede confundir con slo voy al cine cuando llueve, en cuyo caso si estoy en el cine es
verdadero que llueve y no puede ser de otra forma. En cambio en nuestro ejemplo puede ser
que est en el cine y haya sol, nada se afirma al respecto. Tambin se observa que si no estoy
en el cine, seguramente no llueve.

La tabla de verdad de la implicacin resulta entonces:


p Q
p q
V V V
V F F
F V V
F F V


Otros ejemplos:
Si cobro la herencia, pago la deuda.
p=cobro la herencia q=pago la deuda

Si llueve el baile se suspende.
p= llueve q=el baile se suspende

Si la oferta del producto sube, su precio baja.
p=sube la oferta del producto q=baja el precio del producto

Tambin se puede expresar:
Es suficiente que suba la oferta del producto para que su precio baja.
O bien:
El precio del producto baja si sube su oferta.

Cuando se tiene p q , se dice tambin que p es condicin suficiente para q, o bien
que se cumple q si se cumple p (q si p).

En la misma situacin, es decir p q , se cumple p slo si se cumple q (p slo si q),
se dice tambin que q es condicin necesaria para p.


Implicacin Directa, Recproca, Contraria, Contrarrecproca.
A partir de la implicacin vista, llamada directa, surgen otras, de la siguiente manera:
12
Directa: pq

Recproca qp
Contraria ~p~q
Contrarrecproca ~q~p
En matemtica corresponden a los teoremas directo, recproco, contrario o inverso y
contrarrecproco respectivamente.

Se demuestra que cualquier implicacin directa tiene la misma tabla de verdad que
la contrarrecpoca, es decir que son equivalentes. Si se verifica la directa se verifica la
contrarrecproca, esto es: si p entonces q equivale a si no es q entonces no es p.
Veamos la tabla de verdad:


P q pq ~q ~p ~q~p
V V V F F V
V F F V F F
F V V F V V
F V V F V V


Ejemplo

Directa:
Si un nmero es racional, entonces es real (Verdadera).

Recproca
Si un nmero es real entonces es racional. (Puede o no ser verdadera, depende del caso)

Contraria:
Si un nmero no es racional entonces no es real. (Puede o no ser verdadera, depende del
caso)

Contrarrecproca
Si un nmero no es real, entonces no es racional (Verdadera)

Observacin
Se debe observar que:

I) Del hecho que p q sea verdadera no se deduce necesariamente que su recproca
o su contraria sean verdaderas. Pueden serlo o no, segn el caso particular de que
se trate.

II) De la veracidad de p q se deduce necesariamente la veracidad de su
contrarrecproca.

III) De la veracidad de p q se deduce necesariamente la veracidad de p q .
13
En los teoremas HT (directo) siempre se verifica que ~T~H.
Cuando esto ltimo es lo que se prueba se dice que se us el mtodo de demostracin por el
absurdo.
Equivalencia (o doble implicacin o bicondicional)

Dadas dos proposiciones p, q, se dice que p es equivalente a q si se verifica p q y
q p . Se anota p q . En tal caso, p es el primer miembro y q el segundo miembro de
la equivalencia.

Cuando se tiene p q se dice que p es condicin suficiente para q (se cumple q si se
cumple p) y que q es condicin necesaria para p (p slo si q) ahora para la equivalencia
p q se tienen las siguientes expresiones sinnimas:

I) p es condicin necesaria y suficiente para q
II) se cumple q si y slo si se cumple p


Dadas dos proposiciones p, q, la proposicin p es equivalente a q, que se anota
p q , es por definicin la siguiente: ( p q ) . ( q p ).

La proposicin bicondicional es verdadera si y slo si ambas proposiciones p y q
tienen el mismo valor de verdad (o ambas son simultneamente verdaderas o simultneamente
falsas).


A partir de las tablas de verdad de la implicacin y de la conjuncin resulta la tabla de
verdad de la equivalencia:


p q
p q q p
( ) ( ) p q q p .
V V V V V
V F F V F
F V V F F
F F V V V


La tabla buscada es:

p Q
p q
V V V
V F F
F V F
F F V
14
Ejemplos de relacin de equivalencia:

Si r es una raz del polinomio P(x) (o sea P(r) =0), entonces x-r es un factor de dicho
polinomio.

Si y slo si llueve se suspende el baile.

Si y slo si la nota obtenida en el examen es mayor o igual a 4 se aprueba.


Reglas de prioridad

La conexin tiene siempre prioridad ms alta. Por consiguiente p q v debe ser
comprendida como ( ) p q v , y no como ( ) p q v . En el caso de las conexiones binarias, la
prioridad ms alta se le da a ., seguida por , y v , en ese orden. En la expresin
p q r . v , debe ser entendida como ( ) p q r . v . Similarmente, p q r v debe ser entendida
como ( ) p q r v , porque v toma prioridad sobre . La conexin recibe la prioridad
ms baja, lo que implica que p q r debe entenderse como ( ) p q r .
Las reglas que involucran prioridad son, por supuesto, conocidas por las expresiones
aritmticas. Por ejemplo, en el lenguaje de programacin C++, * tiene prioridad sobre +, lo
que significa que a+b*c debe ser interpretado como a+(b*c) .
En algunas expresiones, las reglas de prioridad no son suficientes para eliminar todas
las ambigedades. Por ejemplo, la expresin p q r podra ser comprendido como
( ) p q r o como ( ) p q r . La interpretacin utilizada depende de la asociatividad
de la conexin . Generalmente, es un operador, como lo son los operadores + y / en
C++. Todas las conexiones lgicas binarias son asociativas por la izquierda. Por consiguiente,
p q r debe ser comprendido como ( ) p q r . Esto es consistente con lenguajes de
programacin tales como C++, donde a/b/c se interpreta como (a/b)/c en vez de a/(b/c). Por
lo tanto, los operadores aritmticos binarios en C++ son tambin asociativos por la izquierda.

1.1.4 TAUTOLOGAS, CONTRADICCIONES Y CONTINGENCIAS

Consideremos las siguientes proposiciones:

Coln descubri Amrica. (1)

Coln descubri Amrica o Coln no descubri Amrica. (2)

Ambas son verdaderas. La verdad de (1) es un hecho emprico, que conocemos por la
investigacin histrica. Esta proposicin podra ser falsa si los acontecimientos histricos
hubieran sido diferentes. En cambio, (2) por su forma, es necesariamente verdadera; su verdad
es independiente de todo hecho emprico, y subsistira cualquiera hubiera sido el curso de la
historia.
La proposicin (2) resulta de reemplazar p por Coln descubri Amrica en la frmula


p p v (3)
15
Ahora bien, cualquier reemplazo en (3) da una proposicin verdadera; por ejemplo,
reemplazando p por Soy el rey de Inglaterra, se obtiene la proposicin verdadera

Soy el rey de Inglaterra o no soy el rey de Inglaterra.

Una frmula que slo tiene ejemplos de sustitucin verdaderos se llama tautologa o verdad
lgica. Para probar que (3) es una tautologa construimos la siguiente tabla de verdad:

p p
p p v
V F V
F V V

La primera columna de esta tabla contiene los posibles valores de verdad de p, la segunda se
forma a partir de la primera tabla de verdad de la negacin, y la tercera a partir de las
anteriores con la tabla de verdad de la disyuncin. Como esta ltima columna contiene slo
valores V, se tiene que todos los ejemplos de sustitucin de (3) son verdaderos, lo cual
significa que (3) es una tautologa.
Las siguientes equivalencias:


)) ( )) ( (
) ( )) ( (
q p q p
q p q p
v .
. v



llamadas leyes de De Morgan, tambin son tautologas. Las mismas formulan las relaciones
entre la conjuncin, la disyuncin y la negacin, motivo por el cual presentan especial inters.
Otras tautologas de inters, son las siguientes leyes distributivas :

( ) ( ) ( )
( ) ( ) ( )
p q p r p q r
p q p r p q r
v . v = v .
. v . = . v


Ejercicio: Demostrar, mediante tablas de verdad, que las frmulas anteriores son verdades
lgicas.
Consideremos, ahora, las proposiciones:

Hernndez escribi el Quijote de la Mancha (4)

Hernndez escribi el Quijote de la Mancha y Hernndez no escribi el Quijote
de la Mancha (5)

Ambas son falsas. La falsedad de (4) es un hecho emprico o contingente, en tanto la falsedad
de (5) es independiente de los hechos; es una falsedad necesaria, consecuencia de la forma de
(5). Esta proposicin resulta de reemplazar p por Hernndez escribi el Quijote de la
Mancha en la frmula
p p . (6)

Ahora bien, cualquier reemplazo en (6) da una proposicin falsa.
Una frmula que slo tiene ejemplos de sustitucin falsos se llama contradiccin o falsedad
lgica. Para probar que (6) es una contradiccin construimos la siguiente tabla de verdad:

16

p
p p p .
V F F
F V F

Como la ltima columna contiene slo valores F, se tiene que todos los ejemplos de
sustitucin de (6) son falsos, lo cual significa que (6) es una contradiccin.

Las frmulas que no son tautologas ni contradicciones se llaman contingencias. Una
contingencia es, por consiguiente, una frmula que tiene entre sus ejemplos de sustitucin
tanto proposiciones verdaderas como falsas. As , p q p q y p q . v son contingencias;
lo cual se puede ver por medio de sus tablas de verdad.


1.1.5 ARGUMENTOS y MODOS de DEMOSTRACIN.

ARGUMENTOS
Un argumento es una relacin entre un conjunto de proposiciones p
1
, p
2
, , p
n
llamadas
premisas y otra proposicin q llamada conclusin; denotamos un argumento por:
p
1
, p
2
, , p
n
q ( se lee por lo tanto)
Se dice que un argumento es vlido si las premisas dan como consecuencia la conclusin;
ms formalmente:
Un argumento p
1
, p
2
, , p
n
q es vlido si q es verdadero cada vez que las premisas p
1
,
p
2
, , p
n
sean verdaderas.
Un argumento que no es vlido se llama falacia.
Ejemplo 1: El argumento p, p q q es vlido. Este argumento se llama modus ponendo
ponens, o ms corto, modus ponens. La demostracin de esta regla se obtiene directamente de
la tabla:
P q
p q
V V V
V F F
F V V
F F V

Observe que en la primera fila de la tabla q es verdadero cuando p y p q lo son; el
argumento es vlido.
Es importante notar que prcticamente todos los teoremas matemticos estn compuestos de
condicionales del tipo
(p
1
. p
2
. . p
n
)

q
17
A los p
1
. p
2
. . p
n
se les llama hiptesis y a q se le llama conclusin. Demostrar un
teorema significa probar que el condicional es verdadero. Observe que no se pretende
demostrar que q (la conclusin) es verdadero, sino que q ser verdadero siempre que los p
1
.
p
2
. . p
n
sean verdaderos. De aqu que las demostraciones matemticas comienzan
frecuentemente con el enunciado suponga que p
1
. p
2
. . p
n
son verdaderos y concluye
con el enunciado por lo tanto, q es verdadero.
Cuando un condicional (p
1
. p
2
. . p
n
)

q es una tautologa, entonces es siempre
verdadero, independientemente de los valores de verdad de los enunciados que componen los
q o de los p
i
. En este caso el argumento
p
1
, p
2
, , p
n
q
p
1
p
2
.
.
.
P
n
___________
q
es universalmente vlido, sin importar qu enunciados reales se sustituyan por las variables en
q y en los p
i
. La validez depende de la forma de los enunciados y no de sus valores de verdad.
Por ello estos argumentos universalmente vlidos estn representados por mtodos generales
de razonamiento correcto, llamados reglas de inferencia. Los pasos de la demostracin
matemtica de un problema debern seguirse de la aplicacin de reglas de inferencia y una
demostracin matemtica debe iniciarse con la hiptesis, seguir a travs de varios pasos, cada
uno justificado por alguna regla de inferencia, y llegar a la conclusin. El argumento p q,
q r p r es universalmente vlido y por lo tanto es una regla de inferencia.
Damos a continuacin algunas reglas de inferencia de gran utilidad:
1. p
pvq adicin
2. p .q
p simplificacin
3. p
p q
q modus ponens

18
4. p q
~q
______
~p modus tollens
5. p v q
~p
q silogismo disyuntivo
6. p q
q r
p r silogismo hipottico

7. p
q
_____
p.q conjuncin

1.1.6 CUANTIFICADORES
El objeto fundamental de la lgica no es tanto el estudio de la verdad o falsedad de las
proposiciones compuestas, como el de la validez o invalidez de los razonamientos deductivos.
La validez de cierto tipo de razonamientos no se puede estudiar considerando las
proposiciones que los integran como todos indivisibles, pues la misma depende de la
estructura lgica interna de las proposiciones no compuestas que dichos razonamientos
contienen. Es por ello que se crean tcnicas para describir y simbolizar las proposiciones no
compuestas de manera que quede manifiesta su estructura lgica interna.
Entonces conviene que en las proposiciones separaremos los objetos o individuos de los
predicados o propiedades a ellos atribuidos, y que procuremos explicitar ambos con un
simbolismo adecuado.

Un predicado como

es azul (1)

atribuido a objetos como

el sol, la luna, el hambre (2)

da en algunos casos proposiciones

el cielo es azul, la luna es azul, (3)

y en otros casos, expresiones que no son proposiciones:

el hambre es azul (4)

Para describir en general situaciones como sta, recurrimos a los mtodos del lgebra.
19

Una expresin como

x + 4 = 7 (5)

se llama ecuacin, y no es una proposicin, pues no tiene sentido afirmar que sea verdadera o
falsa, ya que x no tiene en ella un valor determinado.
La expresin (5) es un molde o esquema donde al reemplazar x por nombres de cosas, y si
las cosas son nmeros se obtienen proposiciones. Por ejemplo, al reemplazar x por 4 y por 3
se obtienen las proposiciones

4 + 4 = 7 3 + 4 = 7, (6)

de las cuales la primera es falsa y la segunda verdadera. Pero no se obtienen proposiciones al
reemplazar x por cosas distintas de nmeros, por ejemplo la luna, en cuyo caso se obtiene
la expresin

la luna + 4 = 7 (7)

que no es una proposicin.
De manera semejante, las proposiciones (3) y la expresin (4) se obtienen del esquema

x es azul (8)

reemplazando x por los nombres de objetos (2). Al igual que (5), (8) no es una proposicin
pues no puede decirse que sea ni verdadera ni falsa, ya que x no designa ningn objeto, sino
que es una simple seal puesta para marcar un lugar. Pero cuando se reemplaza x por el
nombre de un individuo o cosa de cierta clase o conjunto, (8) se transforma en una
proposicin verdadera o falsa.

Todo esto nos lleva a la siguiente definicin:

Se llama esquema proposicional en la indeterminada x, a toda expresin que contiene a x
y que posee la siguiente propiedad: existe por lo menos un nombre tal que la expresin
obtenida sustituyendo la indeterminada por dicho nombre, es una proposicin.

Cuando no haya lugar a confusin, diremos simplemente esquema en lugar de esquema
proposicional. A las indeterminadas las llamaremos tambin variables o incgnitas, y a los
nombres de objetos particulares, constantes. As, el cielo, la luna, 3, son ejemplos de
constantes.
Es usual referirse a los esquemas proposicionales con el nombre de funciones
proposicionales.

Ejemplos

a) x es interesante

es esquema, pues existe una constante, por ejemplo, Este libro, que colocada en lugar de la
variable produce la siguiente proposicin:

20
Este libro es interesante

Que esta proposicin sea verdadera o falsa depender de cul sea el libro particular que se
est sealando.

b) Qu x es?

No es esquema, pues no hay ninguna constante que colocada en lugar de la variable produzca
una proposicin. En efecto, en algunos casos se obtienen expresiones carentes por completo
de sentido, como

Qu 3 es?

y cuando se obtienen expresiones con sentido, tales expresiones son preguntas, como

Qu hora es? Qu da es?

Las cuales no son proposiciones.

c) x x =

es esquema, pues cualquiera sea la constante que se coloque en lugar de la variable se obtiene
una proposicin, siempre falsa.

d) x es un nmero impar

Es esquema.

Por analoga con lo que se hace en lgebra, utilizaremos smbolos como F(x), G(x),
E(x), P(x), etc. para designar esquemas proposicionales de incgnita x, tambin llamados
esquemas proposicionales en x; F(y), G(y), etc. para esquemas proposicionales de incgnita y,
tambin llamados esquemas proposicionales en y; etc.. Se lee: F de x, G de x, F de y,
G de y, etc.

Sea F(x) un esquema en x y a una constante. Se dice que a satisface a F(x) si al
reemplazar la variable x por a se obtiene una proposicin verdadera.

Ejemplo

Sea el esquema en x

F(x) = x es azul

La constante el cielo satisface a F(x) pues la proposicin

F(el cielo) = el cielo es azul

es verdadera. En cambio, la constante la luna no lo satisface, pues la proposicin

F(la luna) = la luna es azul
21

es falsa.

Teniendo en cuenta lo dicho para esquemas proposicionales con una sola
indeterminada, estamos en condiciones de definir qu se entiende por esquema proposicional
con varias indeterminadas.

Se llama esquema proposicional en las indeterminadas (o variables)
1
........., ,
n
x x a toda
expresin que contiene dichas indeterminadas y que posee la siguiente propiedad: existen por
lo menos n constantes
1
........., ,
n
a a tales que la expresin obtenida sustituyendo las
indeterminadas
1
........., ,
n
x x respectivamente por
1
........., ,
n
a a es una proposicin.

Utilizaremos smbolos como F(
1
.........,
n
x x ), G(
1
.........,
n
x x ), etc. para designar
esquemas proposicionales en las indeterminadas
1
.........,
n
x x .

Ejemplo:

F(x, y) = x es divisor de y

es un esquema o funcin proposicional con dos indeterminadas, el cual, para x = 2, y = 6,
produce la proposicin

F(2,6) = 2 es divisor de 6. (V),

en cambio, para x = 12, y = 6, produce la proposicin:

F(12,6) = 12 es divisor de 6. (F)

A partir de esquemas proposicionales es posible obtener proposiciones generales
mediante un proceso llamado cuantificacin. Asociados a la indeterminada x, introducimos
los smbolos x y -x, llamados cuantificadores universal y existencial en x,
respectivamente. Las expresiones

Para todo x, se verifica P(x).

Existe x, tal que se verifica P(x).

se denotan mediante:


: ( )
| ( )
x P x
x P x

-


y corresponden a una funcin proposicional P(x) cuantificada universalmente en el primer
caso, y existencialmente en el segundo. Una funcin proposicional cuantificada adquiere el
carcter de proposicin. En efecto, considerando el siguiente ejemplo:

Todos los nmeros enteros son pares.

22
es claro que hemos enunciado una proposicin general y relativa a todos lo nmeros enteros,
cuyo valor de verdad es F. Una traduccin ms detallada de esta proposicin consiste en
decir:

Cualquiera que sea x, x es par.

Es decir, : . x x es par

Si cuantificamos existencialmente la misma funcin proposicional, se tiene:

- x | x es par

O sea, Existe x, tal que x es par.

O bien, Existen enteros que son pares.

O ms brevemente, Hay enteros pares.

El valor de verdad es V, y en consecuencia se trata de una proposicin. El
cuantificador existencial se refiere a, por lo menos, un x.

Es obvio que una funcin proposicional cuantificada universalmente es V si y slo si
son V todas las proposiciones particulares asociadas a aqulla. Para asegurar la verdad de una
funcin proposicional, cuantificada existencialmente, es suficiente que sea verdadera alguna
de las proposiciones asociadas a la funcin proposicional.

Un problema de inters es la negacin de funciones proposicionales cuantificadas.

La negacin de Todos los nmeros enteros son pares.

es No todos los enteros son pares.

es decir Existen enteros que no son pares.

y en smbolos | ( ) x P x -
Entonces, para negar una funcin proposicional cuantificada universalmente se cambia
el cuantificador en existencial y se niega la funcin proposicional.

La negacin de Existen enteros que son pares.

es No existen enteros pares.

es decir Cualquiera que sea el entero, no es par.

o lo que es lo mismo Todo entero es impar

y en smbolos : ( ) x P x
23

Entonces para negar una funcin proposicional cuantificada existencialmente se
cambia el cuantificador en universal, y se niega la funcin proposicional.
Se tienen las siguientes equivalencias:


[ : ( )] | ( )
[ | ( )] : ( )
x P x x P x
x P x x P x
-
-


Ejemplo 1. Sea la proposicin:

Todo el que la conoce, la admira.

Nos interesa escribirla en lenguaje simblico, negarla, y expresar la negacin en lenguaje
ordinario.
La proposicin dada puede enunciarse.

Cualquiera que sea la persona, si la conoce, entonces la admira.

Aparece clara la cuantificacin de una implicacin de las funciones proposicionales
P(x) : x la conoce

Q(x) : x la admira

Se tiene
x : P(x) Q(x)

Teniendo en cuenta la forma de negar una funcin proposicional cuantificada universalmente
y una implicacin, resulta:

-x | P(x) . Q(x)

Pasando al lenguaje ordinario:
Hay personas que la conocen y no la admiran..

Ejemplo 2. Consideremos la misma cuestin en el siguiente caso:
Todo entero admite un inverso aditivo.
Es decir
Cualquiera que sea el entero, existe otro que sumado a l da cero.
Intervienen dos variables y la funcin proposicional
P(x, y) : x + y = 0
La expresin simblica es entonces
x -y | x + y = 0
Su negacin es
24
-x | [-y | x + y = 0]
Es decir,
-x | y : x + y = 0
su traduccin al lenguaje ordinario es
Existe un entero cuya suma con cualquier otro, es distinta de cero. (F)
Ejemplo 3. Sea la proposicin
Hay alumnos que estudian y trabajan.
Su enunciado sugiere un cuantificador existencial y dos funciones proposicionales:
P(x) : x estudia
Q(x) : x trabaja
En forma simblica se tiene
- x | P(x) . Q(x)
Su negacin es
x : [P(x) . Q(x)]
Considerando las leyes de Morgan
x : P(x) v Q(x)
Que en lenguaje ordinario se puede expresar como
Cualquiera que sea el alumno, no estudia o no trabaja.









25



1.2.1 Nmeros reales. Operaciones y Propiedades.
Los procedimientos cuantitativos bsicos de la ciencia comprenden las operaciones de
contar y medir. Contar significa caracterizar una coleccin o conjunto de objetos mediante un
nmero, en tanto que medir es asignar un nmero a alguna propiedad de un objeto. Las
nociones de contar y medir, al igual que la de conjunto, distan de ser conceptos simples.
Cada una de estas nociones ha sido objeto de muchos estudios en el campo de la metodologa
cientfica. Lo importante para nosotros en el presente estudio es el hecho de que tanto
contar como medir conducen a nmeros, y mediante el uso de nmeros y conjuntos es
posible lograr una buena compresin de los fenmenos de la naturaleza.
Los nios aprenden primero a contar y se familiarizan con los nmeros 1, 2, 3 ... (N).
En los primeros estudios, el nio aprendi a sumar, restar, multiplicar y dividir dos nmeros
naturales. Aunque algunas divisiones, como 6:3 = 2 eran posibles, sin embargo fue necesario
pasar a nuevos nmeros para darle sentido a expresiones como 7:2 y 3:5. Para salvar estas
situaciones, se introdujeron las fracciones y se desarroll la aritmtica de las fracciones.
Ms adelante el joven estudiante se familiariz con el cero y con los nmeros
negativos tales como 7, -3, -5/3, etc., y aprendi a realizar operaciones con ellos. El conjunto
constituido por los enteros positivos y negativos y las fracciones positivas y negativas recibe
el nombre de conjunto de los nmeros racionales (Q). La ventaja de utilizar este sistema en
vez de usar nicamente los nmeros positivos consiste en que podemos restar cualquier
nmero racional de otro nmero racional. Si slo dispusiramos de los nmeros positivos,
entonces 3-5, por ejemplo, carecera de significado.
Cuando se introducen los nmeros irracionales tales como 2 y se dice que estos
nmeros no se pueden representar como fracciones ordinarias, sino que se escriben como
expresiones decimales infinitas, por ejemplo 1,4142... y 3,1415... Las expresiones decimales
de los nmeros racionales tambin son infinitas, por ejemplo,

1/4 = 0,25000...
1/3 = 0,33333...
2 = 2.00000...
1/7 = 0,142857142857...

Estas ltimas expresiones, sin embargo, se repiten peridicamente a partir de alguna
cifra, mientras que las correspondientes a los nmeros irracionales no tienen esta propiedad.
El conjunto de todos estos nmeros, los racionales y los irracionales, constituyen el conjunto
de los nmeros reales (R). Podemos decir entonces, que un nmero real es un nmero que
se puede representar por una expresin decimal infinita.
Si a y b son dos nmeros reales cualesquiera, se pueden establecer las siguientes
operaciones en el conjunto de los nmeros reales (R):

Adicin : a b +
Multiplicacin : a . b
Sustraccin : a b
Divisin : : a b , si 0 b =

26

Dos smbolos, a y b , que representan nmeros reales, son nmeros iguales si y
solamente si representan el mismo nmero real.
Si a, b y c representan nmeros reales y si a b = , entonces
a c b c + = +
a . c = b . c

a c b c = / / a c b c = (supuesto 0 c = )

1.2.1.1. Propiedades operativas de los nmeros reales

I. La adicin y la multiplicacin son operaciones conmutativas; esto es, si a y b son dos
nmeros reales cualesquiera:
a b b a + = +
a . b = b . a

II. La adicin y la multiplicacin son operaciones asociativas; esto es, si a , b

y c son
nmeros reales :
(a + b) + c = a + (b + c)

a . (b . c) = (a . b ) . c

III. La multiplicacin distribuye sobre la suma; esto es, si a , b y c son nmeros reales:
a . (b + c) = a . b + a . c

IV. El nmero real 0 es el elemento neutro en la adicin; es decir, si a es un nmero
real cualquiera:
0 a a + =
El nmero real 1 es el elemento neutro en la multiplicacin; es decir, si a es un
nmero real cualquiera:
a . 1 = a

V. Dado un nmero real a ; existe un nmero real que se denota con - a , que se llama
opuesto de a y tal que:
( ) 0 a a + =
Dado un nmero real a diferente de cero, existe un nmero real que se denota
1
a

(o tambin 1/a) que se suele llamar inverso de a y tal que:
a . a
-1
= 1

Adems es una consecuencia de las propiedades anteriores el hecho de que cualquiera
sea el nmero real a :
a . 0 = 0

Si a y b son nmeros reales y a . b = 0

, entonces ( ) 0 a = o ( ) 0 b = .
El conjunto de nmeros reales es un conjunto totalmente ordenado, esto es, dados
dos nmeros reales distintos se puede establecer cul es el mayor. Utilizando el lenguaje de
las desigualdades podemos expresar que para cada par de nmeros reales a y b, es verdadera,
una, y solamente una de las proposiciones
a b < a b = a b >
Se puede establecer una correspondencia biunvoca entre nmeros reales y puntos de
una recta (la recta numrica), de modo que a cada nmero real le corresponde un punto de la
recta, y a cada punto de la recta le corresponde un nmero real.
1.2.2. Potencias y races de nmeros reales
1.2.2.1. Potencias de nmeros reales.
Definimos las potencias de un nmero real a de la siguiente forma:
27
1
a a =
;

2 1
a a a a a = =
;

3 2
a a a a a a = =
;

En general, si n es un nmero natural:
...
n
a a a a a = (n factores)
es decir que el smbolo
n
a (que se lee: potencia ensima de a ) significa el producto de
n factores iguales a a.
El nmero a se llama base y el nmero n, exponente de la potencia. La
potencia 2 de un nmero se llama su cuadrado y la potencia 3 su cubo.
Para todo nmero real a distinto de cero el concepto de potencia se ampla con
las definiciones siguientes:
0
1
1;
P
P
= = a a
a
(
P
: nmero natural)
No damos significado alguno al smbolo 0
0
.
Si la base a es un nmero real no nulo, la potenciacin queda as definida para
todo exponente entero.
1.2.2.2 Propiedades de la potenciacin
Sean a , b ; nmeros reales no nulos; m, n: nmeros enteros,
1. Producto y cociente de potencias de igual base:

n m n m
a a a
+
= /
n m n m
a a a

=
2. Potencias de productos y cocientes:

( )
n n n
a b a b =

( )
n n n
b a b a / / =
3. Potencias de potencias:

( )
n m n m
a a

=
Observacin: La potenciacin no es asociativa, es decir, en general
( )
c
b
a no es igual a ( )
b c
a
Usamos el smbolo
c
b
a para indicar el nmero
( )
.
c
b
a
1.2.2.3. Races de nmeros reales
Si n es un nmero natural y b un nmero real positivo, existe un nico nmero
real positivo a tal que: .
n
a b =
El nmero a se llama la raz ensima de b (o tambin la raz ensima aritmtica de b) y
se denota con el smbolo
n
b .
n
b a = es equivalente a
n
a b =
El smbolo
n
se llama radical; el nmero n se llama ndice y el nmero b
radicando. Para n = 2, 3, 4, 5,... se dice que a es la raz cuadrada, cbica, cuarta, quinta,
etc.; para n = 1 se tiene a = b; para n = 2 es costumbre suprimir el ndice y escribir:
b en vez de
2
b .
1.2.2.4. Propiedades de las races aritmticas.
1. Producto y cociente de radicales del mismo ndice
n n n
a b a b =

28
/ /
n n n
a b a b =

En particular:
( )
m
n m n
a a =
2. Radicales superpuestos:
m n n m n m
a a a

= =

3. Se puede multiplicar por el mismo nmero natural el ndice del radical y el exponente
del radicando:
n p
n m m p
a a

=

Esta propiedad permite:
a) simplificar un factor comn al ndice del radical y exponente del radicando;
b) reducir varios radicales al mismo ndice.
Ejemplo 1
6 3 4 2
a a =

Ejemplo 2
Los radicales
3 6 15
; ; a b c se expresan tambin, respectivamente, en la forma:
30 30 30 10 5 2
; ; a b c

Observaciones
1) Si n es impar , la raz aritmtica
n
a b = es el nico nmero real tal que
n
a b = . Si
n es par, el nmero
n
a b = tiene la misma propiedad; se llama la raz ensima
negativa de b.
2) A menudo se usa el smbolo
n
afectando a un nmero negativo; por ejemplo:
3
8; 4
etc., en general:
n
b
siendo b positivo.
Si el ndice n es impar existe un nico nmero real cuya potencia ensima es igual a -
b, es el nmero
n
b c =
Ejemplo
3 3
8 8 2 = =

29
Si el ndice n es par el radical no tiene sentido.
Es importante destacar que para estas expresiones no son vlidas, en general, las
propiedades de los radicales aritmticos.
Ejemplos
1)
3
8 no es igual a
( )
2
6
8
3 3
8 8 2 = =
( )
2
6
6
8 64 2 = =
2)
( )
2
4
1 no es igual a
( ) 1
( ) ( )
2
4 4
1 1 1 = =
1 no tiene sentido.
3)
( ) ( ) 2 2 4 2 = =
( ) ( ) 2 2 no tiene sentido.
4) Si m y n son nmeros naturales y a es un nmero real positivo, se definen las
potencias de exponente p = m/n; -p = -m/n por medio de las frmulas:
/ n m n m
a a =
/
/
1
m n
m n
a
a

=
es decir, que
/ m n
a es otra notacin para la raz ensima aritmtica de
m
a .
Es importante observar que
/ m n
a depende del nmero racional / p m n = y no de la fraccin
que lo representa. Si se tiene: / / m n r s = (, equivalentemente: m s n r = ) resulta:
/ n n s m n m m s
a a a

= =
/ s n s r s r n r
a a a

= =
Por la igualdad m s n r = resulta:
n s n s m s n r
a a

=
y por lo tanto
/ / m n r s
a a =
Las propiedades de la potenciacin que hemos enunciado para exponentes enteros
resultan vlidas para exponentes racionales cuando la base es un nmero real positivo.
La notacin
/ m n
a no se extiende al caso en que a es un nmero negativo puesto que,
en este caso, puede tenerse
/ / m n r s
a a = , como vimos anteriormente, siendo / / m n r s = . Por
ejemplo:
( ) ( )
1/ 3 2/ 6
8 8 =
1.3. NMEROS COMPLEJOS
Hay muchos problemas que no se pueden resolver en el conjunto de los nmeros
reales. Por ejemplo, con slo los nmeros reales no podemos resolver
2
1 x =
30
Para buscar una solucin a esta dificultad introducimos un nuevo smbolo, i , que por
definicin, es tal que
2
1 i = .
Despus, escribimos expresiones de la forma a + bi, donde a y b son nmeros reales, y
a estas expresiones las llamamos nmeros complejos. El nmero a es la parte real de a
+ bi, y b es la parte imaginaria. Para poder manejar estas expresiones como nmeros,
debemos definir con ellas las operaciones aritmticas usuales.

Definiciones

Las operaciones aritmticas en el conjunto de los nmeros complejos se definen as:

Igualdad: a bi c di + = + si y solamente si a c = y b d =

Adicin: ( ) ( ) ( ) ( ) a bi c di a c b d i + + + = + + +

Multiplicacin: ( ) ( ) ( ) ( ) a bi c di ac bd bc ad i + + = + +

Obsrvese que la definicin de multiplicacin es consistente con la propiedad asignada a i, a
saber,
2
1 i = .
En efecto, si multiplicamos ( ) ( ) a bi c di + + usando el lgebra ordinaria, obtenemos
( ) ( )
2
ac i bc ad i bd + + + . Ahora, cuando sustituimos
2
i por 1, llegamos a la frmula de la
definicin.
Ejemplo 1
a. ( ) ( ) 3 6 2 3 5 3 i i i + + = +
b. ( ) ( ) 7 5 1 2 6 3 i i i + + = +
c. ( ) ( ) ( )
2
5 7 3 4 15 41 28 15 28 41 13 41 i i i i i i + + = + + = + = +
d. ( ) ( ) ( )
2
2 3 1 4 2 11 12 2 12 11 10 11 i i i i i i + = + = + + = +
Tambin debemos considerar la divisin. Queremos expresar ( ) 1/ a bi + como un
nmero complejo. El mejor modo de conseguirlo es utilizar el nmero complejo conjugado
a bi .
Definicin de conjugado
Los nmeros complejos a bi + y a bi se llaman conjugados.
Ahora escribimos:
2 2 2 2 2 2
1 1 a bi a bi a bi
a bi a bi a bi a b a b a b

= = = +
+ + + + +

que es el nmero complejo igual a ( ) 1/ a bi + . Extendiendo este mtodo podemos calcular
cualquier cociente de la forma general ( ) ( ) / : a bi c di + +
( ) ( )
( ) ( )
( ) ( ) ( ) ( )
2 2 2 2 2 2
a bi c di ac bd bc ad i ac bd bc ad i
a bi
c di c di c di c d c d c d
+ + + +
+
= = = +
+ + + + +

31
Divisin: Para calcular el cociente ( ) ( ) / a bi c di + + , multiplicamos el numerador y el
denominador por el nmero complejo conjugado c di y simplificamos el resultado.
Ejemplo 2
( )( )
( )( )
4 2 3
4 4 2 3 5 14 5 14
2 3 2 3 2 3 2 3 2 3 13 13 13
i i
i i i i
i
i i i i i
+ +
+ + + +
= = = = +
+ +
g

Por ltimo, resolveremos algunas ecuaciones que contienen nmeros complejos. El siguiente
ejemplo sugiere el mtodo general.
Ejemplo 3
Resolver
( )( ) 2 3 4 x yi i i + = + .
Podramos resolver la ecuacin escribiendo
( ) ( ) 4 / 2 3 x yi i i + = +
y calculando a continuacin el cociente indicado en el miembro de la derecha. Sin embargo,
utilizaremos otro procedimiento. Si efectuamos la multiplicacin en el miembro de la
izquierda obtenemos
( ) ( ) 2 3 3 2 4 x y x y i i + + + = +
Segn nuestra definicin de igualdad de dos nmeros complejos, las partes reales de ambos
miembros han de ser iguales y, del mismo modo, las partes imaginarias tambin han de serlo.
Por lo tanto,
2 3 4
3 2 1
x y
x y
+ =
+ =

Resolvemos estas ecuaciones simultneas multiplicando por 3 la primera ecuacin y por 2 la
segunda y sumando las dos ecuaciones,
6 9 12
6 4 2
13 14
14
13
x y
x y
y
y
+ =
+ + =
=
=

Multiplicamos por 2 la primera ecuacin y por 3 la segunda ecuacin y sumando las dos
ecuaciones:
4 6 8
9 6 3
13 5
5
13
x y
x y
x
x
+ =
+ =
=
=

Este mtodo, que consiste en igualar las partes reales e imaginarias, es de gran importancia en
la aplicacin de los nmeros complejos a la ingeniera.

Otra introduccin
32
Nuestra definicin de nmeros complejos carece de recursos intuitivos. Dijimos que no existe
ningn nmero real x tal que
2
1 x = , pero, sin embargo, introdujimos i dotado de esta
propiedad.
Qu es, pues, i? Tanto inquiet esta pregunta a los matemticos que al fin, dieron a i el
nombre de nmero imaginario y a a bi + el de nmero complejo, para indicar el contraste con
los otros nmeros de nuestro sistema, que son reales. Nuestro propsito actual es iniciar un
nuevo desarrollo de los nmeros complejos de una manera lgica y fuera de lo imaginario.
Definiciones
Nmero complejo
Un nmero complejo es un par ordenado de nmeros reales (a, b)
Parte real de un nmero complejo
El nmero complejo (a, 0) se llama parte real del nmero complejo (a, b).
Veremos que, de una manera natural, se pueden identificar los pares (a, 0) con los
nmeros reales a.
Nmero imaginario puro
Un nmero complejo de la forma (0, b) se llama nmero imaginario puro.

La aritmtica de los nmeros complejos viene dada por las siguientes definiciones bsicas.

Definiciones
Igualdad
Dos nmeros complejos (a, b) y (c, d) son iguales si y solamente si a c = y b d = .
Adicin
( , ) ( , ) ( , ) a b c d a c b d + = + +
Multiplicacin
( , ) ( , ) ( , ) a b c d ac bd bc ad = +

Es evidente que existe una correspondencia biunvoca entre, los nmeros complejos (a, 0) y
los nmeros reales a, que est definida por
( , 0) a a .
Esta correspondencia es particularmente til porque en ella las sumas corresponden a las
sumas y los productos corresponden a los productos. Esto es:
( , 0) ( , 0) ( , 0) a c a c
a c a c
+ = +
+ = +
b b b
( , 0) ( , 0) ( , 0) a c ac
a c ac
=
=
b b b
33
Este tipo de correspondencia se llama isomorfismo y decimos que el conjunto de los nmeros
complejos (a, 0) es isomorfo al conjunto de los nmeros reales a, con respecto a la adicin y a
la multiplicacin. Se justifica as la identificacin de los dos sistemas. En consecuencia,
podemos decir que (a, 0) es un nmero real cuando no exista motivo de confusin.

Adicin : ( ) ( ) ( ) 0, 0, 0, b d b d + = +
Multiplicacin : ( ) ( ) ( ) 0, 0, , 0 b d bd =

Es importante observar que el producto de dos nmeros imaginarios puros es un nmero real.
En particular,
( ) ( ) ( ) 0,1 0,1 1, 0 =
Recordemos ahora que lo que motiv nuestra introduccin de los nmeros complejos fue,
precisamente, la imposibilidad de resolver la ecuacin
2
1 x = dentro del conjunto de los
nmeros reales.
Veamos ahora como la introduccin de los nmeros complejos nos permite resolver esta
ecuacin. Conforme con el isomorfismo, la ecuacin
( ) ( ) ( ) ( )
2
, , , 1, 0 x y x y x y = =
Segn hemos visto, ( ) ( ) , 0,1 x y = es una solucin de esta ecuacin, ademas se puede
comprobar que ( ) ( ) , 0, 1 x y = es otra solucin. Por consiguiente, nuestra introduccin de los
nmeros complejos nos permite resolver ecuaciones de este tipo que no tienen solucin en los
nmeros reales.
Para completar nuestra discusin necesitamos mostrar la correspondencia entre nuestras dos
definiciones de los nmeros complejos. Antes de entrar en esa discusin, sealaremos las
siguientes identidades:
( ) ( ) ( )
( ) ( ) ( ) ( )
0, , 0 0,1
, , 0 , 0 0,1
b b
a b a b
=
= + (


Como ejercicio verifique las identidades anteriores.
Ahora estableceremos la siguiente relacin entre las dos notaciones:




Notacin (a,b) Notacin a + bi
Nmeros Reales (a,0) a
Unidad Imaginaria (0,1) i
Utilizando las identidades anteriores podemos, ahora, deducir las correspondencias :
Notacin (a,b) Notacin a + bi
34
Imaginarios Puros (0,b) bi
Nmeros Complejos (a,b) a + bi

De estas correspondencias se deduce que las reglas que rigen la igualdad, la adicin y la
multiplicacin de los nmeros complejos en notacin a bi + , que fueron establecidas como
definiciones anteriormente, concuerdan con las correspondientes definiciones en
notacin( ) , a b .
1.3.1. Representacin grfica de los nmeros complejos
A diferencia de los nmeros reales, los nmeros complejos no se pueden representar, de una
manera aceptable, como puntos de una recta. Por la misma razn no podemos definir la
nocin de desigualdad entre dos nmeros complejos.
Si queremos representar grficamente los nmeros complejos, el procedimiento ms
conveniente es asociarlos biunvocamente con los puntos del plano.
Para ello, medimos la parte real a de a bi + a lo largo del eje horizontal (o eje real) y la parte
imaginaria b a lo largo del eje vertical (o eje imaginario).
De esta manera establecemos una correspondencia biunvoca entre los nmeros complejos y
los puntos del plano.
E
j
e

i
m
a
g
i
n
a
r
i
o
Eje real 0
a + bi
a
b

1.3.2. Clasificacin de los nmeros
El siguiente esquema muestra las diferentes clases de nmeros y las relaciones que existen
entre ellas.
35
Nmeros
complejos
a + bi
Nmeros
reales
b = 0
Nmeros
imaginarios
puros
a = 0
b = 0
Nmeros
racionales
Nmeros
irracionales
Enteros
Fracciones
Nmeros naturales
Cero
Enteros negativos

1.4. Ejercitacin de la Unidad
Ejercicio 1
Cules de las siguientes afirmaciones son proposiciones?
a) Es esto verdadero?
b)
Ana es un nombre-

c)
8 es primo.

d)
8 no es primo.

R: a) no es una proposicin, pero b), c) y d), lo son.


Ejercicio 2
Asigne las constantes lgicas V o F a las siguientes proposiciones-
a) 7 es par.
b)
Carlos Paz es una ciudad.

c)
Argentina es una ciudad.

R: a) F. b) V. c) F.

36
Ejercicio 3
Identifique todas las proposiciones simples en las siguientes oraciones, y abrvielas con
smbolos tales como p, q, r. Entonces convierta las oraciones al clculo proposicional.
a) Si Carlos est en la casa entonces Ral debe de estar en la casa tambin.
b) El auto que escap era rojo o marrn.
c) Las noticias no son buenas.
d) Estars a tiempo slo si te apuras.
e) l vendr si tiene tiempo.
f) Si ella estaba all, entonces debi haber odo.

R: a) p: Carlos est en la casa. q: Ral est en la casa. p q
b) p: El auto que escap era rojo. q: El auto que escap era marrn. p q v
c) p: Las noticias son buenas. p
d) p: Llegars a tiempo. q: Te das prisa. p q
e) p: Vendr. q: Tiene tiempo. p q :
f) p: Estaba all. q: Lo oy. p q


Ejercicio 4
Inserte parntesis dentro de las expresiones siguientes, de tal manera que se elimine la
ambigedad sin usar las reglas de prioridad.
a) p q r p . .
b) p r q r . v
c) ( 1 2) 1 p p q p . v
d) p q q p
R: a) (( ) ) p q r p . .
b) (( ) ) p r q r . v
c) ( ( 1 2)) (( ) 1) p p q p . v
d) ( ) (( ) ) p q q p

37
Ejercicio 5
Construya las tablas de verdad para las siguientes expresiones:
a) ( ) p q v
b) ( ) p q .
R:
a)
P q
p q v p q ( ) v p q
V V F F F V
V F F V V F
F V V F V F
F F V V V F

b)
P q
p q . p q ( ) . p q
V V F F F V
V F F V F V
F V V F F V
F F V V V F

Ejercicio 6
En los siguientes problemas muestre en cada caso si el argumento dado es vlido:
a) p q, q p
b) p q, q p
c) p q, r q p r
d) Si 6 es par, entonces 2 no divide a 7. O 5 no es primo, o 2 divide a 7. Pero 5 es primo.
Por lo tanto, 6 es impar.
e) Si trabajo, no puedo estudiar.
O trabajo, o paso apruebo Matemtica.
38
Aprob Matemtica.
Por tanto, estudi.
Respuestas: a) Si. b) No. c) No. d) Si. e) No.

Ejercicio 7
En los siguientes problemas efecte la demostracin requerida:
a) Demuestre que p q implica lgicamente a p q.
b) Demuestre que p . q implica lgicamente a p.
Respuestas:
a)
p q p q p q (p q) (p q)
V V V V V
V F F F V
F V F V V
F F V V V
Tautologa
b)
p q p . q (p . q) p
V V V V
V F F V
F V F V
F F F V
Tautologa


39
Ejercicio 8
4
3
5
1 1 9
16
3 27 32
| | | |

+ + =
| |
| |
\ . \ .
3 R =

Ejercicio 9
1 2 3
3 5
1 9 1 8 8 32
2 6 3

| | | | | |
+
+ + =
| | |
| | |
\ . \ . \ .

7
8
R =
Ejercicio 10
( )
1
3 3
2
1 1 1
1 3 343
1
5
64

+ =
+
| |

|
\ .

13
42
R =
Ejercicio 11
2 3
1 3
1
2 2
2
1 1 6
2 5 1
3 3 2

( (
| |
| | | |
+ + =
( (
| | |
\ . \ .
( ( \ .


139
3
R =
Ejercicio 12
1
4 3
9 2 1
1
16 3 6
3 3

| |
+
|
\ .
=

4
45
R =
Ejercicio 13
3
1 63
0, 25 0, 3 1 0, 36 1
5 64
| |
+ + =
|
\ .

1
5
R =
40
Ejercicio 14
( )
2
3
3
1
2
0, 4
0, 2 4
3
: 3
5 1 0, 784 0, 2

(
| |
( + |
( | |
\ .
(
=
| (
(
+ \ .
(


74
5
R =
Ejercicio 15
Dar un nmero racional comprendido entre cada uno de los pares de nmeros siguientes:
Nota: la respuesta no es nica
a.
2
3
y
3
4

17
24
R =

b.
1
5
y
2
5

3
10
R =

c.
3 t y
15
100
( ) 100 285 / 200 R = t
Ejercicio 16
Escriba dos nmeros racionales comprendidos entre
2
5
y
3
5
.

1 9
,
2 20
R =

Ejercicio 17
Escriba los siguientes nmeros como cociente de dos enteros:
a. 3,242424...
321
99
R =

b. 0,555...
5
9
R =

c. 0,142857142857...
142857
999999
R =

41
Ejercicio 18
Un alumno obtuvo 9, 7 y 6 de calificacin en sus tres primeras evaluaciones de lgebra. Qu
calificacin debe obtener en la cuarta evaluacin para que su promedio sea 8?
R = 10
Ejercicio 19
Un granjero distribuy cierto nmero de hectreas de tierra entre sus tres hijos. Marta recibi
2/3 de la tierra distribuida, Jorge 4/7 de lo que qued y por ltimo Ral se qued con lo
restante, 18 hectreas. Cuntas hectreas obtuvo Marta?
R = 84 hectreas
Ejercicio 20
Una persona camin cierta distancia, trot
1
2
2 la distancia que camin y corri
1
2
2 veces la
distancia que trot. Si en total recorri 2.340 metros, Cunto camin?
R = 240 metros
Ejercicio 21
Encontrar la suma o diferencia de los nmeros complejos siguientes:
( ) ( ) 3 6 8 i i + + =
11 5 R i = +
( ) ( ) 13 4 25 6 i i + =
12 10 R i =
( ) ( ) 8 2 6 20 i i + + =
2 18 R i =
( ) ( ) 6 5 7 3 i i + + =
1 8 R i = +
( ) ( ) 4 3 3 7 i i + + =
1 10 R i =
( ) 18 13 2i =
5 2 R i = +
= + i i 13 ) 11 14 ( 14 2 R i =
Ejercicio 22
Encontrar el producto de los nmeros complejos siguientes:
( )( ) 2 5 3 i i + + =

11 13 R i =
42
( )( ) 4 11 6 i i + =
35 62 R i = +
( )( )
7 7 i i + = 8 R =
( )( ) 4 2 4 2 i i + =
20 R =
( ) 9 4 6i =
36 54 R i =
( )( ) 7 3 6 i i + =
42 21 R i = +
( )( ) 4 9 i i =
36 R =
Ejercicio 23
Encontrar el cociente de los nmeros complejos siguientes:
(3 2 ) /(4 3 ) i i + + =

(18 )
25
i
R

=
(14 3 ) /(2 ) i i + =
5 4 R i = +
( 6 2 ) /( 3 2 ) i i + + =

(22 6 )
13
i
R
+
=
3 /(5 4 ) i i + =

(12 15 )
41
+
=
i
R
(4 2 ) / 7 i i + =

(2 4 )
7
i
R

=
En los ejercicios 22 al 23 igulense, separadamente, las partes reales y las partes imaginarias
para hallar los valores de x e y.
Ejercicio 24
( )( ) 3 2 4 x iy i i + = +

10
: ,
13
R x =
11
13
y =
Ejercicio 25
( )( ) 6 3 5 6 x iy i i + = +

4
: ,
15
R x =
17
15
y =
43
Ejercicio 26
( )( ) 4 7 16 3 x iy i i + + = +

17
: ,
13
R x =
20
13
y =
En los ejercicios 25 al 27 comprobar que el nmero complejo dado satisface la ecuacin dada.
Ejercicio 27
1 2 ; i +
2
2 5 0 x x + =
Ejercicio 28
3 2 ; i + ( ) ( )
2
7 3 10 11 0 x i x i + + + =
Ejercicio 29
4 ; i + ( ) ( )
2
7 3 10 11 0 x i x i + + + =
En los ejercicios 28 al 30 utilcese la notacin (a, b), para realizar las operaciones indicadas.
Ejercicio 30
( ) ( ) 6, 2 1, 4 + = ( ) 7, 6 R =
Ejercicio 31
( ) ( ) 6,1 3, 2 = ( ) 16,15 R =
Ejercicio 32
= ) 1 , 1 /( ) 2 , 3 (
5 1
,
2 2
R
| |
=
|
\ .

1.5. Ejercicios suplementarios Unidad 1
Ejercicio 1
2
1 1 10
:
2 5 3

| |
=
|
\ .

10
3
R =
Ejercicio 2
3 1 1 3
5 25 5 5
| |
+ =
|
\ .
1 R =
44
Ejercicio 3
1 1 7
:
2 5 40
| |
+ =
|
\ .
2 R =
Ejercicio 4
2
4 16 1
9 25 225
| |
+ =
|
|
\ .

49
25
R =
Ejercicio 5
4 2
15
25 9
| |
+ =
|
|
\ .
4 R =
Ejercicio 6
2 2
1 1
1
2 3

| | | |
+ =
| |
\ . \ .

2 R =
Ejercicio 7
2 2
1 1 13 3 2 1
:
3 2 6 5 5 4
( | | | |
+ + + =
| | (
\ . \ .
5 R =
Ejercicio 8
1
3 2 3
: 1
2 7 17

| | | |
=
| |
\ . \ .
1 R =
Ejercicio 9
3 3 19 2
4 2 25 5
+ =

9
10
R =
45
Ejercicio 10
( )
2 1
2
6 1 1 1 1
3 2
3 2 5 2 2

| | | | | | | |
+ + + =
| | | |
\ . \ . \ . \ .
14 R =
Ejercicio 11
Grafique los siguientes nmeros sobre una recta y ordnelos de menor a mayor:
4 0 2 3 2 6
; 2; ; ; ; ; .
5 3 3 4 7 7

Ejercicio 12
Escriba:
a. 3 nmeros racionales comprendidos entre
3
5
y
4
5

b. 4 nmeros racionales comprendidos entre
1
3
y
3
4

c. 5 nmeros racionales comprendidos entre
1
5
y
5
6

Ayuda: es conveniente reducir primero a comn denominador.
Ejercicio 13
Realizar cada una de las siguientes operaciones:
a. ( ) ( ) 4 3 2 8 i i + 4 R i =
b. ( ) ( ) 3 1 4 2 7 i i + 17 14 R i = +
c. ( )( ) 3 2 2 i i + 8 R i = +
d. ( ) ( ) ( ) 2 2 1 3 1 i i i + (

9 7 R i = +
e.
2 3
4
i
i

11 10
17 17
R i =
f. ( )( )( ) 4 3 2 1 i i i + + 21 R i = +
g.
( )( )( )
( )
2
1
2 1 2 3 2
i
i i i

+ +

15
5
2
R i = +
h. ( )
2 4 2
2 1
1 1
i
i
i i
| |
+
|
+
\ .

11 23
2 2
R i =
i.
4 9 16
5 10 15
2
i i i
i i i
+ +
+
2 R i = +
j.
( )
( )
( )
( )
2 3
2 3
1 1
3 2
1 1
i i
i i
+

+
3 2 R i =