Lógica Proposicional

Walter Orlando Gonzales Caicedo
MATEMTICA
Gonzales Caicedo
Walter Orlando
www.goncaiwo.wordpress.com
INTRODUCCIN
El presente modulo est elaborado para el desarrollo del curso de Matemtica.
Su finalidad es servir como primera referencia a los estudiantes que se preparan para
la vida profesional y que en el primer ciclo de las diferentes carreras profesionales
llevan el curso de Matemtica Bsica.
En la temtica se han abordado los temas, como son: Lgica proposicional, relaciones
y funciones.
A lo largo de la historia ha sido una preocupacin de los matemticos, o de los
encargados de llevar registros y cuentas, resolver situaciones que implican conocer
una o ms incgnitas. Existen referencias a mtodos de resolucin desde los aos 200
a.c en la China, sin embargo, la teora tal como la conocemos actualmente ha surgido
muy posteriormente consolidndose en los siglos XVIII, XIX y XX.
Esperamos este material se enriquezca permanentemente con el aporte de los

estudiantes y docentes.
LGICA PROPOSICIONAL
LGICA PROPOSICIONAL
DEFINICIONES BSICAS DE LA LGICA PROPOSICIONAL
1.1 Enunciados y Valor de Verdad
La lgica es la rama del conocimiento que trata los modelos de razonamiento,
mediante reglas y tcnicas, con el fin de determinar si un argumento dado es vlido. El
tema que nos ocupa es el de la lgica usada en matemticas. Aqu trabajamos con
elementos bsicos llamados Proposiciones.
1.1.1. Enunciado: Es toda expresin lingstica, que constituye una frase u oracin.
1.1.2. Proposicin: Enunciado que puede ser falso o verdadero pero no ambas a la
vez. La proposicin es un elemento fundamental de la lgica matemtica. La
verdad o falsedad de una proposicin es lo que se llama su valor de verdad.
Ejemplos:
Son proposiciones lgicas:
a) Las frmulas cientficas ya demostradas. As como:
(a b)2 a 2 2ab b 2 ; a, b
R
b) Las leyes o hiptesis cientficas aceptadas. As como:
Todo cuerpo ejerce una fuerza de atraccin sobre otro
c) Los enunciados cerrados o definidos. As como:
+ + = 180; si , y = s internos de un mismo tringulo.
x + y = 50; si x = 10, y = 30
No son proposiciones lgicas:
a) Las creencias, mitos o leyendas. As como:
Dios es un ser misericordioso
Manco Cpac y Mama Ocllo fueron enviados por el sol
b) Las metforas o refranes. As como:
El Per es un mendigo sentado en un banco de oro
Has el bien, sin mirar a quin
c) Las supersticiones. As como:
Hoy da me ir muy mal por ser Martes 13
Pase por debajo de una escalera
1.1.3. Clases de Proposiciones
1.1.3.1. Proposiciones Simples o Atmicas o no Estructurales: Carecen de
conector lgico, y pueden ser:
A. Predicativas: Cuando se le atribuye alguna cualidad al sujeto (utiliza el
verbo SER en cualquiera de sus tiempos).
Ejemplos:
Chiclayo es una provincia calurosa.
Freud tena inclinacin por la matemtica.
B. Relacionales: Cuando se compara un sujeto con otro mediante una relacin
que puede ser de orden, tiempo, espacio, parentesco, accin, etc.

Ejemplos:
La seleccin peruana de futbol jug un partido intenso con su similar de
Brasil.
Relacin de accin.
Vallejo con Maritegui fueron contemporneos.
Relacin de tiempo.
1.1.3.2. Proposiciones Compuestas o Moleculares (Coligativas): Se caracterizan
principalmente porque poseen conectores lgicos.
Ejemplos:
Lima est al sur de Chiclayo o al norte de Ica.
Los restos del Seor de Sipn fueron descubiertos por el arquelogo Marco
1.1.4. Valor de Verdad: A la verdad (V) o a la falsedad (F) de una proposicin se le
llama valor de verdad y se denota por:
V (p) = V; V (p) = F
Ejemplos:
p: ( x R) (x2 + 1 = 0); se tiene que: V (p) = F
q: Cero es un nmero real; se tiene que: V (q) = V
ACTIVIDADES DE SISTEMATIZACIN
1. Indica si las siguientes expresiones, son enunciados, proposiciones simples
o proposiciones compuestas.
1. La guerra y la paz.
2. 17 x = 2x + 75
3. x > y 9
4. Chimbote est entre Trujillo y Casma.
5. El hombre es un ser racional.
6. Cualquier canario es ovparo.
7. Steffany estudia en Universidad Seor de Sipn.
8. Francisco Bolognesi muri en Arica.
9. Celeste trabaja en Lambayeque.
10. Juan Carlos es italiano.
2. Indica si las siguientes expresiones son proposiciones compuestas. Explique.
Por qu?
1.
2.
3.
4.
La tierra es el planeta azul sin embargo el sol es un astro que tiene luz propia.
Los dragones tenan respiracin branquial.
Si en el planeta Marte hay atmsfera, entonces la lluvia es oscura.
La crisis mundial es un fenmeno econmico sin embargo es controlable si todos
los pases desarrollados apoyan a los de economas dbiles.
5. Blanca Nieve amo a sus siete enanos.
3. Indica el valor de verdad de las siguientes proposiciones
1. Ama a tu prjimo como a ti mismo.
2. Extensa selva clida.
3. Existe al menos un habitante en la luna.

4. 300 +250 = 750
5. No es cierto que el Amazonas es un ro.
ACTIVIDADES DE EVALUACIN
1. Indica si las siguientes expresiones, son enunciados, proposiciones simples
o proposiciones compuestas.
1. Hay reptiles que son carnvoros.
2. Muchos deportistas son peruanos y bolivianos.
3. La inflacin peruana en el 2009 ser menor a 4%.
4. Es probable que la suma de dos nmeros sea menor a 20.
5. Es posible que la seleccin clasifique al mundial 2010.
6. Mancora es una playa nortea que tiene bastante acogida por los turistas
nacionales.
7. El oro es un metal slido cuyo smbolo segn la tabla peridica es Ag.
8. El pasaje urbano cuesta 1,20 soles a pesar que la gasolina ha bajado su precio.
9. Alejandro Toledo fue el presidente del Per.
10. Cristbal Coln descubri el continente Americano y fue de nacionalidad
italiana.
2. Indica si las siguientes expresiones son proposiciones compuestas. Explique.
Por qu?
1. Chocano fue un poeta espaol sin embargo vivi en Cajamarca.
2. El bosque de Pmac es uno de los ms importantes de Piura sin embargo Huaca
Rajada es reconocido a nivel internacional.
3. El nmero 16 es divisible por 4 si y solo si tiene raz cuadrada.
4. Chiclayo es una ciudad calurosa y acogedora.
5. Ana y Bruno estudian msica en el Conservatorio.
3. Indica el valor de verdad de las siguientes proposiciones
1. Ningn Diplomtico es extremista.
2. El oro es maleable sin embargo el acero es inoxidable.
3. Ama a tu prjimo como a ti mismo.
4. No es cierto que el Amazonas es un ro.
5. El creador de la Relatividad fue americano.
SIMBOLIZACIN Y VALORACIN DE PROPOSICIONES

2.1. Notacin Proposicional
Segn los datos histricos, Aristteles introdujo las letras como: p, q, r, etc., con
la finalidad de representar a cada proposicin declarativa. Las variables
proposicionales slo pueden asumir los valores de verdad (V) o falsedad (F).
As tenemos:
Para dos proposiciones: p, q se tiene la siguiente tabla de verdad:

p
V
V
F
F
q ..
V
F
V
F
p
1
1
0
0
q
1
0
1
0
..
2.2. Conectivos Lgicos

Se denominan conectivos lgicos a aquellas palabras o trminos funcionales que
ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones
compuestas. Los operadores o conectores bsicos son:
CONECTIVO
No
Y
o
o. . . o. . .
Si entonces...
si y slo si
SMBOLO NOMBRE DE LA PROPOSICIN

~
Negacin
^
Conjuncin
Disyuntiva inclusiva
Disyuntiva exclusiva
Condicional
Bicondicional
2.2.1. Negacin (~): Es un conectivo singular. Se denomina proposicin negativa

aquella que cambia el valor de la proposicin original. Se denota por: ~p, -p, p
y se lee: no p. Existen dos tipos de negadores:
La negacin, puede traducirse como:
No es cierto que ...
Es falso que...
Nunca ...
No ocurre que...
Es mentira que ...
No es el caso que
Es refutable que
Nadie que sea ...

No es el caso que ...
No es verdad que
Es absurdo que
No acaece que...
Es inadmisible que
Es falaz que
Jams ...
Es inconcebible que...
Es imposible que ...
Es errneo que ...
De ningn modo
Es incierto que
En modo alguno
Ejemplos:
p : La luna es de queso.
~p : La luna no es de queso.
Su tabla de verdad es como sigue:
p
V
F
~p
F
V
2.2.2. Conjuncin: Dadas las proposiciones p, q. La conjuncin es el resultado de

unir estas proposiciones con el conectivo lgico y. Se denota con el smbolo:
, , se escribe p q, p q y se lee: p y q. La proposicin conjuntiva es

verdadera. Cuando las dos proposiciones son verdaderas. En nuestro lenguaje
podemos emplear:
Pero
Sin embargo
Adems
A la vez
Incluso
As como
Del mismo modo
An cuando
Al igual que
Tanto . como .
Siempre ambos. con..
No slo.sino tambin.
A pesar de
.con . los dos a la vez
No obstante
Aunque
Ms an
Tambin
Es compatible con
As mismo
De la misma forma que
Ejemplo:
Consideremos las siguientes proposiciones:
p: La camioneta enciende cuando tiene gasolina en el tanque
q: Tiene corriente la batera
De tal manera que la representacin del enunciado anterior usando simbologa
lgica queda indicado por:
p
q: La camioneta enciende cuando tiene gasolina en el tanque y tiene
corriente la batera
p q p q
V V
V
V F
F
F V
F
F F
F
2.2.3. Disyuncin: Es una proposicin compuesta formada por p y por q
relacionadas por el conectivo lgico o. Segn el sentido del conectivo o, se
puede interpretar de dos maneras: inclusiva o exclusiva.
2.2.3.1. Disyuncin Inclusiva o Dbil: Se denota por p q, p + q y se lee: p o
q. La disyuncin inclusiva es falsa slo en el caso que ambas proporciones
sean falsas. Se conoce como la suma lgica. Otras formas de conexin que
nos indican una disyuncin inclusiva son:
A menos que
Excepto que
Salvo que
A no ser que
Y bien o tambin
O sino
O en todo caso
O tambin
O incluso
O bien
Al menos uno de los dos . o .
Alternativamente
Ejemplo: Consideremos:
p: La Universidad Seor de Sipn es privada

q: La Universidad Seor de Sipn es estatal
De tal manera que la representacin del enunciado anterior usando
simbologa lgica queda indicado por:
p
q: La Universidad Seor de Sipn es privada o en todo caso la
Universidad Seor de Sipn es estatal
p
V
V
F
F
q
V
F
V
F
q
V
V
V
F
2.2.3.2. Disyuncin Exclusiva o Fuerte: Se denota por: p q, p V q, p q, p

q, p q y se lee: p o q pero no ambos. La disyuncin exclusiva es
verdadera slo cuando una de las proposiciones es verdadera. Alguna formas
de conectivos a emplear son:
O ... o ...
O bien ... o bien ...
No es equivalente ... con ...
....a menos que solamente...
....excepto que slo....
....o exclusivamente....
....no es lo mismo que...
... no equivale a ...

No es cierto que...equivale a...
O solo .... o solo ....
...salvo que nicamente...
....o bien necesariamente....
....no es idntico a....
Salvo que .... o ....
p: viajo a Espaa
q: viajo a Brasil
De tal manera que la representacin del enunciado anterior usando
simbologa lgica queda indicado por:
p
q: O viajo a Espaa o viajo a Brasil
Por lo tanto su tabla de verdad es:

p
V
V
F
F
q
V
F
V
F
p q
F
V
V
F
2.2.4. Condicional: Proposicin compuesta que resulta de la combinacin de dos

proposiciones simples, a travs del conectivo: Si ..., entonces ... y su smbolo
es : , . La notacin p q, p q se lee Si p , entonces q ; proposicin
p se llama antecedente o hiptesis y la proposicin q se llama consecuente o

conclusin. La manera de expresar la condicional en el orden antecedenteconsecuente (p q Implicacin directa), son las siguientes:
Si p, entonces q
Siempre que p entonces q
p es suficiente para q
p implica q
Ya que p bien se ve que q
En cuanto p por tanto q
p por tanto q
p por consiguiente q
p por ende q
p por conclusin q
Dado que p por eso q
Porque p por eso q
Puede tambin expresarse en el orden consecuente-antecedente (q

Implicacin inversa), son:
q si p
q siempre que p
q es necesario para p
Slo si p, q
q dado que p
q a condicin de que p
q supone que p
q es implicada para p
q cada vez que p
q en vista que p
Slo cuando p, q
q ya que p
q dado que p
q sigue de p
q de modo que p
q puesto que p
q porque p
Solamente porque p, q
q cada vez que p
q se concluye de p
nicamente si p, q
Ejemplo: consideremos:
p: Llueva
q: Mejorarn las cosechas
p
q: Siempre que llueva entonces mejoraran las cosechas
p: Mejoraran las cosechas siempre que llueva
Su tabla de verdad queda de la siguiente manera:

p q
V V
V F
F V
F F
q
V
F
V
V
2.2.5. Bicondicional: Cuando dos proposiciones estn unidas por el conectivo lgico
... si y slo si ..., cuyo smbolo es: , , . La proposicin compuesta se
denota por: p
q, p
q, p q y se lee: p si y slo si q. La proposicin
bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas
verdaderas.

Tambin se suele emplear expresiones como:
siempre y cuando
es equivalente a
es lo mismo que
cuando y slo cuando
Si y slo si p, q
siempre que y slo cuando
es idntico a
Es suficiente para que suficiente sea

Es condicin necesaria y suficiente para
por lo cual y segn lo cual
cada vez que y slo si
si de la forma
implica y est implicado por
Siempre que y siempre que
p: Los cuerpos chocan
q: Existe una fuerza que los atrae
p
q: Los cuerpos chocan porque y solo porque existe una fuerza que los
atrae.
Su tabla de verdad queda de la siguiente manera:
p
V
V
F
F
q p
q
V
V
F
F
V
F
F
V
2.3. Valoracin de las Proposiciones

Hasta el momento hemos conocido la simbolizacin de las proposiciones tanto
atmicas como las proposiciones moleculares. Para determinar los valores de verdad a
las segundas, es necesario tener en cuenta las tablas de verdad de las proposiciones
atmicas ya que, slo ellas pueden recibir directamente los valores de verdad.
Considere los siguientes ejemplos:
a) Si los resultados se dirigen a la impresora, entonces el nmero N es par o la
salida va a la pantalla.
Tenemos las proposiciones:
p: Los resultados se dirigen a la impresora
q: El nmero N es par
r: La salida va a la pantalla
Se simboliza:
p (q r)
Luego: como se puede observar se tiene 3 proposiciones simples, es decir que
para este caso se tiene: 2 3 = 8 asignaciones posibles para los valores de verdad
en total.
10

La tabla de verdad para el esquema molecular, esta dado por:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p
V
V
V
V
F
F
F
F
(q
V
V
V
F
V
V
V
V
r)
V
V
V
F
V
V
V
F
(1) (3)
(2)
Se observa que en la columna (1) se tienen los valores de la proposicin p, en

la columna (2) los valores de la disyuncin inclusiva y en la columna (3) el
resultado del esquema molecular inicial
b) Siempre que salga el sol entonces iremos a la playa, sin embargo sale el sol.
Por tanto iremos a la playa.
p: Sale el sol
q: Iremos a la playa
Se simboliza:
(p
q)

p
V
V
F
F
V
F
V
F
(p
q)
V
F
V
V
VV
FV
FF
FF
VV
VF
VV
VF
c) La crisis mundial afecta a los pases de bajos recursos econmicos pero los
analistas en economa buscan soluciones, a pesar de que la crisis mundial no
afecta a los pases de bajos recursos.
p: La crisis mundial afecta a los pases de bajos recursos econmicos
q: Los analistas en economa buscan soluciones
p: La crisis mundial no afecta a los pases de bajos recursos
econmicos
Se simboliza:
(p q)
p
11

p
V
V
F
F
q
V
F
V
F
(p
q)
V
F
F
F
F
F
F
F
p
F
F
V
V
Como podemos apreciar las proposiciones, las expresamos en forma simblica; a

su vez que podemos encontrar sus valores de verdad. Con el fin de diferenciar los
valores resultados de las expresiones, se definen los siguientes conceptos:
2.4.1. Tautologa: Una expresin es tautolgica, cuando los valores de su conectivo
principal resultan ser verdaderos, para todas las asignaciones posibles de la
tabla de verdad. Ver ejemplo (b).
2.4.2. Contradiccin: La expresin resulta ser una contradiccin, cuando los valores
de su conectivo principal resultan ser falsos, para todas las asignaciones
posibles de la tabla de verdad. Ver ejemplo (c).
2.4.3. Contingencia: Aquella expresin, que en su conectivo principal resulten valores
verdaderos y falsos a la vez, para todas las posibles asignaciones de la tabla de
verdad. Ver ejemplo (a).
1. Determinar el valor de verdad de las siguientes proposiciones:
1.
2.
Los restos del Seor de Sipn fueron descubiertos en 1989 sin embargo su
museo de sitio fue inaugurado en febrero del 2009.
3.
4.
5.
Miguel Grau naci en Piura, no obstante es chileno.

3/7 es un nmero par o impar.
Cajamarca es una ciudad minera por excelencia de modo que invertir en
minera es la mejor opcin.
6. O estudias o trabajas.
7. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no
tengo que ir a trabajar.
8. La produccin de mango es buena, me hare millonario. Si me hago millonario,
dormir plcidamente.
9. La suma de dos nmeros impares es igual a otro nmero impar no es lo mismo
decir que la suma de dos nmeros pares es otro nmero impar.
10. Per as como Ecuador son pases demcratas.
2. Escribe en forma simblica, identificando cada una de las proposiciones
atmicas que aparezca en las afirmaciones siguientes:
1.
2.
3.
Si Anabel esta en el cine, entonces Raquel debe estar en el cine tambin.

El asaltante se escap en un carro rojo o azul.
Los resultados del anlisis mdico no son buenos.
12

4.
5.
6.
7.
8.
9.
10.
Estars a tiempo slo si te da prisa.

l vendr si tiene tiempo.
Si ella estaba all, entonces debi haberlo odo.
Es un da agradable si est soleado, pero slo si no hace calor.
Mara es alta, pero Jaime es pequeo y gil.
Si x es mayor que y, y es mayor que z, entonces x es mayor que z.
Si no pago la luz, entonces me cortarn la corriente elctrica. Y Si pago la luz,
entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y
pido prestado, entonces no podr pagar la deuda, si solo si soy desorganizado.
3. Formaliza cada una de las siguientes proposiciones, luego construye su tabla

de verdad.
1.
Estudiar y trabajar es condicin suficiente para ser responsable y admirado por

aquellos que nos saben valorar.
2. Ellos son actores, a menos que cantores. Si Paola canta, Liz baila y Marcelo
recita.
3. La computadora es compatible con la impresora as como con el programa;
entonces, el precio de venta es cmodo o financiable.
4. O bien el SIDA afecta a las defensas del cuerpo o bien afecta al corazn; pero
no es el caso que afecte al corazn del mismo modo al sistema nervioso.
5. Slo si los gusanos son invertebrados, las araas tambin lo son; a no ser que,
los peces son vertebrados al igual que los batracios.
6. Es falso que sea indisciplinado y ocioso, porque estudio en la Universidad, pero
soy ocioso; en consecuencia nunca ser profesional.
7. Es suficiente que sea necesaria la matemtica para la fsica, para que el
avance cientfico no quede estancado.
8. Es falso que si se administra teniendo en cuenta los principios directrices un
negocio entonces este tiene muchas posibilidades de crecer en el futuro.
9. Si un hombre es honrado, no tiene problemas personales. Este hombre no
tiene problemas. En consecuencia, es honrado pero no tiene dinero y esto lo
hace podre.
10. Es falso que si Vallejo es poeta, entonces Arguedas lo es tambin.
11. Sin excepcin se da que, la suma de los ngulos internos de un tringulo es
180 es equivalente a la suma de los ngulos internos de un cuadriltero
regular.
12. El abogado no es justo ni competente, a condicin de que es falso que no
haya consultado con los peritos sobre la cotizacin del inmueble embargado.
13. Cuando la produccin de una empresa aumenta, en consecuencia aumenta la
productividad y en algunos casos la demanda.
14. Es inobjetable que, una condicin suficiente para que los pases europeos
tengan baja inflacin por lo tanto estabilidad econmica, es que sus gobiernos
tienen programas estratgicos de crecimiento as como modelos econmicos.
15. Subirn los intereses bancarios porque subir la cotizacin del dlar, en vista
de que, subir la cotizacin del dlar solo si el gobierno no puede controlar la
inflacin.
4. Construye la tabla de verdad para cada una de los siguientes esquemas
moleculares, y determina si es: tautologa, contradiccin o contingencia.
13

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
(p q)
(p q)
(p
q) (q
p)
p
(q
r)
q (p
r)
(p q)
p
q) ( p r)
( r
q)
r
(p q)
( p
q)
q (r s)
(p q) (p
q)
(p q)
(q p)
~[~(p q)
~ q] p
[(p
q) ~ p] (~ q
p)
[(p q) (p ~ q)] (~ p ~q)
5. A continuacin se presenta una serie de ejercicios en la cual se especifica lo

siguiente:
1. Si p es una proposicin falsa, determinar el valor de verdad de:
(p
r) r
( q p)
(p q)
2. Si (p
s)
(r
s)
(q s) es Falsa. Determine los valores de verdad
de:
a) p
q
b) r s
c) r
s
d) (p
q)
r
3. Si (p
( s
q))
(r
q) es verdadera. Determine los valores de verdad
de:
a) (r p)
(q s)
b) r s
c) r
q
4. Se define la siguiente operacin p * q = q
p, hallar la diferencia entre el
nmero de V y el nmero de F de la matriz principal de: [ (p * r)
(r * p)]
5. Determinar el valor de verdad de la proposicin molecular [(p q)
p]
(r
p) sabiendo que p es verdadera, q y r falsas. Hallar su valor de verdad.
6. Si la proposicin (p
q) ( r
s) es falsa, deduzca el valor de verdad de los
esquemas moleculares:
a) ( p
q)
p
b) (p
q)
[(p q)
q]
c) ( r q)
[( q r) s]
7. Si p y r son dos proposiciones cualesquiera y q: 2 es nmero impar, y [(r q)
(r
p)] es verdadera entonces el valor de verdad de los siguientes esquemas
moleculares es:
a) r
( p
q)
b) [r
(p q)]
(q
p)
1. Determinar el valor de verdad de las siguientes proposiciones:
14

1.
Dado que la luna es un satlite por lo cual gira alrededor de la tierra.
2.
Per y Ecuador se pondrn de acuerdo salvo que intervenga EE.UU.
3.
Las aves poseen pico excepto que tambin alas, pero no ocurre que sean
animales acuticos.
4.
Eres campen o subcampen.
5.
Este ao viajar al extranjero salvo que slo viaje a Lima.
6.
A menos que solamente seas Ingeniero, sers matemtico.
7.
Un numero es positivo si y slo si es mayor que cero
8.
Barack Obama es el primer presidente de raza negra de los Estados Unidos es

suficiente para que sea admirado por todo el mundo.
9.
El 18 de abril celebraremos el aniversario de Chiclayo o la cada del muro de

Berln.
2. Escribe en forma simblica, identificando cada una de las proposiciones

atmicas que aparezca en las afirmaciones siguientes:
1.
Esta fiesta es muy divertida y la msica es muy buena, por lo cual y segn lo
cual todos la pasaron de maravilla.
2. No es cierto que no me guste bailar.
3. Me gusta bailar y leer libros de ciencia ficcin, ms an si la msica es
merengue a no ser que no baile.
4. Alberto es feliz si y slo si es rico.
5. Si la liebre est alerta y es rpida, ni el zorro ni el lince podrn atraparla.
6. Si no estoy equivocado, ella conduca un carro rojo, y haba un hombre sentado
a su lado.
7. Podemos o bien tratar de obtener la aprobacin del prstamo y comprar la casa
o bien esperar a ver si llegamos a un mejor acuerdo.
8. Si no te vas, llamar a la polica.
9. Dos nios tienen los mismos si y slo si tienen la misma madre y el mismo
padre.
3. Construye la tabla de verdad para cada una de los siguientes esquemas
moleculares, y determina si es: tautologa, contradiccin o contingencia.
[~(p
2.
[p
3.
[~(p
4.
(p
r)
5.
[q
6.
7.
8.
~(~p ~q)
~(~p ~q)
[~p (~q r)]
(q
r)
9.
[(p
(p
q)
10. (p
q)
(q
~r]
(~p
1.
r)]
q)
~r]
(~q
(r
q)
q)
~(p
(~p
q)
(q
~r
(r s)
~p)
(r
~s)
s)
~p)]
r]
q)
q)]
(q
(p
~s)
(p
r)
r
~q)
(~p
~q)
15
EQUIVALENCIAS E
IMPLICACIONES NOTABLES
Ejemplos:
a) Consideremos las proposiciones atmicas:
p: El trabajo de lgico matemtica est bien escrito
q: El trabajo de lgico matemtica est bien documentado
Tenemos:
El trabajo de lgico matemtica est bien escrito y bien documentado.
Su esquema molecular es: (p
q)
El trabajo de lgico matemtica est bien documentado y bien escrito.

Su esquema molecular es: (q
p)
Los dos esquemas moleculares anteriores son lgicamente equivalentes, es decir:

(p
q)
(q
p)
Los dos esquemas moleculares anteriores son lgicamente equivalentes, es decir:

( p
q)
(q
p)
Demostrar los resultados obtenidos en las tablas de verdad.

Qu puedes afirmar de esas comparaciones? Se podra decir que son iguales?, o
De qu otra manera puedes expresarlas?
De lo hallado y observado en las tablas de verdad, afirmamos:
3.1. Definicin de Equivalencia Lgica
Decimos que dos expresiones lgicas son equivalentes si y slo si tienen siempre
los mismos valores de verdad. Es decir, A es lgicamente equivalente a B, si la
compuesta A
B es una tautologa.
La equivalencia, la simbolizamos por o tambin por
Ejemplos:
a) Demostrar si los siguientes esquemas moleculares son equivalentes, es decir:
p
Solucin:
Tenemos:
p q
V V
V F
q
V
F
p
V
V
q
V
F
16

F
F
V
F
V
V
V
V
V
V
Por tanto se observa que los dos esquemas son equivalentes, es decir: p
q
b) Demostrar si los siguientes esquemas moleculares son equivalentes, es decir:

p
q
(p q)
Solucin:
Tenemos:
p q
V V
V F
F V
F F
(p
V
V
V
V
F
F
F
V
F
F
F
V
q)
V
V
V
F
Por tanto se observa que los dos esquemas son equivalentes, es decir: p
q
(p q)
Mediante stas tablas de verdad, comprobamos que en la equivalencia de
esquemas moleculares proposicionales, podemos emplear la Bicondicional tautolgica.
Para mayor comodidad utilizaremos el smbolo:
3.2. Leyes de la Equivalencia Lgica
Estas leyes tienen como conectivo principal una bicondicional lo cual nos indica
que los enunciados enlazados son lgicamente equivalentes. Las leyes de
equivalencia ms conocidas son:
3.2.1. Ley de la Doble Negacin:
p p
3.2.2. Ley de Idempotencia de la Conjuncin y la Disyuncin:
p
3.2.3. Leyes Conmutativas:
(p
q)
(q
r)
(p
q)
(q
r)
3.2.4. Leyes Asociativas:
17

(p
q)
(q
r)
3.2.5. Leyes Distributivas:

p
(q
r)
(p
q)
(p
r)
(q
r)
(p
q)
(p
r)
(q
r)
(p
q)
(p
r)
(q
r)
(p
q)
(p
r)
3.2.6. Leyes de Identidad:
3.2.7. Leyes de D`Morgan:

(p
q)
( p
q)
(p
q)
( p
q)
3.2.8. Leyes de la Absorcin:

p
(p
q)
( p
q)
(p
q)
p ( p
q)
p q
3.2.9. Leyes del Condicional:

p
(p
q)
3.2.10. Leyes del Bicondicional:

p
(p
q)
(q
(p
q)
( p
p)
q)
(p
q)
3.2.11. Leyes de Contraposicin:

p
(p
q)
3.2.12. Leyes de Exportacin:

p
(q
r)
18

3.2.13. Ley del Tercio Excluido:
p
3.2.14. Ley de la Contradiccin:
3.2.15. Reduccin al Absurdo:

p
q (p
q)
F
3.3. Observacin:
Estas leyes pueden ser empleadas para verificar la equivalencia entre esquemas
moleculares o tambin para simplificar un esquema molecular relativamente complejo
a uno ms pequeo o reducido. Y para simplificar es necesario transformar los
conectivos a disyuncin o conjuncin, ya que se hace ms fcil trabajar.
Ejemplos:
a) Simplificar: (p
q) ( q p)] p
Tenemos:
( p q) ( q p)] p
( p
q) ( q p)] p
{p
q ( q p)
p
(p
q) p
p (p
q)
p
Luego:
(p
q)
( q
p)]
b) Simplificar el esquema: (p
Condicional
Morgan
Doble negacin
Absorcin
Conmutativa
Absorcin
p
q)
( p
q)
Tenemos:
(p q) ( p
q)] ( p q)
(p q)
( p
q)] (p q)
( p
q) ( p
q)] (p q)
( p
q) (p q)] (p q)
(p q) (p q) ( p
q)
(p q)
Por lo tanto: (p
q) ( p q) (p q)
Bicondicional y condicional
Morgan
Morgan
Doble negacin
Conmutativa
Absorcin
3.4. Implicaciones Notables

Determina las conclusiones correctas de las proposiciones siguientes:
a) Como Barack
Obama tiene descendencia Keniana es evidente que es
afroamericano. Barack Obama tiene descendencia Keniana. Por lo tanto:
19

b) Salvo que no diga la verdad, soy honesto. Ms si fuese el caso que dej de ser
honesto.
Concluiramos:
.
c) Si Gilberto es cantante, es autor. Al ser autor es obvio que siempre est feliz. En
consecuencia:
..
d) La UNPRG brinda sus servicios de formacin acadmica a no ser que se considera
una de las mejor del norte del pas. La UNPRG apertura una nueva carrera si se
considera una de las mejor del norte del pas. La UNPRG no apertura una nueva
carrera. En conclusin:
......................................................................................................
.....
e) Si Dios existe, no es cierto que el mal exista. Pero existe el mal en el mundo. Luego:
Analicemos el ejemplo (e), es decir:

Si Dios existe, no es cierto que el mal exista en el mundo. Pero existe el mal en el
mundo. Luego: Dios no existe
Simbolizando las proposiciones atmicas:
p : Dios existe
q : Existe el mal en el mundo
q: No es cierto que el mal exista en el mundo
p: Dios no existe
Tenemos:
El esquema molecular, sin la conclusin, est dado por: (p
q) q
Y, tomando en cuenta la conclusin el esquema quedar de la siguiente manera:
(p
q) q]
p
Entonces afirmamos, que sta condicional es una implicacin.
Al determinar sus valores de verdad encontramos que la implicacin resulta ser
una tautologa.
Es decir:
p q
(p
q) q]
p
V
V V
F
F
F
V
V F
V
F
F
V
F V
V
V
V
V
F F
V
F
V
En consecuencia: El smbolo significa implicacin. Dada una estructura

lgica, de la cual se obtiene una conclusin lgica; se dice que la condicional es una
implicacin siempre que sea una tautologa.
La implicacin lgica se puede expresar de dos formas: horizontal y vertical.
20

3.4.1. Forma Horizontal: Cuando la conjuncin de premisas que implican la conclusin
se escribe en forma horizontal en forma explcita usando los conectivos lgicos:
. Se tiene:
p
...
3.4.2. Forma Vertical:Es tambin la forma clsica. En este caso no se escriben en

forma explcita los conectivos lgicos ; . La conjuncin de las premisas se
escriben verticalmente una despus de otra y al trmino de la ltima premisas se
dibuja una raya horizontal y luego y a continuacin la conclusin. Se escribe:
p
p
.
.
.
p
___
q
Realmente el camino que se debe seguir para llevar a cabo una demostracin
formal usando el mtodo directo. Significa que s se sabe que p es verdadera, p es
1
verdadera,... y p tambin es verdadera, entonces se sabe que q es verdadera.

m
Donde las p son llamadas hiptesis o premisas, y q es llamada conclusin.

m
Demostrar el teorema, es demostrar que la implicacin es una tautologa. Note que

no estamos tratando de demostrar que q (la conclusin) es verdadera, sino
solamente que q es verdadera si todas las p son verdaderas.
m
Toda demostracin debe comenzar con las hiptesis, seguidas de las tautologas
y reglas de inferencia necesarias, hasta llegar a la conclusin.
Para probar la validez e invalidez de los argumentos se hace atreves de las
tablas de verdad o empleando en mtodo abreviado que consiste en suponer la
conjuncin de premisas verdaderas y la conclusin falsa.
Ejemplo:
Probar si el siguiente argumento es vlido: ~p
(p q)
Demostracin:
Tenemos:
~p
(p q)
V
Es decir:
q es falso, V(q) = F
~p
q
F
(p q) = V, entonces: ~p es verdadera y (p q) es verdadera por definicin
de la conjuncin.
Si ~p es verdadera, entonces p es falsa por la ley de la negacin, V(p) = F
Como: (p q) = V
V(p) = F y V(q) = F al reemplazar estor valores en (p q) = V se llega a una
contradiccin y por esta razn se dice que el argumento es vlido.
21

Tambin podemos hacerlo mediante la tabla de verdad y verificando que su
resultado es una tautologa, lo dejamos como tarea al alumno.
3.5. Leyes de Implicacin
Son aquellas proposiciones compuestas donde un antecedente implica
tautolgicamente a un consecuente. Leyes de las implicaciones lgicas ms comunes
son:
3.6.1. Ley modus Ponendo Ponens: Se presenta de las formas siguientes:
p
o tambin:
(p
q)
p
_______
q
Si se afirma el antecedente de una premisa condicional se concluye en la
afirmacin del consecuente.
Ejemplo:
Si en verano hay concurrencia a las playas, entonces hay equipo de salvavidas.
En verano hay concurrencia a las playas. Luego: Hay equipo de salvavidas.
3.6.2. Ley Modus Tollendo Tollens: Se representa por:
p
o tambin:
(p
q)
~q
~p
~q
_______
~p
Si se niega el consecuente de una premisa condicional, se concluye en la
negacin del antecedente.
Ejemplo:
T eres un excelente administrador si trabajas como gerente en el Banco
Continental. T no eres un excelente administrador. Por lo tanto: No es cierto que
trabajes como gerente en el Banco Continental.
3.6.3. Ley del Silogismo Disyuntivo: Se representa por:
p
o tambin:
(p
q)
~p
~p
_______
q
Si se niega uno de los miembros de una premisa disyuntiva, se concluye en la
formacin de la otra premisa.
Ejemplo:
La USS se encuentra ubicada en el norte del Per o en todo caso al sur de Chile.
La USS no se encuentra al sur de Chile .Por lo tanto: La USS se encuentra ubicada
en el norte del Per.
3.6.4. Ley del Silogismo Hipottico: Se representa por:
p
o tambin:
(p
q)
(q
r)
q
r
_________
22

p
Si p
q es verdadero y q r es verdadera, entonces p r es verdadero. Esta
ley indica que el condicional es transitivo.
Ejemplo:
La crisis financiera mundial est afectando las economas de los pases
industrializados es suficiente para que haya despidos de personal en las grandes
empresas productoras de artefactos elctricos. Estados Unidos tendr una economa
estable si hay despidos de personal en las grandes empresas productoras de
artefactos elctricos. Por consiguiente: Estados Unidos tendr una economa
estable en vista que La crisis financiera mundial est afectando las economas
de los pases industrializados.
3.6.5. Ley de la Conjuncin: Se representa por:
p
o tambin:
p:q
p q
q
________
p q
Ejemplo:
La UCV est en el departamento de La Libertad.
La USS est en el departamento de Lambayeque.
Por lo tanto: La UCV est en el departamento de La Libertad sin embargo La
USS est en el departamento de Lambayeque.
3.6.6. Ley de la Adicin: Se representa por:
p
o tambin:
p
p q
________
p q
Ejemplo:
Hago mucho deporte.
Por consiguiente: Hago mucho deporte o estoy cansado
3.6.7. Ley de la Simplificacin: Se representa por:
p q
o tambin:
p q
p
________
p
De una premisa conjuntiva se puede concluir en cualquiera de sus componentes.
Ejemplo:
La Tierra es plana, pero la Luna no es verde.
Por lo tanto: La Tierra es plana.
3.6.8. Ley del Dilema Constructivo: Se representa por:
p
o tambin:
(p
q)
(r
s)
(p
r)
r
s
p r
_________
q s
23

Si en la conjuncin de dos condicionales afirmamos los dos antecedentes
disyuntivamente, se puede concluir en la afirmacin disyuntiva de los consecuentes.
Ejemplo:
Si Paola estudia entonces ingresar a la USS. Si Paola trabaja entonces ganar
dinero suficiente para ser feliz. Pero, Paola estudia o trabaja. Luego: Paola ingresar
a la USS o ganar dinero suficiente para ser feliz.
3.6.9. Ley del Dilema Destructivo: Se representa por:
p
(p
o tambin:
q)
(r
s)
(~q
~s)
~p
~r
r
s
~q ~s
_________
~p ~r
Si en la conjuncin de dos condicionales negamos los dos consecuentes
disyuntivamente, se puede concluir en la negacin disyuntiva de los antecedentes.
Ejemplo:
Si Paola estudia entonces ingresar a la USS. Si Paola trabaja entonces ganar
dinero suficiente para ser feliz. Pero, Paola no ingresar a la USS o no ganar dinero
suficiente para ser feliz. Luego: Paola no estudia o no trabaja.
3.6.10. Ley del Absurdo: Se representa por:
p
(q
~q)
o tambin:
o tambin:
~p
(q
~q)
~p
______________
~p
~p
(q
~q)
(q
~q)
______________
p
Ejemplo:
Si Carlos de Espaa es el rey, entonces es el que gobierna pero sin embargo no
gobierna. Luego: Carlos de Espaa no es el rey.
1. Demostrar que en cada uno de los casos siguientes si los esquemas
moleculares son equivalentes:
1. P: ~(p
q)
(q
~r) es equivalente a:
A: [p
(p
~ r)]
~q
B: (p
~q)
~(q
r)
C: (p
~q)
[(p
~ r)
2. A: ~(q
C: ~(p
~p)
~q)
(q
(p
~q]
p), B: [(~ p
q) y D: ~(p
~q)
q)
~ q]
[(p
~[(p
q)
q)
q],
~q]
24

3. [(~ p
q)
(~ q
r)]
4. ~(p
q)
(~p
q)
5. ~ [(p
q)
r]
6. ~ [ ~(p
q)
(p
r)
[~(p
r)
~(q
(~q)]
(p
q)
r)]
2. Simplificar cada una de las siguientes Proposiciones:

1.
(p
q)
(~q
2.
(p
q)
3.
(p
q)
(p
q)
4.
~(p
5.
~(p
6.
~(p
7.
(~p
8.
(p
9.
[(~q
10.
~ {[(~p
q)
p)
~(q
q)
~p)
(~p
q)
(r
s)
q)
(~s
r)
~ r)
(~ q
r)
q)
~p)
(~p
~ q)
(p
s
~q
~q)]
(~p
~ (p
q))]
q)
~ (p
q)}
3. Determina la conclusin de las afirmaciones

1.
Si digo siempre la verdad, los dems confan en m. Y si los dems confan en

m, me siento seguro e independiente. Cuando me siento seguro e
independiente, soy capaz de afrontar cualquier problema. Como yo digo
siempre
la
verdad.
Luego:
2.
El crimen se cometi de noche en la ms absoluta oscuridad o el principal

sospechoso es ciego. Pero, el principal sospechoso no es ciego o miente al
declarar que no vio nada. Pero, no miente o el detector de mentiras "Zopilotz"
est estropeado. El caso es que el citado detector es infalible (no puede estar
estropeado jams).por lo tanto:
3.
No es verdad que estudies y trabajas. Si quieres conseguir dinero entonces

trabajas. Luego:
4. Demostrar cada uno de los argumentos anteriores si son vlidos o no.
25

5. Demostrar la validez o invalidez de los siguientes argumentos empleando
tablas de verdad y el mtodo abreviado.
1.
[( q p)
p] q
2.
[(p q)
3.
Ahorro el sueldo cada mes o lo gasto para vivir. Si lo ahorro, no puedo vivir.
(q r)
p] r
Pero si quiero vivir no puedo ahorrar. Por tanto no es posible vivir y ahorrar.
4.
Las cosas son buenas en la medida en que son apetecibles y son apetecibles
en la medida en que son perfectas. Por donde se ve que el grado de bondad
depende del grado de perfeccin.
5.
Cuando dos cosas pueden conocerse la una por la otra y la una puede ser
causa de la otra, es que tienen algo en comn. Pero no existe en la naturaleza
dos cosas que tengan algo en comn, por tanto no pueden conocerse la una
por la otra y as la una no puede ser causa de la otra.
6. Elabora una proposicin molecular por cada una de las leyes de equivalencia
y de implicacin.
7. Prueba las reglas de inferencia y las identidades en Lgica Proposicional,
mostrando en cada paso la regla o identidad implicada y las premisas
utilizadas para los siguientes casos.
1.
Si Julin le apost a Alfonso, entonces se gast el dinero. Si Julin se gast el

dinero entonces su esposa no compra joyas y su esposa pide divorcio. Si su
esposa no compra joyas, entonces los nios no comen o la esposa est
enojada. Julin le apost a Alfonso y los nios comen por lo tanto su esposa
est enojada.
2.
Si el grupo no toca Rock and Roll, o las bebidas no llegan a tiempo, entonces
el baile se cancela y Patty est enojada. Si el baile se cancela entonces hay
que regresar el dinero de las entradas. No se regres el dinero de las entradas.
Por lo tanto, el grupo toca Rock and Roll.
1. Demostrar que en cada uno de los casos siguientes si los esquemas

moleculares son equivalentes:
1. ~[(~p)
2. ~{(p
q]
q)
[p
(p
q)
(~p
q)]}
3. ~ [~(p
q)
~q]
(p
4. ~(~ p
q)
(p
q)
5. ~{(p
q)
[p
(~p
(p
~q)
(p
~q)
q)
q)]}
26

6. La formula {(E
E), R: D
W)
~D, S: E
[(~E
W)
W, O: ~E
(W
U)]}
( ~W
E) equivale a : M : ~(E
2. Simplificar cada una de las siguientes Proposiciones:

1. ~{~[~(~ p
2. {[(~p
q)
~ q)
3. [~(~p
~ q)
4. [p
(p
5. (p
q)
(q
7. (p
~q)
8. p
(p
[~(p
~ q)]}
q]
[(p
q)
~(p
q)]
[p
(~p
[r
(~r
q)
p]
q)]
(q
6. p
~ q]
(~p
~ q)
q
p]}
~q
r)]
p)
(p
r)
q)
(p
r)
q
q)
9. [(p
q)
10. (p
~q )
(r
s)]
(~p
[(p
q)
r)
(~p
(q
s)]
~q)
3. Determina la conclusin de las afirmaciones

1. Me llevas a casa o no voy a la fiesta. Si no llueve entonces voy a la fiesta. En
consecuencia:
..
2. Todos los que no se presentan al examen de lgico matemtica, tendrn que
presentar una justificacin. Aldo no se presenta al examen de lgico matemtica.
Por lo tanto:
3. Ningn nade baila vals. Ningn oficial declina nunca una invitacin a bailar el
vals.
Todas
mis
aves
de
corral
son
nades.
Por
lo
tanto:
..
4. Lancelot ama a la reina Ginebra. Lancelot no ama a ninguno de sus amigos. El
rey Arturo es amigo de Lancelot. Los amigos de Lancelot odian a aquellos a
quienes Lancelot ama. Por lo tanto:
5. Si el reloj esta adelantado, entonces Rosario llego antes de las diez y vio partir al
carro de Carlos. Si Carlos dice la verdad, entonces Rosario no vio partir el carro
27

de Carlos. Carlos dice la verdad o estaba en el edificio en el momento del
crimen. El reloj estaba adelantado: por lo tanto:
4. Demostrar cada uno de los argumentos anteriores si son vlidos o no.

5. Demostrar la validez o invalidez de los siguientes argumentos empleando
tablas de verdad y el mtodo abreviado
1. [(p q)
(q r)
r] p
2. [(p q)
(r p)
(q s)] (r s)
3. {(s r)
[r (p
q) ]
4. {(p r)
(s r)]
( t
(p
q)} s
s)} p
5. Si es da festivo, entonces salimos al campo. No salimos al campo, luego no es

da festivo.
6. Si no hace fro, sube la temperatura y aumenta la venta de ventiladores. Es
cierto que hace calor, por tanto sube la temperatura y aumenta la venta de
ventiladores.
6. Elabora una proposicin molecular por cada una de las leyes de equivalencia
y de implicacin.
7. Prueba las reglas de inferencia y las identidades en Lgica Proposicional,
mostrando en cada paso la regla o identidad implicada y las premisas
utilizadas para el siguiente caso:
Angelina Dolores est agobiada por problemas amorosos. No se aclara. Si ama a
Fierre, no ama a don Alfonso Pacheco, pero si no ama a don Alfonso Pacheco, ama
a Robert. Si ama a Robert, deja de amar a Vicentico, pero si no ama a Vicentico,
entonces ama al lechero de la esquina Francois. Angelina, por favor, la increpamos,
es que no ests segura de tus sentimientos?Una cosa es cierta nos
responde-segura de que amo a Pierre.Podras ayudarla aclarando sus ideas?
CUANTIFICADORES Y
CIRCUITOS LGICOS
A diferencia de las proposiciones que hemos manejado hasta ahora, el
enunciado x3 no es Verdadero ni Falso. Cuando la variable x se reemplaza por
ciertos valores de x, por ejemplo 2, la proposicin resulta Falsa. Este es un ejemplo de
un enunciado abierto, el cual viene a ser una proposicin slo cuando las variables son
remplazadas por los nombres particulares de los objetos.
Si un enunciado abierto se llama P y las variables x1, x2, , xn; escribimos P(x1,
x2, , xn) y en el caso de una sola variable escribimos P(x).
28

El enunciado x1=x2+x3, es un enunciado abierto con 3 variables. Si denotamos el
enunciado por P(x1, x2, x3), entonces P(7,3,4) es Verdadero, ya que 7=3+4, pero
P(1,2,3) es Falso, ya que 12+3.
4.1. Definicin
La coleccin de objetos que al reemplazarlos en lugar de las variables en un
enunciado abierto lo convierten en una proposicin verdadera se llama el conjunto de
verdad del enunciado.
Antes de determinar el conjunto de verdad es necesario saber cules objetos
estn disponibles para ser tomados en cuenta. Es decir, debemos haber especificado
un universo de discurso. Denotemos por U = Dp el conjunto universo, es decir el
dominio de la funcin proposicional.
Ejemplo:
Sea Q(x) en enunciado x2 = 4. Si tomamos el conjunto de los nmeros reales
como el universo del discurso, el conjunto de verdad ser 2 y -2. Q(x) = {2,-2} en .
Si el universo del discurso fuera el conjunto de los naturales, entonces el
conjunto de verdad sera 2. Q(x) = {2} en .
Recordemos que un enunciado abierto P(x) no es una proposicin, pero P(a) es
una proposicin para cualquier a en el universo del discurso. Otra forma de construir
una proposicin a partir de P(x) es modificndola mediante un cuantificador.
4.2. Cuantificador Universal
Dado un enunciado abierto P(x) con variable x, el enunciado:
x Dp: P(x). Se lee: Para Todo x en el dominio se cumple P de x.
Y es verdadero precisamente cuando el conjunto de verdad para P(x) es el
universo completo. El Smbolo se llama el Cuantificador Universal.
4.3. Cuantificador Existencial
El enunciado: x Dp / P(x). Se lee Existe x en el dominio, tal que P de x.
Y es verdadero precisamente cuando el conjunto de verdad para P(x) no es
vaco. El smbolo se llama el Cuantificador Existencial.
Ejemplos:
Consideremos las siguientes expresiones:
a) Todo hombre es mortal.
Puede traducirse respectivamente como: Para todo x, si x es hombre entonces x
es mortal.
En forma simblica tenemos: x Dp: P(x); donde P(x): x es mortal.
b) Algunos hombres son sabios.
Puede traducirse respectivamente como: Existe un x, tal que x es hombre y x es
sabio.
En forma simblica tenemos:
x Dp / P(x); donde P(x): x es hombre y x es sabio
Ejemplo:
Suponga que el universo es el conjunto de los , entonces:
a) x, x 3 es Verdadero, pero
x, x 3 es Falso.
b) x, |x| > 0 es Verdadero, pero
29

x, |x| > 0 es Falso.
c) x, x2 = -1 es Falso, pero
x, x+2 > x es Verdadero.
d) x, x3 = x es falso, pero
x, x3 = x es verdadero.
4.4. Negacin de Proposiciones que Contienen Cuantificadores
La negacin del cuantificador universal es el existencial y la negacin del
cuantificador existencial es el universal. Es decir:
[ x Dp : P(x) = x Dp / P(x)
[ x
Dp / P(x) =
Dp : P(x)
Ejemplos:
a) Halle una negacin para: cada nmero real positivo tiene un inverso
multiplicativo.
Solucin:
Sea el universo, el conjunto de todos los , el enunciado puede representarse
por:
x :x>0
y / xy = 1
Si:
x=2, y=1/2
xy=1
x=3, y=1/3
xy=1
x=1/5, y=5
xy=1
Y as sucesivamente.
b) Entonces la negacin de x : x > 0
y / xy = 1, es:
Solucin:
[ x :x>0
y / xy = 1] = ( x ) / [: x > 0
y / xy = 1]
= x / [ (x > 0)
y / xy = 1]
= x / x > 0 [ ( y ): (xy = 1)]
= x /x>0
y : xy 1
Esto ltimo se lee: Existe un nmero positivo x para el cual no hay inverso.
4.5. Circuitos Conmutadores:
Un circuito conmutador es un circuito elctrico que contiene interruptores para el
paso o interrupcin de la corriente.
Para el diseo de estos circuitos designemos por p y q dos interruptores
elctricos que dejan pasar corriente y por ~p y ~q los que no dejan pasar corriente
estos se pueden conectar por un alambre en serie o en paralelo.
Grficamente tenemos:
p
p
30

Figura (1)
Figura (2)
En la figura (1) se tiene un circuito en serie y se representa por: p q

En la figura (2) se tiene un circuito en paralelo y se representa por: p q
7.4.1. Observacin: Su evaluacin en tablas de verdad es:
Donde:
p
1
1
0
0
q
1
0
1
0
p
1
1
0
0
q
1
0
0
0
1 = verdadero (V)
q
V
0
1
0
q
1
1
1
0
0 = falso (F)
Ejemplo:
Describe simblicamente el siguiente circuito:
~
p
q
r
~r
q
~
p
Solucin:
Observemos que el circuito esta en serie y en paralelo, tenemos:
~p y q estn en paralelo es decir: ~p q
p, (~p
q) y q estn en serie, es decir: p
(~p
q) q
r y q estn en paralelo es decir: r v q

~r , (r
q) y ~p estn en serie, es decir: ~r
(r
q)
~p
Luego: la representacin de todo el circuito es:

[p (~p q) q] v [~r
(r
q)
~p]
4.6. Simplificacin de Circuitos

Para la simplificacin de circuitos se debe tener en consideracin las leyes de
equivalencia.
Ejemplo:
Del ejemplo anterior se tiene que el circuito queda simplificado de la siguiente
manera:
[p (~p q) q] v [~r (r q) ~p] {[p (~p q)] q} {[~r (r q)] ~p}
(p q) v [(~r q) ~p]
(p q) [q (~r ~p)]
q [p (~r ~p)]
q (p ~r)
Luego: se obtiene el circuito:
p
~r
31
Ejemplo:
Simplificar el siguiente circuito
p
q
qq
q
q
p
Solucin:
Tenemos:
{[p (p
{
(p
{
(p
[(p
q)
[(p
p)
[F q]
F (q
p q
q)
q] [q ( q
p)
q)
[(q
p)
q)
(q
p)}
p] [(q
p)
p]
q] (q
p)
(q
p)
p)
p]}
p]}
p
p
p
(q
p)
Luego: se obtiene el circuito:
~p
q
1. Simbolizar los siguientes enunciados:

1. Todo es perecedero.
2. Hay marcianos.
3. Alguien no es perfecto.
4. No hay cosas slidas.
5. Si todo es rojo, hay algo rojo.
6. Nada se mueve.
7. No todo es perecedero.
8. Todos los nevados son colombianos.
9. Hay cetceos que son peces.
10. Algunos nmeros negativos no son enteros.
2. Negar los enunciados de la parte 1.
3. Expresar en el lenguaje corriente los enunciados simbolizados que se
presentan a continuacin:
Sean: A(x) : x es un animal, H(x) : x es un hombre, M (x) : x es un mamfero
V( x) : x es un vertebrado
1. x / A(x) V( x)
2. [x / H(x)
M (x)]
3. [x : A(x) M (x)]
4. x / A(x)
M (x)
5. x : H(x) M (x)
32

5. Disee los circuitos conmutadores correspondientes a:
1. ~ [p ~ (q v r)]
2. (p q) v [q ^ (p q) v (~p ~q)
3. (p q) (r s)
4. (p v q) [(~p v q) (p q)]
5. (p q) (q p)
6. Simplificar y hallar el equivalente a los circuitos dados:
1.
3.
r
s
~
s
~
~r
s
~r
q
p
~
r
r
2.
~p
~q
~q
~r
~p
7. El costo de cada llave de instalacin del siguiente circuito es S/15. En cunto

se reducir el costo de la instalacin si se reemplaza dicho circuito por el ms
simple posible?
q
~q
p
q
p
p
q
q
~r
q
~q
~p
8. Halle el resultado (tabla de verdad) de conectar en paralelo los siguientes

circuitos:
1.
p
q
3.
p
2.
~q
~p
~q
~q
~p
p
33

1. Simbolizar los siguientes enunciados:
1. Nada es perecedero.
2. Existe un nmero real que no es positivo y no es negativo.
3. Existe un paralelogramo que es equiltero y equingulo.
4. Todo nmero real elevado al cuadrado es no negativo.
5. Existe un nmero real; que sumado con cualquier nmero real, da por resultado
este ltimo.
6. Hay cisnes negros.
7. Existen animales carnvoros.
8. Hay nmeros perfectos.
9. Existen ciudades de clima fro.
3. Simbolizar y negar los siguientes ejercicios
1. Existe un elemento x perteneciente al conjunto de nmeros reales tal que (la
barra inclinada / se lee como "tal que" o "para el cual se cumple que") su
cuadrado es 2.
2. Existe un elemento x perteneciente al conjunto de los nmeros reales tal que x
es positivo. Con este ejemplo queremos dejar claro que el cuantificador
existencial no dice ni obliga a que el elemento en cuestin sea nico - pueden
ser muchos como es el caso.
3. Existen elementos x e y pertenecientes al conjunto de los reales tales que su
producto es 1.
4. Existe un nico elemento x perteneciente al conjunto de los nmeros reales tal
que multiplicado por dos se obtiene seis.
5. No existe un elemento x perteneciente al conjunto de los nmeros racionales tal
que su cuadrado sea 2 (y efectivamente, ya que 2 no es racional)
4. Disee los circuitos conmutadores correspondientes a:
1. {[(r v q) p] v ~r} q
2. [(p
q) (q r) p]
r
3. [(p
q) (q
r)
r]
p
5. Simplificar y hallar el equivalente a los circuitos dados:
1.
p
~q
p
q
q
~p
~q
p
~q
~p
34

q
2.
~q
~s
~r
~p
~r
~q
~r
~s
3.
~q
~p
~q
6. Hallar la proposicin x ms simple de manera que el circuito lgico

siguiente:
q
p
p
p
q
q
p
x
Sea equivalente al circuito:
7. Se le pide a un grupo de candidatos someterse a un interrogatorio del tipo

cierto-falso, con 4 preguntas. Disear un circuito tal que un candidato pueda
tocar los botones de aquellas preguntas a las que quiere responder cierto y
que el circuito indique el nmero de respuestas correctas.
Sugerencias: Pngase 5 luces, correspondientes a 0, 1, 2, 3, 4 respuestas
correctas, respectivamente.
35
RELACIONES Y FUNCIONES
PRODUCTO CARTESIANO
4.1. Par Ordenado: Un par ordenado es un conjunto de dos elementos ordenados de
acuerdo a como aparecen. Se representa con parntesis y a los elementos se les
denomina componentes. (a; b) representa el par ordenado cuya primera
componente es a y b es la segunda componente. Debes observar que para que
dos pares ordenados sean iguales sus componentes deben serlo. Es decir; (a; b)
= (c; d) si y solo si a = c y b = d.
Ejemplo: Hallar x e y si (x + 3;9) = (7; y + 4)
Si (x + 3; 9) = (7; y + 4) entonces: i) x + 3 = 7
x=4
ii) 9 = y + 4
y=
5
4.2. Producto Cartesiano: El producto cartesiano de dos conjuntos no vacos A y B
es el conjunto de todos los pares ordenados (a;b) donde a A y b B. El producto
cartesiano de dos conjuntos no vacos se representa como:
AxB =
a; b / a
B, b B .
Ejemplo: Sean los conjuntos A = {1; 2; 3} y B= {4; 5; 6}. El producto cartesiano de

A y B, es:
AxB={(1;4),(1;5),(1;6),(2;4),(2;5),(2;6),(3;4),(3;5) ,(3;6)}
Observe que: El producto cartesiano AxB no es igual al producto cartesiano BxA.
BxA = (4;1), (4;2), (4;3), (5;1), (5;2), (5;3), (6;1), (6;2), (6;3)
4.3. Representacin Grfica del Producto Cartesiano AxB.
Grficamente, el producto cartesiano de dos conjuntos no vacos se representa de
diferentes maneras: diagramas de flechas, diagramas de rbol, tablas y
grficos cartesianos.
Ejemplo:
Si, el conjunto A = {1; 2; 3} y B = {4; 5; 6}. El producto cartesiano AxB es el
conjunto: AxB = {(1; 4), (1;5), (1;6), (2;4), (2;5), (2;6), (3;4), (3;5), (3;6)}.
Representar el producto cartesiano en las diferentes casos.
ACTIVIDADES DE APLICACIN
Ejemplo 1: Si se cumple que (3x 5; 2y + 1) = (7 x; 19 y), determina el valor de la
expresin E =
x2 + xy + y2.
Solucin:
Para que se cumpla la igualdad de pares ordenados las componentes
correspondientes deben ser iguales.
Igualando las primeras componentes: 3x 5 = 7 x
3x + x = 7 + 5
4x = 12
x=3
36

Igualando las segundas componentes: 2 y + 1 = 19 y
3y = 18
y=6
Reemplazando: E = x2 + xy + y2
E = 32 + 3(6) + 62
E = 63
2y + y = 19 1
E = 9 + 18 + 36
ACTIVIDAD DE SISTEMATIZACIN
1. Responde con V o F, segn sea el caso.
(
) (a;b) = (a;c), siempre que b = c.
(
) n(AxB)
n(A).n(B)
(
) AxB = BxA, slo si A = B.
(
) Ax(B C) = AxB AxC
(
) n (AxB) es el nmero de elementos que tiene el producto cartesiano AxB.
(
) Si, A = {oro, copa, bastos, espada}y B = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11},
entonces A x B tiene 48 elementos.
(
) Si, (x y; 3) = (2; 2x 3y); entonces x + y = 4.
(
) Si, A = {1; 2; 3} y B = {2; 3; 4}, entonces el par (4; 3) pertenece a AxB.
(
) Si, A = {1; 2; 3} y B = {2; 3; 4}, entonces AxB = BxA.
2. Si, A = 2;3 y B =
1;5 . Determina el producto cartesiano AxB.
3. Si el producto cartesiano AxA tiene 16 elementos, cuntos elementos tiene el

conjunto A?
4. Si, n(AXB) = 12, n(A) + n(B) = 7. Cuntos elementos tiene el conjunto A?
RELACIONES
5.1. Idea de Relacin:
Sean los conjuntos: A= {Eduardo, Daniela, Santiago} y
B= { Ad min istracin, Derecho, Psico log a} . Y la regla de correspondencia:
.........es estudiante de la carrera profesional...............; Entonces se puede
establecer el siguiente esquema:
A
Eduardo
Administraci
n
Daniela
Derecho
Santiago
Psicologa
Otra forma de escribir el esquema anterior es con pares ordenados:

R = {( Eduardo, Ad min istracin), ( Daniel, Derecho), ( Santiago, Psico log a )}
37

5.2. Relacin
Teniendo en cuenta el ejemplo anterior podemos decir que una Relacin es una
correspondencia entre un primer conjunto llamado dominio y un segundo
conjunto llamado rango o contra-dominio de modo que a cada elemento del
dominio le corresponde uno o ms elementos del contra-dominio. Su definicin
matemtica es:
R = {( x, y ) AxB / xRy}
5.2.1. Dominio de una relacin: Es el subconjunto de A, formado por todos los
primeros componentes de los pares ordenados que pertenecen a la relacin.
Dom(R) = {x A / y B; ( x, y ) R}
5.2.2. Rango de una relacin: Es el subconjunto de B, formado por todos las
segundas componentes de los pares ordenados que pertenecen a la relacin.
Ran(R) = { y B / x A; ( x, y ) R}
En el ejemplo anterior tenemos:
Dom(R) = {Eduardo, Daniel, Santiago} = A
Ran(R) = { Ad min istracin, Derecho, Contabilidad} = B
5.3. Clases de relaciones
5.3.1. Relacin Reflexiva: Se llama relacin reflexiva cuando un elemento est
relacionado consigo mismo y se escribe: (a, a) R, a A .
Ejemplo: Sean: A= 1; 2;3; 4 , R1, R2 y R3 relaciones de A en A, definidas como:
R 1 = (1;1), (2; 2), (4; 4) no es reflexiva porque (3,3) R1
R 2 = (1;1), (2; 2), (3;3), (4; 4) es una relacin reflexiva.
R 3 = (1;1), (2; 2), (3;3), (4; 4), (2;3) es reflexiva
5.3.2. Relacin simtrica:
es simtrica, si
(a; b)
, se cumple que el par
ordenado (b; a )
Ejemplo: Si A= 1; 2;3; 4 y R1, R2 y R3 relaciones de A en A, definidas como: R 1 =
(1;3), (3;1) es una relacin simtrica.

R 2 = (1; 2), (2;1), (3; 2)
no es simtrica porque el (2;3)
R 3 = (1;1), (2; 2), (3;3),
es reflexiva y simtrica
5.3.3. Relacin transitiva:

par ordenado (a; c)
es transitiva, si
R2
(a; b) y (b; c)
, se cumple que el
Ejemplo: Si A= 1; 2;3; 4 y R1, R2 y R3 relaciones de A en A, definidas como:

R 1 = (1; 2), (2;1), (1;1) no es una relacin transitiva porque los pares (2; 1) y (1; 2)
R
R 2 = (1; 2), (2;1), (1;1), (2; 2) es una relacin transitiva
R pero (2;2)
R 3 = (1;1), (2; 2) es una relacin transitiva
38

5.3.4. Relacin de equivalencia:
es de equivalencia si es reflexiva, simtrica y
transitiva.
Ejemplos: La igualdad de nmeros naturales es de equivalencia
La congruencia de tringulos es de equivalencia
La relacin menor < para nmeros naturales no es de equiva lencia, no es
reflexiva, tampoco simtrica.
5.3.5. Relacin antisimtrica: Una relacin
es antisimtrica, si (a;b) y (b; a);
, se cumple que a = b.
Por ejemplo la relacin: es menor igual que es una relacin
antisimtrica por qu: si, a b y b a; entonces a = b.
Ejemplo: Dado el conjunto A = {1, 3, 5, 7} determina cuales de las siguientes
relaciones son antisimtricas:
R1 = {(x, y) A2/ x y < 2}
R2 = {(x, y)
A2/ x + y < 7}
Solucin:
R1 = {(1, 1), (1, 3), (1, 5), (1, 7), (3, 3), (3, 5), (3, 7), (5, 5), (5, 7), (7, 5), (7,
7)}
En R1 no hay pares con componentes intercambiadas a excepcin de (1, 1),
(3, 3) (5, 5) y (7, 7) que tienen componentes iguales
R1 es antisimtrica
R2 = {(1, 1), (1, 3), (1, 5), (3, 1), (3, 3), (5, 1)}
(1, 3)
(3, 1)
R2 pero 1 no es igual a 3
R2 no es antisimtrica
Ejemplo: Dado el conjunto A = {x/ x es un conjunto} determina cuales de las

siguientes relaciones son antisimtricas:
R1 = {(x, y) A2/ x y}
R2 = {(x, y)
A2/ x
y= }
Solucin:
Si un conjunto C1
C2 y C2
C1 se cumple que C1 = C2
R1 es
antisimtrica
Si C1
C2 =
significa que los dos conjuntos son disjuntos y que por lo
tanto son diferentes

Si un conjunto C1 es disjunto con C2 tambin C2 es disjunto con C1, sin
embargo C1 y C2 son diferentes
R2 no es antisimtrica
5.3.6. Relacin de orden: Una relacin

es de orden, si es reflexiva, antisimtrica y
transitiva. La relacin anterior: es menor igual que es relacin de orden.
5.4. Relacin inversa: La relacin inversa cuya notacin es: R-1, se determina
invirtiendo el orden de las componentes de las parejas ordenadas de la relacin R.
39

B}, R-1 = {(y;x) / (x;y)
Matemticamente, diramos: Si R = {(x;y) / x

A, y
-1
BxA ; entonces R
BxA
Con lo que: Si R
R}.
Ejemplo: Sean: A= 1;5;7 , B= 2;3; 4 , la relacin R= {(1;4), (5;2), (7;3)}entonces

la relacin inversa de R, denotada por R-1 = (4;1), (2;5), (3;7)
5.5. Grficas de una relacin de R en R
La grfica de una ecuacin en R2 es el conjunto de todos los puntos en R2 cuyas
coordenadas son nmeros que satisfacen la ecuacin.
Ejemplo: Sea la relacin en R2 definida por 2x + y = 5. Trazar la grfica,
determinar el dominio y el rango de esta relacin real.
1 Interceptamos la recta con cada eje coordenado:
a) Si x = 0
2(0) + y = 5, y = 5 Existe interseccin con el punto (0; 5)
b) Si y = 0
2x + 0 = 5, x = 2,5. Existe interseccin en el punto (2,5; 0)
2 Trazamos la grfica:
Eje Y
20
15
10
Eje X
-5
-10
-6
-4
-2
3 Determinamos el Dominio y Rango:

Dom ( ) = Todo el eje X = R
Ran ( ) = Todo el eje Y = R
5.6. RELACIONES DEFINIDAS EN R
LA RECTA: Son relaciones donde se da una correspondencia de primer grado
entre las variables x y y, tienen la forma:
R = {(x, y)
/ ax + by + c = 0
a, b, c
a, b no son nulos a la vez}
Ejemplo: Construye la grfica y da el dominio y rango de la relacin:

R = {(x, y) / x 5 = 0}
Solucin:
x5=0
x = 5, lo cual indica que para cualquier valor de y el valor de x
siempre es 5, as los puntos (5, 1), (5, 2), (5, 9) pertenecen a R

Construyendo la grfica, teniendo en cuenta que dos puntos determinan
una recta, se obtiene una recta paralela al eje y, que intersecta al eje de
abscisas en x = 5:
40
Dom(R) = {5}
Ran(R) =
Ejemplo: Construye la grfica y da el dominio y rango de la relacin: R = {(x, y) / y
+ 6 = 0}
Solucin:
y+6=0
y = -6, lo cual indica que para cualquier valor de x el valor de y
siempre es -6, as los puntos (1, -6), (2, -6), (7, -6), (-4, -6) pertenecen a R
Construyendo la grfica, teniendo en cuenta que dos puntos determinan
una recta, se obtiene una recta paralela al eje x, que intersecta al eje de
ordenadas en y = -6:
Dom(R) =
Ran(R) = {-6}
Ejemplo: Construye la grfica y da el dominio y rango de:

R = {(x, y) / 2x 3y 12 = 0}
Solucin:
Si x = 0
2(0) 3y 12 = 0
y = -4.
Si y = 0
2x 3(0) 12 = 0
x = 6.
El par (0, -4)

El par (6, 0)
R
R
Construyendo la grfica de la recta que pasa por los puntos (0, -4) y (6, 0)
se tiene:
41
Dom(R) =
y Ran(R) =
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = 5x + 10}
Solucin:
Si x = 0
y = 5(0) + 10
Si y = 0
0 = 5x + 10
y = 10
x = -2
El par (0, 10)

El par (-2, 0)
R
R
Construyendo la grfica de la recta que pasa por los puntos (0, 10) y (-2, 0)
se tiene:
Dom(R) =
y Ran(R) =
Cuando la ecuacin tiene la forma y = mx + b, m da la pendiente, o tangente

del ngulo de inclinacin, de la recta y b la ordenada del punto de
interseccin con el eje y.
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) /
1}
Solucin:
Si x = 0
Si y = 0
y=6
El par (0, 6)
x=4
El par (4, 0)
42

Construyendo la grfica de la recta que pasa por los puntos (0, 6) y (4, 0) se
tiene:
Dom(R) =
y Ran(R) =
Cuando la ecuacin tiene la forma
1,
se denomina forma simtrica y
los valores a y b indican la abscisa y ordenada de los puntos de interseccin

de la recta con el eje x y con el eje y respectivamente.
LA CIRCUNFERENCIA: relacin en la que los puntos en el plano cartesiano son

equidistantes de un punto fijo de dicho plano (centro). La distancia del centro a
cualquiera de los puntos se denomina radio. En forma general una circunferencia
corresponde a una relacin de la forma:
R = {(x, y)
/ x2 + y2 + Dx + Ey + F = 0
D2 + E2 > 4F}
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x2 + y2 9 =

0}
Solucin:
x2 + y2 = 32 se dice que la ecuacin de la circunferencia est en su forma
cannica, donde su centro es el origen de coordenadas O(0, 0) y su radio
mide 3
Construyendo la grfica de la circunferencia se tiene:
43
Dom(R) = [-3, 3] y Ran(R) = [-3, 3]

Cuando la ecuacin de la circunferencia se expresa como x2 + y2 = r2 est
en su forma cannica, su centro est en el origen de coordenadas O(0,0) y
su radio mide r.
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x2 + y2 4x +
6y + 9 = 0}
Solucin:
x2 + y2 4x + 6y + 9 = 0
(x2 4x + 4) + (y2 + 6y + 9) = 4
(x 2)2 + (y
+ 3)2 = 22
La ecuacin de la circunferencia expresada como (x 2)2 + (y + 3)2 = 22
est en su forma ordinaria, donde su centro es el punto C(2, -3) y su radio
mide 2.
Dom(R) = [0, 4] y Ran(R) = [-1, -5]

Cuando la ecuacin de la circunferencia se expresa como (x h)2 + (y k)2
= r2 est en su forma cannica, su centro est en el punto C(h, k) y su radio
mide r.
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x2 + y2 + 8x
2y + 1 = 0}
44

Solucin:
x2 + y2 + 8x 2y + 1 = 0, la ecuacin de la circunferencia expresada en su
forma general y su centro es el punto C
82
( 2) 2
4(1)
8
2
2
2
= C(-4, 1) y su radio mide r
=4
Dom(R) = [-8, 0] y Ran(R) = [-3, 5]

Cuando la ecuacin de la circunferencia se expresa: x2 + y2 + Dx + Ey + F =
D
0 est en su forma general, su centro es el punto C
r =
D2
E2
4F
Ran(R) =
r,
, su dominio es Dom(R) =
E
2
D
2
r,
D
2
E
2
, su radio mide
y su rango es
LA PARBOLA: es una relacin donde la regla de correspondencia relaciona una

variable lineal y una variable cuadrtica y se expresa de cualquiera de las dos
siguientes formas:
R = {(x, y)
/ y = ax2 + bx + c
a 0} con eje de simetra vertical. Si a > 0 se
abre hacia arriba y si a < 0 se abre hacia abajo.
45

R = {(x, y)
/ x = ay2 + by + c
a 0} con eje de simetra horizontal. Si a > 0 se
abre hacia la derecha y si a < 0 se abre hacia la izquierda.
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = 4x2}
Solucin:
y = 4x2, la ecuacin de la parbola est en su forma cannica, donde su
vrtice es el origen de coordenadas, el eje de simetra es vertical y se abre
hacia arriba
Dom(R) =
y Ran(R) = [0, + >
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = -2x2}
Solucin:
y = -2x2, la ecuacin de la parbola est en su forma cannica, donde su
vrtice es el origen de coordenadas, el eje de simetra es vertical y se abre
hacia abajo
46

Dom(R) =
y Ran(R) = <- , 0]
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x = 3y2}
Solucin:
x = 3y2, la ecuacin de la parbola est en su forma cannica, donde su
vrtice es el origen de coordenadas, el eje de simetra es horizontal y se
abre hacia la derecha.
Dom(R) = [0, + > y Ran(R) =
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x = -2y2}
Solucin:
x = -2y2, la ecuacin de la parbola est en su forma cannica, donde su
vrtice es el origen de coordenadas, el eje de simetra es horizontal y se
abre hacia la izquierda
Dom(R) = <- , 0] y Ran(R) =

Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = x2 4x +
6}
47

Solucin:
y = x2 4x + 6
y 2 = x2 4x + 4
y 2 = (x 2)2, la ecuacin de la
parbola est en su forma ordinaria, donde su vrtice es el punto V(2, 2), el

eje de simetra es vertical y se abre hacia la arriba
Dom(R) =
y Ran(R) = [2, + >
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x = -y2 + 4y

10}
Solucin:
x = -y2 + 4y 10
x + 6 = -(y2 4y + 4)
x + 6 = -(y 2)2, la ecuacin
de la parbola est en su forma cannica, donde su vrtice es el punto V(-6,

2), el eje de simetra es horizontal y se abre hacia la izquierda
Dom(R) = <- , -6] y Ran(R) =

Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = -3x2 +
12x - 8}
Solucin:
48

y = ax2 + bx + c, la ecuacin de la parbola est en su forma general y la
abscisa del vrtice se puede determinar mediante la expresin x =
b
2a
, el
valor de la ordenada se obtiene reemplazando el valor anterior en la

ecuacin.
y = -3x2 + 12x 8
Si x = 2
la abscisa del vrtice es x =
y = -3(2)2 + 12(2) 8
(12)
2( 3)
=2
y = 4 es la ordenada del vrtice.
La parbola tiene vrtice en el punto V(2, 4), su eje de simetra es vertical y

se abre hacia abajo.
Dom(R) =
y Ran(R) = <- , 4]
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x = 2y2 + 12y

+ 15}
Solucin:
x = ay2 + by + c, la ecuacin de la parbola est en su forma general y la
ordenada del vrtice se puede determinar mediante la expresin y =
b
2a
, el
valor de la abscisa se obtiene reemplazando el valor anterior en la

ecuacin.
x = 2y2 + 12y + 15
Si y = -3
la ordenada del vrtice es y =
x = 2(-3)2 + 12(-3) + 15
(12)
2( 2)
= -3
x = -3 es la abscisa del vrtice.
La parbola tiene vrtice en el punto V(-3, -3), su eje de simetra es

horizontal y se abre hacia la derecha.
49
Dom(R) = [-3, + > y Ran(R) =
ACTIVIDAD DE SISTEMATIZACIN
1. Escribe por comprensin las siguientes relaciones.
1; 4 ; 2;9 ; 3;16 ; 4; 25
(0;1); 1; 2 ; 2; 5 ; 3;10
2; 5 ;
1; 3 ; 0; 1 ; 1;1 ; 2;3
2. Determina las inversas de las relaciones del ejercicio 1

3. Halla el dominio y rango de las siguientes relaciones reales.
1. 3 x 3 y 2 3 xy 6 0
2.
4 x2
9 y2
36
3.
2 x2
2 y2
32
4.
3y
6 x2
12
4. Determina la relacin inversa de la siguiente relacin real. xy

5. Dados
{( x, y )
los
conjuntos:
AxB / x
A=
3; 4;5;6 y
B=
4;6;8
2x
y
la
relacin
R=
y 11} Cuntos pares ordenados satisfacen la relacin R?
6. Dados los conjuntos: A= 1; 2;3; 4
y B= 1; 4;6;9 y la relacin R= Cuntos

( x, y)
AxB / y
x2
pares ordenados satisfacen la relacin R?

7. Hallar el valor de x e y, para que los pares siguientes sean iguales. (2x-7y;5) y
(20,x-y)
8. Sean A =
( x, y )
9. Sean
{( x, y )
2;3;8;9
y B =
4;6;7 ;
BxA / x y . Hallar Ran (R 1 )

los
conjuntos:
AxB / x. y
A= 2; 4;6 ,
R1 =
( x, y )
AxB / x 2
2 , R2 =
Dom (R 2 )
B= 1;3;5;7
Hallar
las
relaciones:R=
6}
ACTIVIDAD DE EVALUACIN
1. Calcula x.y, sabiendo que: (5 x, 2y 3) = (3 x 7, 5y 18)

a) 12 b) 18 c) 16
d) 15 e) 21
50

2. A que cuadrante pertenece el par ordenado (x y, y x), sabiendo que:(2x + y, 20)
= (15, 3x y)
a) IC b) IIC c) IIIC d) IVC
e) Est sobre uno de los ejes
3. Cuntos pares ordenados cumplen con la condicin (xy, x+y) = (24, 10)?
a) 0 b) 1
c) 2
d) 3 e) 4
4. 04. Dados los conjuntos A, B y C, sabemos que: n(A x B) = 84, n(B x C) = 98 y n(A)
+ n(C) = 26. Calcula cuntos elementos ms tiene C que A.
a) 2 b) 3 c) 4 d) 6 e) 7
5. En A = {1, 2, 3, 4, 5} se define R: R = {(1,1), (2,2), (3,3), (5,1), (2,4), (5,4), (5,2),
(4,3) (3,5)}
Si M = {x A / (x, 2) R
N = {y A / (3, y) R}
P = {x A / (x, 5) R}
Entonces: (M N) P es:
a) {2, 5}
b) {3, 5}
c) {3}
d) {5}
e) {1,2,4,5}
6. Sean los conjuntos:A = {x N/ -1 x < 5}, B = {x Z/ 2 x 4} y las relaciones: R1
= {(x, y) A x B / x < y} R2 = {(x, y) A x B/ x + y = 3} Halla el nmero de elementos
de:Dom(R1) Ran(R2)
a) 0
b) 1
c) 2
d) 3
e) 4
FUNCIONES
6.1. Funcin: Una funcin es una regla que asigna a cada elemento de un conjunto A
uno y slo un elemento de un conjunto B. El conjunto A es el dominio de la
funcin, y el conjunto B es el contra-dominio de la funcin.
Ejemplo 1: Dados los conjuntos: A = {1, 3, 5, 7, 9} y B = {2, 4, 6, 8, 9}, determina
cuales de las siguientes relaciones son funciones:
R1 = {(x, y) A x B/ x + y es mltiplo de 5}
R2 = {(x, y) A x B/ x = y + 1}
R3 = {(x, y) A x B/ y = x2}
R4 = {(x, y) A x B/ x y deja resto igual 3}
Solucin:
R1 = {(1, 4), (1, 9), (3, 2), (7, 8), (9, 6)}
R1 no es funcin
R2 = {((3, 2), (5, 4), (7, 6), (9, 8)}
R2 si es funcin
R3 = {(3, 9)}
R3 si es funcin
R4 = {(3, 4), (3, 6), (3, 8), (3, 9), (5, 2), (7, 4), (9, 6)}
R4 no es funcin
6.1.1. Dominio de una Funcin: Es el conjunto de todas las primeras componentes
y se denota por: Df o Dom f
Df x A/ !y B (x, y) f
A
6.1.2. Rango de una Funcin: Es el conjunto de todas las segundas componentes
y se denota por R f o Ran f:
Rf
y B/ x
A (x, y) f
Ejemplo:
Sea f={(1,2),(3,4),(5,6),(7,8)}su dominio y rango es: Df ={1,3,5,7}; R f ={2,4,6,8}.
51

6.2. Grfica de una funcin
Al igual que en el caso de las relaciones, una forma sencilla de analizar las
funciones es a travs de grficas, que permiten visualizar el que sea una funcin,
el tipo de funcin, los pares que pertenecen a la funcin, su dominio y su rango.
Se puede utilizar un Diagrama Sagital, utilizando diagramas de Venn-Euler para
los conjuntos de partida y llegada, donde mediante flechas se indican los
elementos que estn relacionados; o tambin un Plano Cartesiano donde en el
eje de abscisas o eje X se representan los elementos del conjunto de partida y en
el eje de ordenadas o eje Y se representan los elementos del conjunto de llegada,
Ejemplo: Dados los conjuntos: A = {1, 2, 3, 4, 5} y B = {3, 7, 9, 11, 13} y la
funcin: f = {(x, y) A x B / y = 2x + 1}. Determina y grafica f.
Solucin:
x=1
y = 2(1) + 1 = 3; x = 2
y = 2(2) + 1 = 5 B; x = 3
7; x = 4
y = 2(4) + 1 = 9; x = 5
y = 2(5) + 1 = 11.
La funcin f es: f = {(1, 3), (3, 7), (4, 9), (5, 11)}
Diagrama Sagital
y = 2(3) + 1 =
Diagrama Cartesiano
Dom(f) = {1, 3, 4, 5} y Ran(f) = {3, 7, 9, 11}

6.3. Tipos de Funciones
Existen diversos tipos de funciones, algunas asocian a cada elemento del rango
un nico elemento del dominio; en otras existe una preimagen para cada elemento
del conjunto de llegada. Etc.
En esta parte slo abordaremos los tipos de funciones ms caractersticas son
son las inyectivas, sobreyectivas y biyectivas.
6.3.1. Funcin inyectiva: Si f es una funcin de A en B, se dice que f es inyectiva si a
elementos diferentes del dominio les corresponde diferentes imgenes en B.
Una funcin f: A B es inyectiva
x1, x2 Dom(f), x1 x2 f(x1) f(x2)
Una funcin f: A
B es inyectiva
x1, x2 Dom(f), f(x1) = f(x2)
x1 = x2
52
6.3.2. Funcin sobreyectiva: Si f es una funcin de A en B, se dice que f es

sobreyectiva si el rango de la funcin es igual al conjunto de llegada B.
Una funcin f: A
B es sobreyectiva
Ran(f) = B
Una funcin f: A
B es sobreyectiva
y B, x A/ (x, y) f
6.3.3. Funcin biyectiva: Si f es una funcin de A en B, se dice que f es biyectiva si

a la vez es inyectiva y sobreyectiva. Para todo elemento del conjunto de llegada
existe un nico elemento que pertenece a A del cual es imagen.
Una funcin f: A B es biyectiva f es inyectiva y f es sobreyectiva
Una funcin f: A
B es biyectiva
y B, !x A/ (x, y) f
53

6.4. Funciones Reales
Muchas funciones estn definidas en el conjunto de los nmeros reales R o en
algn subconjunto de R, estas funciones se analizan algebraica y grficamente
para la determinacin de sus propiedades, como dominio, rango y
comportamiento.
6.5. Regla Prctica para Calcular el Dominio
Si la funcin es polinomial el dominio es el conjunto de los nmeros reales (R).
Adems si la funcin polinomial es de grado impar, el rango tambin es R.
Ejemplo:
i) f(x) = 6x8 +x5 + x3 + 3
Dom(f)= R
3
2
ii) g(x) = x 2x +x +3
Dom(g) = R y Ran(f) = R
Si la funcin es racional: F(x) = H ( x) , el dominio se obtiene como:
G ( x)
Dom (f) = R {x/ G(x) = 0}

Ejemplos:
i)
ii)
iii)
F(x) = 2 x 3
x 2
x
G(x) = 2
x
9
H(x) =
DF = R { 2 }
DF = R { 3, -3 }
x 5
x 2 16
Observacin: x2 + 16
DF = R
Si la funcin es irracional: F(x) =

DF = {x
R / G ( x)
G (x ) , el dominio se obtiene como:
0}
Ejemplos:
i) F(x) = 6 x
Observe que: 6 x 0
Luego: DF =<- ; 6]
ii) G(x) =
6 x
x 6
x 3
x 4
Obs. x - 4 >0
x>4
Luego: DF =<4; + >
Nota: No existe una regla especfica para el clculo del rango, sin embargo se
recomienda despejar x en funcin de y para luego analizar para que valores de
y la funcin est definida.
Ejemplo: Halle el rango de:
F ( x)
3x 1
x 2
Solucin:
i) x - 2 0
x 2
Luego: DF= R {2}
3x 1
ii) Rango: y
despejando x en funcin de y
x 2
yx 2y = 3x 1
yx 3x = 2y 1
54

x(y-3) =2y 1
Como: y - 3 0
2y 1
y 3
x
y
Luego: RF = R {3}
6.6. Funciones Especiales

6.6.1. Funcin Constante: f(x) = c, es decir:
{ (x, y) RxR/y
c, " c" es constante }
Donde Df =R; R f = {c}.

Su grfica es:
f(x)=c
c
X
0
6.6.2. Funcin Lineal:
f {(x, y) RxR/y ax b, a 0} ,
Donde: Df =R; R f =R.
Y
X
6.6.3. Funcin Raz Cuadrada: f(x)
x . Donde: Df = R ;
Rf
= 0,
6.6.4. Funcin Valor Absoluto: A la funcin f le llamaremos funcin valor absoluto si

x, x 0,
su regla de correspondencia es: f(x)=x , es decir: x
x, x 0.
f(x)=x
Donde: Df = R ;
R f = 0,
55

6.6.5. Funcin Cuadrtica: f(x) = ax2 +bx + c, a 0
Si a>0 se tiene
Si a<0, se tiene
Donde:
v: Vrtice
V
b 4ac b 2
;
2a
4a
Si a>0: Df= R, Rf = [ 4ac
b2
>
4a
Si a<0: Df= R, Rf =<-
4ac b 2
4a
Operaciones con Funciones

6.7.1. Suma de funciones: Sean f y g dos funciones de variable real definidas en un
mismo intervalo. Se llama suma de ambas funciones, y se representa por f + g,
a la funcin cuya regla de correspondencia es:
6.7.2. Resta de funciones: Del mismo modo que se ha definido la suma de
funciones, se define la resta de dos funciones de variable real f y g, como la
funcin cuya regla de correspondencia es:
Para que esto sea posible es necesario que f y g estn definidas en un mismo
intervalo.
6.7.3. Producto de funciones: Sean f y g dos funciones de variable real, y definidas
en un mismo intervalo. Se llama funcin producto de f y g a la funcin cuya
regla de correspondencia es:
6.7.4. Cociente de funciones: Dadas dos funciones de variable real, f y g, y
definidas en un mismo intervalo, se llama funcin cociente de f y g a la funcin
cuya regla de correspondencia es:
La funcin f/g est definida en todos los puntos en los que la funcin g no se
anula.
6.7.5. Producto de un nmero por una funcin: Dado un nmero real a y una
funcin f, el producto del nmero por la funcin es la funcin definida por:
6.7.6. Composicin de funciones
Si se tienen las funciones: f = {(1, 3), (2, 4), (3, 5), (4, 6), (5, 7), (6, 8)} y g = {(4,
1), (9,2),(7, 4), (10, 6), (12, 8)} entonces para algunos pares de g la segunda
componente es igual a la primera componente de algn par ordenado de f y
podramos relacionar la primera componente del par de g con la segunda
componente del par ordenado de f, as:
56

g
par resultante
(4, 1)
(1, 3)
(4, 3)
(9, 2)
(2, 4)
(9, 4)
(7, 4)
(4, 6)
(7, 6)
(10, 6)
(6, 8)
(10, 8)
Obteniendo de esta forma una nueva funcin h = {(4, 3), (9, 4), (7, 6), (10, 8)} la
cual se dice que es la composicin de las funciones f y g, en ese orden, y que
se representa (f g).
Dadas dos funciones f: C
D y g: A
B, se denomina f composicin g, y se
representa
f
g, a la funcin de A
D, donde a un valor x
Dom(g) se le hace
corresponder el valor f[g(x)] Ran(f).
f
g = {(x, y)/ y = f[g(x)], x
Dom(g)
g(x)
Dom(f)}
Ejemplo: Dadas las funciones: f = {(2, 5), (4, 8), (6, 9), (7, 7), (8, 10)} y g = {(5,
8),
(8, 9), (9, 2), (10, 4), (11, 13)}. Determina (f o g) y (g o f).
Solucin:
Para (f o g) su dominio es subconjunto del Dom(g) y su rango es
subconjunto del Ran(f), construyendo el diagrama correspondiente se tiene:
Del grfico puede observarse que:
57

(5, 8)
(8, 10)
(9, 2)
(2, 5)
(10, 4)
f
f
(4, 8)
(5, 10)
(9, 5)
fog
fog
(10, 8)
fog
f o g = {(5, 10), (9, 5), (10, 8)}

Para (g o f) su dominio es subconjunto del Dom(f) y su rango es
subconjunto del Ran(g), construyendo el diagrama correspondiente se tiene:
Del grfico puede observarse que:

(6, 9)
(9, 2)
(6, 2)
gof
(4, 8)
(8, 9)
(4, 9)
gof
(8, 10)
(2, 5)
f
f
(10, 4)
(5, 8)
g
g
(8, 4)
(2, 8)
gof
gof
g o f = {(6, 2), (4, 9), (8, 4), (2, 8)}

Como puede observarse, en general f o g
g o f, es decir la composicin de
funciones no es conmutativa, y hay que tener cuidado con el orden en que

se componen las funciones.
Ejemplo: Dadas las funciones en

g)(x) y (g o f)(x).
: f(x) = 2x 3 y g(x) = x2 + 1. Determina (f o
Solucin:
La composicin de funciones, cuando stas vienen dadas por ecuaciones
implica una sustitucin de variables, reemplazando una funcin en otra.
(f o g)(x) = f[g(x)] = f(x2 + 1) = 2(x2 + 1) 3 = 2x2 + 2 3
(f o g)(x) = 2x2 1
(g o f)(x) = g[f(x)] = g(2x 3) = (2x 3)2 + 1 = 4x2 12x + 9 + 1
(g o f)(x) = 4x2 12x + 10
6.7. Funcin Inversa
58

Sabemos que toda funcin es una relacin, pero la relacin inversa no siempre es
una funcin. Por ejemplo: Si
B ; f ( x)
2; 1;0; 2
A =
0;1; 2; 4;5
y B =
y f: A
x 2 , entonces:
f = ( 2; 4), ( 1;1), (0;0), (2; 4)

La inversa de esta relacin es el subconjunto de BxA:
g = (4; 2), (1; 1), (0;0), (4; 2)
Se observa que g no es una funcin de B en A, por que no se
condicin de unicidad, ya que 4 tiene un par de imgenes en A.
cumple
la
ACTIVIDADES DE APLICACIN
1.
Sean las funciones f(x) = 3x + 1, y g(x) = 2x - 4. Definir la funcin f + g y calcular

las imgenes de los nmeros 2, -3 y 1/5.
Solucin:
La funcin f + g se define como
(f + g) (x) = f(x) + g(x) = 3x + 1 + 2x - 4 = 5x - 3.
(f + g) (2) = 5 2 - 3 = 7
(f + g) (-3) = 5(-3) - 3 = -18
(f + g) (1/5) = 5 1/5 - 3 = -2
Obsrvese que si se calculan las imgenes de f y g por separado y se suman,
el resultado es el mismo.
Por ejemplo, para la imagen de 2,
f (2)
g (2)
2.
3.2
2.2
1
4
7
0
f (2)
g (2)
Dadas las funciones f (x) = x2 - 3, y g(x) = x + 3, definir la funcin (f - g)(x).

Calcular las imgenes de 1/3, -2 y 0 mediante la funcin f - g.
Solucin:
Calculando las imgenes de los nmeros mediante las funciones f y g por

separado, y efectuando la resta, se obtiene el mismo resultado.
3.
Dadas las funciones f ( x)
x
3 y g ( x)
3
2x
1 . Definir la funcin f.g
Solucin:
59
4.
Calculando las imgenes de los nmeros mediante las funciones f y g por

separado, y multiplicando despus, se obtienen los mismos resultados.
Dadas las funciones f(x) = -x - 1, y g(x) = 2x + 3, definir f/g.
Calcular las imgenes de los nmeros 1; 2 y 3/2; mediante f/g
Solucin:
La funcin f/g est definida para todos los nmeros reales, salvo para x = -3/2,
donde la funcin g se anula.
Calculando por separado las imgenes de los nmeros mediante las funciones f y
g, y despus efectuando su cociente, se obtienen los mismos resultados.
5.
Dada la funcin f(x) = x2 + x 2, calcular 3.f
1
.f
3
Obtener las imgenes de
los nmeros 2, 1 y 0 mediante la funcin 3 f.

Solucin:
3. f ( x)
3. f ( x)
1
. f ( x)
3
1
. f ( x)
3
3( x 2
1 2
x
3
3x 2
2)
3x
3x
(3.f)(2) = 3.22 + 3.2 6 = 12

(3.f)(1) = 3.12 + 3.1 6 = 0
(3.f)(0) = 3.02 + 3.0 6 = 6
1.
2.
3.
Hallar ( a + b) para que:

A = { (2;5); (1;3); (b -2a; 3); (1; a2 b2 ); (2; 2a + b)} sea una funcin.
A) 0
B) 1
C) 2
D) 3
E) 5
Sean f y g dos funciones definidas por:F = { (2; a + b + c), (1; a-b-c), (2;8),(3; b+c),
(4;a), (1;2)} y G = { (x; y) F / y x = 1}. Entonces, el nmero de elementos de la
funcin G, es:
A) 1
B) 2
C) 3
D) 4
E) 5
Dado: F : A
B
F
Si: F(1) + F(2) + F(3) = 0,
1
a
Hallar
2
b
(a b)3 (b c)3 (a c)3
3
c
E
abc
A) 3
B) 3
C) 2
D) 6
E) 1
60

4.
A) [-1; > U [2; + >

<1; 2]
D) <- ; -1> U <1/2; 2>
5.
7.
8.
9.
B) <-
; -1] U < 1/2; 2]
C) < -
; -1] U
E) [-1;2]
Determine el rango de: F ( x)

A) R
puede.
6.
x2 x 2
1 2x
Hallar el dominio de la funcin: F ( x)
B) R
C) [ 5; +
Sea F una funcin real, tal que: F ( x)
x2 ;
D) R {5}
>
E) No se
3 el rango de F es:
A) [4;9]
B) <4;9]
C) [-4; 9]
D) [0; 4]
E) [0;9]
Si la funcin ganancia, en la editorial MI ACADEMIA, est dada por: G(x) = -3x2
+ 96x + 552. Indicar como respuesta la suma de las cifras de la ganancia mxima.
A) 6
B) 7
C) 4
D) 5
E) 7
Siendo F una funcin lineal tal que: { (n;n), (3;9), (-1;1)} F. Halle el valor de: 2n2
+3
A) 35
B) 3
C) 53
D) -32
E) 21
2
Una bola se coloca en el punto P de la parbola y = x x 6 cuya ordenada es 6.
Se le deja rodar por la parbola hasta que llegue a un punto Q, cuya ordenada es
-6, entonces la distancia mnima horizontal recorrida por la bola es:
A) 2
B) 3
C) 4
D) 5
E) 6
ACTIVIDADES DE EVALUACION
1. Si F representa a una funcin: F= {(3; 7a + 2b), (2; 5), (2;a+ 2), (3; 5b - 2a)} cul (o
cules) de los siguientes conjuntos son funciones?
A = {(a; b), (b -a; 5), (5; b - a), (a + b; 5)}, B = {(3; b), (b ; 3), (3; 8), (9; 2a - b)}, C =
{(3; 5), (9; 7), (b; a), (5a + 3b)}
2. Sean: f = {(0;2); (2;4); (4;6); (6;8)} y g = {(0;3); (2;5); (4;1); (6;8)}. Calcular: f/g, g
3f, (4f)(2g), 2f-1 + g-1 , fog
3. Sean las funciones definidas como: f(x) = 2x 4 y g(x) = x2 4x + 5.Calcular: f/g; g
3f; (4f)(2g), 2f-1 + g-1; fog
4. Determina: Dominio, rango y las inversas de las siguientes relaciones reales.
a)x2 + 4y = 4
b)3x2 + 2y 8 = 0
c)3x2 4y2 = 12
d)x2 2x + y + 1 = 0
5. Sea g una funcin natural (g:N N), definida por: g(x) = x + 5. Determina el
Dominio y Rango de esta funcin.
6. Siendo: f(x) = x2 5x + 6 +
1
x 7
x 5 . Determina su Dominio.
7. Determina si las siguientes funciones son inyectivas o suryectivas.

a) f(x) = x2 3x + 5
d) f(x 5) = 3x + 7
b) f(x) =
x 1
c)f(x 2) = 3x + 11
8. Sea f una funcin real definida por: f(x + 1) = x2 + 1. Calcula f(a).
9. Calcula la funcin inversa de la funcin definida como: f(x 5) = 3x + 7.

10. Halla: (f o g), si: f(x) = 2x+6, x [0, 8], g (x) = x2 1, x [ -2, 2 >
a) 2x2 4
b) 2x + 4
61

c) 2x2 2
d) 2x2 + 4
e) 2x 4
62

Lógica Proposicional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

El presente modulo est elaborado para el desarrollo del curso de Matemtica.

Esperamos este material se enriquezca permanentemente con el aporte de los

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

SIMBOLIZACIN Y VALORACIN DE PROPOSICIONES

Para dos proposiciones: p, q se tiene la siguiente tabla de verdad:

Walter Orlando Gonzales Caicedo

2.2. Conectivos Lgicos

SMBOLO NOMBRE DE LA PROPOSICIN

2.2.1. Negacin (~): Es un conectivo singular. Se denomina proposicin negativa

Nadie que sea ...

2.2.2. Conjuncin: Dadas las proposiciones p, q. La conjuncin es el resultado de

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

2.2.3.2. Disyuncin Exclusiva o Fuerte: Se denota por: p q, p V q, p q, p

... no equivale a ...

q: O viajo a Espaa o viajo a Brasil

Por lo tanto su tabla de verdad es:

2.2.4. Condicional: Proposicin compuesta que resulta de la combinacin de dos

Walter Orlando Gonzales Caicedo

Puede tambin expresarse en el orden consecuente-antecedente (q

q: Siempre que llueva entonces mejoraran las cosechas

p: Mejoraran las cosechas siempre que llueva

Su tabla de verdad queda de la siguiente manera:

Walter Orlando Gonzales Caicedo

Es suficiente para que suficiente sea

2.3. Valoracin de las Proposiciones

Walter Orlando Gonzales Caicedo

Se observa que en la columna (1) se tienen los valores de la proposicin p, en

La tabla de verdad para el esquema molecular, esta dado por:

Walter Orlando Gonzales Caicedo

Como podemos apreciar las proposiciones, las expresamos en forma simblica; a

Miguel Grau naci en Piura, no obstante es chileno.

Si Anabel esta en el cine, entonces Raquel debe estar en el cine tambin.

Walter Orlando Gonzales Caicedo

Estars a tiempo slo si te da prisa.

3. Formaliza cada una de las siguientes proposiciones, luego construye su tabla

Estudiar y trabajar es condicin suficiente para ser responsable y admirado por

Walter Orlando Gonzales Caicedo

5. A continuacin se presenta una serie de ejercicios en la cual se especifica lo

Walter Orlando Gonzales Caicedo

Dado que la luna es un satlite por lo cual gira alrededor de la tierra.

Per y Ecuador se pondrn de acuerdo salvo que intervenga EE.UU.

Eres campen o subcampen.

Este ao viajar al extranjero salvo que slo viaje a Lima.

A menos que solamente seas Ingeniero, sers matemtico.

Un numero es positivo si y slo si es mayor que cero

Barack Obama es el primer presidente de raza negra de los Estados Unidos es

El 18 de abril celebraremos el aniversario de Chiclayo o la cada del muro de

2. Escribe en forma simblica, identificando cada una de las proposiciones

Walter Orlando Gonzales Caicedo

El trabajo de lgico matemtica est bien documentado y bien escrito.

Los dos esquemas moleculares anteriores son lgicamente equivalentes, es decir:

Los dos esquemas moleculares anteriores son lgicamente equivalentes, es decir:

Demostrar los resultados obtenidos en las tablas de verdad.

Walter Orlando Gonzales Caicedo

b) Demostrar si los siguientes esquemas moleculares son equivalentes, es decir:

3.2.3. Leyes Conmutativas:

3.2.4. Leyes Asociativas:

Walter Orlando Gonzales Caicedo