Folleto Matematica I-2012

ESCUELA SUPERIOR DE
FORMACIN ARTSTICA PBLICA-

ANCASH
RANGO UNIVERSITARIO N 29550 RESOLUCIN N0564-2012-ANR
MATEMTICA BSICA I
EDUCACIN ARTSTICA:
ARTES PLASTICAS
MUSICA
DANZA FOLKLORICA
ARTISTA PROFESIONAL:
INTERPRETACIN
MUSICAL

CICLO I
LI C. RONDN RAM REZ CARL OS V C T OR
2012

Lic. RONDN RAMREZ Carlos Vctor Pgina 2

MATEMATICA I Matemtica bsica
ESFAP - A
L O G I C A P R O P O S I C I O N A L
INTRODUCCIN
La ciencia que se basa en las leyes, modalidades y formas del conocimiento cientfico se conoce
bajo el nombre de lgica. Se trata de una ciencia de carcter formal y una rama de la filosofa
que estudia los principios de la demostracin e inferencias vlidas; carece de contenido ya que
hace foco en el estudio de las alternativas vlidas de inferencia. Es decir, propone estudiar los
mtodos y los principios adecuados para identificar al razonamiento correcto frente al que no lo
es.
La etimologa permite saber que el trmino lgica tiene su origen en el vocablo latn logca,
que a su vez deriva del griego logiks (de logos, razn o estudio). El filsofo griego
Aristteles, cuentan los expertos en cuestiones histricas, fue pionero al emplear la nocin para
nombrar el chequeo de los argumentos como indicadores de la verdad dentro de la ciencia, y al
presentar al silogismo como argumento vlido.
Aristteles est considerado como el padre de la Lgica formal. En cambio, la lgica informal
refiere al examen metdico de los argumentos probables a partir de la oratoria, la retrica y la
filosofa, entre otras ciencias. Tiene como objetivo el reconocimiento de paradojas y falacias, as
como ser un recurso eficaz para construir los discursos de forma correcta.
La lgica natural es la destreza natural para razonar sin apelar a la ciencia. La denominada
lgica borrosa o difusa, en cambio, es aquella que contempla una determinada incertidumbre al
analizar el carcter verdico o falso de las proposiciones, a semejanza del raciocinio propio del
ser humano.
Por otra parte, la lgica matemtica se caracteriza por emplear un lenguaje simblico artificial y
realizar una abstraccin de los contenidos.
Existen otros tipos o clases de lgica, como la llamada lgica binaria, la cual trabaja con
variables que slo toman dos valores discretos.

OBJETIVO DE ESTUDIO DE LA LOGICA FORMAL
La lgica es formal porque estudia la forma o estructura de todos los razonamientos. Por lo tanto,
su objeto de estudio es la estructura del razonamiento.

La lgica estudia los procesos validos del razonamiento humano. Es una disciplina que se utiliza
para determinar si un argumento es vlido, tiene aplicacin en todos los campos del saber; como
en la filosofa, para determinar si un razonamiento es vlido o no, ya que una frase puede tener
diferentes interpretaciones; sin embargo la lgica permite saber el significado correcto. Los
matemticos usan la lgica, para demostrar teoremas e inferir resultados que puedan ser
aplicados en investigaciones. En la computacin, para revisar programas y crear sus algoritmos,
es utilizada en el diseo de computadoras. Existen circuitos integrados que realizan operaciones
lgicas con los bits, gracias a estos se ha desarrollado las telecomunicaciones (telefona mvil,
internet,...)
Existen dos tipos de razonamiento: Inductivo y Deductivo.
Razonamiento Inductivo es el razonamiento por el cual una persona en base a sus experiencias
especificas, decide aceptar como valida un principio general.
Razonamiento Deductivo es, en cambio, el medio segn el cual dicha persona utiliza el principio
general aceptado previamente para decidir sobre la validez de una idea, que a su vez habr de
determinar el curso de su accin.
Lo que veremos es la lgica proposicional, a travs del uso y manejo de una simbologa
adecuada.
Finalmente todo desarrollo matemtico exige razonar en forma vlida acerca de cosas
trascendentes y particularmente abstractas. Hay que comenzar por eliminar las ambigedades del


ESFAP - A
lenguaje ordinario, introduciendo smbolos y conectivos cuyo uso adecuado descarte las
contingencias, aporte claridad y economa de pensamiento.

IMPORTANCIA DE LA LGICA

Valor la importancia de la lgica, nos lleva a preguntarnos: puede un hombre pensar
correctamente sin conocer las leyes y las reglas de la lgica? La verdad existen msicos que sin
dominar el solfeo y sin leer nota, puede interpretar con cierta eficiencia un instrumento. Pero su
creacin intelectual en cuanto a la composicin de obras originales es restringida. Algo similar
sucede con quien estudia lgica; piensa de un modo ms preciso, sus argumentos son ms fuertes
y contundentes, y en la prctica menos errores al razonar.
La lgica ayuda a demostrar los juicios vlidos y a descartar los incorrectos; ensea a pensar.
Clara, concisa y correctamente. La lgica es imprescindible a todos, a lo ms diversos
profesionales: a los profesores que deben formar en los estudiantes un pensamiento lgico y
crtico, a los juristas para poder plantear la argumentacin de la defensa y refutar las acusaciones,
a los mdicos que diagnostican una enfermedad a partir de los sntomas. La lgica la necesitan
todas las personas independientemente al oficio que desempea.
Ayuda a los estudiantes a asimilar la informacin en el estudio de las diferentes ciencias y
actividades prcticas, les facilita separar lo secundario de lo esencial, a percibir de modo critico
las definiciones y las clasificaciones de los diferentes aspectos tratados en cada ciencia, a
seleccionar formas correctas de demostracin. En fin, a comprender mejor la naturaleza de las
cosas.
Otra aplicacin valiosa que podemos dar a la lgica es en la confeccin de prrafos, informes y
todo tipo de textos.
La lgica es una poderosa herramienta que nos permitir realizar razonamientos correctos,
arribar a conclusiones vlidas, demostrar los teoremas; en in construir en nuestra mente, un
conjunto de conocimientos conforme a las leyes que rigen la materia, de modo que estos
conocimientos sean el fiel reflejo de la realidad.

ELEMENTOS DE LA LGICA SIMBLICA

I. ENUNCIADO: Es cualquier frase u oracin que expresa una idea.

PROPOSICIN (enunciado cerrado).- Son oraciones aseverativas que se pueden calificar
como verdaderas o falsas. Se representan con las letras minsculas del abecedario: p; q; r; s.

Ejemplos:
- Tpac Amaru muri decapitado.
* 9 < 10
* 45 = 3 2
- Juan ama la msica
- El perro es un pez


ESFAP - A
- El calor dilata los cuerpos

Expresiones no Proposicionales.- Son aquellos enunciados a los que no se les puede
asignar un valor de verdad. Entre ellos tenemos a las exclamativas, declarativas,
interrogativas o imperativas, orden.

Ejemplos:
- Cul es su nombre?
- Prohibido pasar
- Detngase
- Borra la pizarra
- Qu hora es?
- Viva el Per!
- Por favor mtame con pasin

OBSERVACIN: Toda proposicin es un enunciado, pero no todo enunciado es una
proposicin.

II. ENUNCIADO ABIERTO: Son enunciados que pueden tomar cualquiera de los 2 valores de
verdad.

Ejemplo:
Si en la proposicin: "cinco es mayor que tres" (en smbolos: 5 > 3) reemplazamos al nmero
5 por la letra x, se obtiene la expresin "x es mayor que tres" (x > 3), y si convenimos que x
no represente necesariamente al nmero 5, sino a un nmero cualquiera, entonces al
enunciado x > 3 se le denomina enunciado abierto.

Ejemplo:
Si :

Se cumple que:
P(9) : 9 > 6 Es verdadero
P(2) : 2 > 6 Es falso
El valor de verdad de P(x) depende del valor de x, tambin, se le conoce como funcin
proposicional.

III. VARIABLE: Es una cantidad susceptible de variar en un determinado campo o recorrido a
las variables representamos por las letras minsculas x, y ,z, t, u, v, y son denominados
variables indeterminados.
Ejemplo:
Se tiene un numero real , si xe9, entonces x puede ser un nmero mayor o
igual que 5 y su campo o recorrido es x>5

PROPOSICIONES LOGICAS
Es todo enunciado abierto que puede ser calificado como verdadero o falso, sin ambigedad. Las
proposiciones lgicas estn representadas por letras minsculas: p, q, r, t, etc.
A la veracidad o falsedad de una proposicin se le llama valor de verdad.

Ejemplos:
6 x : ) x ( P >


ESFAP - A
p: Huaraz es la capital de Ancash .Verdadero ( V )
q: 120+400=20.. Falso ( F )

VALOR DE VERDAD.- Son dos valores posibles: Verdadero o Falso, y pueden esquematizarse
en una tabla en la forma:
p
V
F

CLASES DE PROPOSICIONES:

1. Proposicin Simple o Atmica.- Son aquellas que no tienen oraciones componentes
afectadas por negaciones ("no") o trminos de enlace como conjunciones ("y"), disyunciones
("o") o implicaciones ("si . . . entonces"). Pueden aparecer trminos de enlace en el sujeto o
en el predicado, pero no entre oraciones.
Ejemplo:
* Cincuenta es mltiplo de diez.
* 8 es par
* Carlos es muy bello
* El hombre es bueno

2. Proposicin Compuesta o molecular: Formada por dos o ms proposiciones simples
unidas por conectivos lgicos o por el adverbio de negacin.

Ejemplo:
* 29 es un nmero primo y 5 es impar.
* Samuel es artista plstico o msico
* Hoy llueve y ayer hizo sol
* Juan no es deportista
* Hoy es Lunes y maana es Jueves
Ejemplos
Ensayemos una lista clasificada y luego algunas aclaraciones:
1. Vincent Van Gogh es un pintor.. (Simple)
2. Sen 30 no es un nmero mayor que 1... (Compuesta)
3. El 14 y el 7 son factores del 42 (Simple)
4. El 14 es factor del 42 y el 7 tambin es factor del 42.. (Compuesta)
5. El 2 o el 3 son divisores de 48. ... (Simple)
6. El 2 es divisor de 48 o el 3 es divisor de 48 (Compuesta)
7. Si x es nmero primo, entonces x impar.. (Compuesta)
8. Si x > 10, entonces 2x - 3 > 16 (Compuesta)
9. No todos los nmeros primos son impares.. (Compuesta)
Algunas aclaraciones
a) No obstante que los ejemplos 3) y 4) gramaticalmente significan lo mismo, operativamente
se consideran distintos. Similarmente 5) y 6).
b) A veces proposiciones como la 8), aparecen escritas de la forma: 2x - 3 > 16, si x > 10.

CONECTIVOS LGICOS.- Son smbolos que enlazan dos o ms proposiciones simples para
formar una proposicin compuesta.


ESFAP - A
Los conectores lgicos que usaremos son:

OBS: La negacin es un conector mondico ("no", "no es ci erto que. . . ") , afecta solamente
a una proposicin.
Ejemplo: ~p; ~[(p*q) > r]; yo no estudi

OPERACIONES LGICAS Y TABLAS DE VERDAD

La validez de una proposicin compuesta depende de los valores de verdad de las proposiciones
simples que la componen y se determina mediante una tabla de verdad.

1. Conjuncin: Vincula dos proposiciones mediante el conectivo lgico "y". (Pero, tambin, sin
embargo, adems, tal como, no obstante, aunque, a la vez, sino, mas, as como, empero, sin
embargo, as como, a la vez,)

Diagrama de Gant
Simblicamente se representa: & o .
Ejemplo:
Juan est aqu y Erika ha salido

Para llegar a una solucin:
Se divide la proposicin molecular y se simboliza cada Proposicin.
As: A= Juan est aqu
B= Erika ha salido
Se identifica el conector lgico y se sustituye por su smbolo: A & B A ^ B.

Tabla de Verdad


ESFAP - A

Ejemplo:
Si p: 14+5>15 y q: 8 es nmero par. Calcular el valor de verdad de p .q
Solucin
p q p.q
V V V

2. Disyuncin (dbil o inclusiva): Vincula dos proposiciones mediante el conectivo lgico
"o".
Trminos equivalentes: salvo que, a menos que, o bien, o tambin, excepto que, etc.

Diagrama de Gant
Simblicamente se representa: v

Ejemplo:
Jessica est con Lemus o est con Argelia

Se divide la proposicin molecular y se simboliza cada proposicin.
As: A= Jessica est con Lemus
B= Jessica est con Argelia
Se identifica el conector lgico y se sustituye por su smbolo: A v B

Tabla de Verdad

Ejemplo:
Calcular el valor de verdad de p vq. Si p: 5 >15 ; q: 8 es menor que 1.
F F F
F V F
F F V
V V V
q p q p .
F F F
V V F
V F V
V V V
q p q p v


ESFAP - A
Solucin
p q pvq
F F F
Ejemplos:
La ballena es pez o mamfero
Har clase a menos que sea feriado
Voy a tu casa o bien te llamo

3. Disyuncin Exclusiva o fuerte: Vincula dos proposiciones mediante el conectivo lgico
"o ..........., o .............".

Se presenta cuando slo uno de sus miembros puede ser aceptado, el otro invalidado.
Simblicamente se presenta:
Tabla de Verdad

Ejemplos:
- O es mdico o es abogado
- O bien salimos del subdesarrollo tecnolgico o bien seguimos siendo suministradores de
materias primas.
- Entras o sales
- Sea p: k es par y q: k es impar. Calcular el valor de verdad de p A q.
Solucin
Si k es par, si puede ser impar (si p es V ; q es F)
Si k es impar, no puede ser par (si p es F ; q es V)
p q pAq
V F V
F V V
Ejemplo:
Nac en Huaraz o nac en Lima

4. Condicional o Implicativa: Vincula dos proposiciones mediante el conectivo lgico:
"Si............, entonces..............
Equivalencias: Sientonces, Cuando.ocurre, implica..,
es suficiente para., dado..por eso., En cuanto ..por
tanto.., siempre..que ., .., ..por consiguiente., De
se deduce que ., ..es condicional para ..
F F F
V V F
V F V
F V V
q p q p A


ESFAP - A

Diagrama de Gant

Simblicamente se representa:
Ejemplo:
Cinthya est enfadada entonces Argelia llego tarde.

Se divide la proposicin molecular y se simboliza cada Proposicin
A= Cinthya est enfadada
B= Argelia lleg tarde
Se identifica el conector lgico y se sustituye por su smbolo: A B

Tabla de Verdad

La proposicin p es llamado antecedente y la proposicin q es llamado consecuente.

Ejemplo:
Sea p: Alan Garca es presidente del Per ; q: 9 < 1. Hallar el valor de verdad de pq
Solucin
p: Alan Garca es presidente del Per ( V )
q: 9 < 1 ... ( F )

p q pq
V F F
Ejemplos:
Si es mamfero entonces es vertebrado.
Cuando llego tarde, me castigan.
F F F
V V F
F F V
V V V
q p q p
V


ESFAP - A
Es suficiente que abras la ventana para que entre la luz.
Dado que tengo que viajar, implica que tengo que comprar pasajes.
Para que moje es necesario que llueva.

5. Bicondicional o doble implicancia: Vincula dos proposiciones mediante el conectivo
lgico: ".............. si y slo si ..............".
Equivalentes: .cuando y solo cuando, entonces y slo entonces...,
es una condicin necesaria y suficiente de ., si, y solamente si ..

Tabla de Verdad

Ejemplo:
Abigail es feliz si solo si Alejandro est con ella

Se divide la proposicin molecular y se simboliza cada Proposicin
A= Abigail es feliz
B= Alejandro est con ella
Se identifica el conector lgico y se sustituye por su smbolo: A B

Ejemplos:
- A es mayor que B si, y solo si B es menor que A.
- Ir a la fiesta entonces, y slo entonces tenga un vestido nuevo
- La naranja es agradable si, y solamente cuando est madura.

6. Negacin: Afecta a una sola proposicin. Es un operador mondico que cambia el valor de
verdad de una proposicin.

Libre: Cuando afecta a proposiciones compuestas. (Es falso que, no es cierto que, es
imposible que, no es verdad que, es mentira que, no es el caso que, no es posible que, etc.)
Ejemplo: No es cierto que juegues y bailes: ~ (p . q)

Binegacin: Negacin conjunta, es decir conjuncin de negaciones y se identifica con el
trmino ni.
Ejemplo: Ni atiende, ni estudia: ~p . ~q

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


ESFAP - A

Diagrama de Gant

Ejemplo:
Leonardo no gan la competencia.

Debido a que una proposicin debe ser siempre afirmativa, "no" dentro de la oracin es
incorrecto. Para hacer que una proposicin sea negativa se realiza lo siguiente:
1. Se escribe la proposicin de manera afirmativa.
2. Se antepone el smbolo: ; ~ ; no.

Ejemplo:
Paris no est en Francia.
a). Se escribe la proposicin de manera afirmativa: Paris est en Francia.
b). Se simboliza la proposicin: G= Pars est en Francia.
c). Se niega la proposicin: G.
Por lo que se concluye: G= Pars no est en Francia.

Tabla de Verdad

Ejemplo: 2 es primo; su negacin es: 2 no es nmero primo.

OBSERVACIN: La cantidad de filas en una tabla es:

Donde n es la cantidad de proposiciones simples.

V
F
p ~
F
V
p
# filas = 2
n


ESFAP - A
IMPORTANTE:

* Cuando los valores del operador principal son todos verdaderos se dice que el esquema
molecular es TAUTOLGICO.

* Se dir que el esquema molecular es CONTRADICCIN si los valores del operador
principal son todos falsos.

* Si los valores del operador principal tiene por lo menos una verdad y una falsedad se dice
que es CONTINGENCIA O CONSISTENTE.

IMPLICACIN LGICA Y EQUIVALENCIA LGICA
IMPLICACIN LGICA
Una implicacin lgica es un condicional AB cuando es una tautologa, en tal caso se puede afirmar
que A implica a B y se denotar as A B.
Ejemplo
Sean los esquemas: A: ~p.q ; B: ~pvq. Comprobar que A implique a B.

Como AB es una tautologa entonces podemos afirmar que A implica a B y por consiguiente se
denotar as: ( ~p.q) (~pvq)
EQUIVALENCIA LGICA
Se llama equivalencia lgica cuando un esquema bicondicional AB es una tautologa, en este caso se
puede afirmar que A es equivalente a B y se denotar as AB, o tambin as AB.
Ejemplo:
Sean los esquemas: A: pq ; B: ~pvq
El esquema A es equivalente al esquema B?
Para averiguarlo se unen los esquemas A y B por el bicondicional. Veamos:

Luego A es equivalente a B. Entonces se puede escribir as: (pq) (~pvq) o (pq)(~pvq)
Ejemplos:
Si dos nmeros son pares entonces la suma es par. ( pq)


ESFAP - A
Se observa en el ejemplo: si dos nmeros son pares, con seguridad podemos afirmar que su suma ser
par. Sin embargo lo contrario, esto es, si la suma de dos nmeros es par, los nmeros no
necesariamente son pares.
Un nmero termina en par si, y slo si es mltiplo de 2.
Se observa que hay una implicacin en ambos sentidos. Si un nmero termina en par, entonces es
mltiplo de 2 y si un nmero es mltiplo de 2 entonces termina en cifra par.

IMPLICACIONES ASOCIADAS
Sea la condicional pq, que llamamos directo; en conexin con l, se presentan otros tres, obtenidos por
permutaciones o negaciones del antecedente y consecuente.

PROPOSICIN PROPOSICIN RECPROCO
pq qp

PROPOSICIN PROPOSICIN CONTRARIO o INVERSA
pq ~p~q

PROPOSICIN PROPOSICIN CONTRARRECPROCO o CONTRADIRECTA
pq ~q~p

Ejemplo:
Sea la proposicin compuesta: Si Carlos estudia, entonces ir al cine.
a) La proposicin recproco es: qp: Si Carlos va al cine, entonces estudia.
b) La proposicin contrario es: ~p~q: Si Carlos no estudia, entonces no ir al cine.
c) La proposicin contrarreciproco es: ~q~p: Si Carlos no va al cine, entonces no estudia.

EJERCICIOS PROPUESTOS

01. De los siguientes enunciados:
* Qu rico durazno.
* 7 + 15 > 50
*
Qu alternativa es correcta?

02. Cuntas de las siguientes expresiones son proposiciones?
* Dios mo .... se muri!
* El calor es la energa en trnsito.
* Baila a menos que ests triste.
* Siempre que estudio, me siento feliz.
* El delfn es un cetceo, ya que es un mamfero marino.
25 y x
2 2
= +


ESFAP - A
03. Dadas las siguientes expresiones:
* El tomo no se ve, pero existe.
* Los tigres no son paquidermos, tampoco las nutrias.
* Toma una decisin rpida.
* Hay 900 nmeros naturales que se representan con tres cifras.
* La Matemtica es ciencia fctica.
* Es imposible que el ao no tenga 12 meses.
Cuntas no son proposiciones simples?

04. Hallar el valor de verdad de las siguientes proposiciones:

05. Determinar el valor de verdad de cada una de las siguientes proposiciones:
I. Si: 3 + 1 = 7, entonces: 4 + 4 = 8
II. No es verdad que: 2 + 2 = 5 si y solo si 4 + 4 = 10.
III. Madrid est en Espaa o Londres est en Francia.

06. Si : ; es falsa, determinar los valores de verdad de "p", "q" y "r".

07. Si la proposicin: es falsa, deducir el valor de verdad de:

09. Si la proposicin compuesta:

Es falsa. Indicar las proposiciones que son verdaderas:

10. Si la proposicin:

Es falsa, hallar el valor de verdad de las siguientes frmulas:
I.
II.
III.

11. Indicar el valor de verdad de:
I.
II.
III.

12. Indicar el valor de verdad de:
I.
II.
) 11 2 7 ( ) 5 2 3 ( = v = +
) 8 10 2 ( ) 3 1 4 ( = =
) 5 12 ( ) 10 7 3 ( > . = +
|
.
|
\
|
= + |
.
|
\
|
=
2
3
2
1
1 2 1
2
r ) q ~ p ( .
) s r (~ ) q ~ p ( v
p ~ ) q ~ p (~ v .
) t r ( ) q p ( v .
) r q ( ) q p ( .
) q p ( ) r p ( ~ v v
) q r (~ ) q ~ p ( . v
) r ~ p ( )] r ~ q ( ) q p [( v . v .
) q p ( p v
) q p ( ) q p ( .
] p ) q p [( ~ .
] p ) q p [( ~ .
p ) q p ( .


ESFAP - A
III.
IV.

13. Sean p, q y r las proposiciones siguientes:
p: "est lloviendo"
q: "el sol esta brillando"
r: "hay nubes en el cielo"
Traducir las siguientes oraciones a notacin simblica utilizando las letras asignadas y
los conectivos lgicos:
1 Est lloviendo y el Sol brillando
2 Si est lloviendo, entonces hay nubes en el cielo
3
Si no est lloviendo, entonces el Sol no est brillando y
hay nubes en el cielo

4 El Sol est brillando si, y slo si, no est lloviendo
5 Si no hay nubes en el cielo, entonces el Sol est brillando
6 O est lloviendo o el sol est brillando

14. Sean p, q y r del ejercicio 13. Traducir las siguientes proposiciones simblicas a oraciones en
espaol:

1 (p.q)r
2 ~p(qvr)
3 ~(pvq).r
4 (pr)q
5 ~(p(qvr))

15. Determinar el valor de verdad de las siguientes proposiciones compuestas:
a) si: 2+45 entonces 1+1=2 3>5
b) Si 5>2 entonces 4+2=6 y 3+14
c) No es verdad que: si -2<-3 entonces 4>2 o 1>2
d) Si 5+2 8 entonces no es verdad que: 4+610 5+3=8
d) Si 6+1<5+2 entonces 6<5 y 1<2

16. Sea la proposicin: Si gano la lotera, ir de viaje. Escribe la proposicin: reciproca,
contradirecta e inversa.

LEYES DEL ALGEBRA PROPOSICIONAL
Las formulas lgicas resultan ser siempre verdaderas, no importa la combinacin de los valores
veritativos de sus componentes, son tautolgicas o leyes lgicas. En el clculo proposicional
existen algunas tautologas especialmente tiles cuya demostracin se reduce a la confeccin de
su correspondiente tabla de verdad, a saber:
INVOLUCIN O
DOBLE NEGACION
~(~p) p
LEYES DE p.~pF pv~pV
) q p ( ) q p ( .
) q p ( p v


ESFAP - A
COMPLEMENTACI
N
IDEMPOTENCIA p.p p pvp p
LEYES DE De
MORGAN
~(pvq) ~p.~q ~(p.q) ~pv~q
p.q~(~pv~q)
pvq~(~p.~q)
LEY DE ABSORCION p.(pvq) p pv(p.q)p
p.(~pvq)p.q
pv(~p.q)pvq
CONMUTATIVIDAD pvqqvp p.qq.p pqqp
ASOCIATIVIDAD pv(qvr)(pvq)vr p.(q.r)(p. q).r p(qr)(pq)r
DISTRIBUTIVIDAD pv(q.r)(pvq) .
(pvr)
p.(qvr)(p.q) v
(p.r)
p(q.r)(pq).(pr
)
LEY CONDICIONAL pq~pvq ~(pq)p.~q pq~(p.~q)
LEY BICONDICIONAL pq(pq).(qp
)
pq(p.q)v(~pv~q
)

LEYES DE
IDENTIDAD
p.Vp,
pvVV
pvFp,
p.FF

EQUIVALENCIA
NATURAL O
MATERIAL
pq(pq).(qp
)

Tambin (pvq).(pv~q)p (p.q)v(p.~q)p
Estas leyes son muy importantes para poder simplificar algunos problemas, puesto que es vlido
para reemplazar a una proposicin por su equivalente sin alterar el resultado.
PROBLEMAS
1. Simplificar la siguiente expresin, aplicando las leyes lgicas: |(pv~q).q|p
Solucin
|(pv~q).q|p .Ley condicional
~[(pv~q).q]vp Ley de De Morgan
[~(pv~q)v~q]vp ...Asociatividad
[~(pv~q)]v[ pv~q] Ley de tercio excluido
pv~q ..Ley del complemento
V

2. Simplificar: A=[(qp)p](~q~p)
Solucin


ESFAP - A
A[~(qp)vp](~~qv~p).Ley condicional
A~[~(qp)vp]v(~~qv~p).Ley condicional
A~[~(qp)vp]v(qv~p).Doble negacin
A[(qp).~p]v(qv~p)...DMorgan
A[(qp).~p]v(~pvq)...Conmutativa
A{[(qp).~p]v~p}vq..Asociativa
A~pvq.Ley de Absorcin
Apq..Condicional

3. Simplificar: M=( pr).{[(pq).(qr)](rp)}
Solucin
M=( pr).{~[(pq).(qr)]v(rp)}.Condicional
M=( pr).{~[(~pvq).(~qvr)]v(~rvp)}....Condicional
M=( pr).{~ (~pvq)v~(~qvr)v(~rvp)}........DMorgan
M=( pr).{ (p.~q)v(q.~r)v(~rvp)}.........DMorgan
M=( pr).{ [(p.~q)v p]v[(q.~r) v~r]}....Asociativa
M=( pr).{ pv~ r}.Absorcin
M=( pr).{ ~ r v p }..Conmutativa
M=( pr).{ r p }...Condicional
M=pr Equivalencia natural

PRACTICA
1. Simplificar D={([pv~q].[(~r.s)v(~pvq)]).(pq)}q
2. Simplificar la siguiente expresin, aplicando las leyes lgicas: |(pv~q).q|p
3. Simplificar la siguiente expresin: ~(pvq)v(~pvq)
4. Simplificar la siguiente expresin: (pvq).~p
5. Simplificar la siguiente expresin: pv(p.q)
6. Simplificar la siguiente expresin: [p~(qp)]~q
7. Simplificar a su mnima expresin: ~{~[~(p.q).(~p.~q)]}
8. Analiza los siguientes enunciados o proposiciones:
1 Llueve y hace sol, las brujas se peinan
Simbolizamos:

"Llueve" = p ,
"Hace sol" = q,
"Las brujas se
peinan" = r
2 No es cierto que si llueve y hace sol las brujas se peinan
3 Las brujas se peinan nicamente si llueve y hace sol
4 Cuando las brujas no se peinan, no llueve o no hace sol
5
Llueve y las brujas no se peinan o bien hace sol y las
brujas no se peinan
Cul es la formalizacin adecuada?
(p.q) r r (p.q) ~r ( ~pv~q) ~[(p.q) r] (p.~r) v (q.~r)

1
Si las estrellas emiten luz, entonces los planetas la reflejan y
giran alrededor de ellas
Simbolizamos:
"Las estrellas emiten
2 Las estrellas emiten luz o los planetas la reflejan y, por otra


ESFAP - A
parte, los planetas giran alrededor de ellas luz" = p ; "Los
planetas reflejan la
luz = q ; "Los
planetas giran
alrededor de las
estrellas" = r
3
Los planetas reflejan luz si y slo si las estrellas la emiten y
los planetas giran alrededor de ellas
4
Si no es cierto que las estrellas emiten luz y que los planetas
la reflejan, entonces stos no giran alrededor de ellas
p (q.r) ~(p.q) ~r (p v q) .r q (p . r)

1
Si Pablo no atiende en clase o no estudia en casa, fracasar en
los exmenes y no ser aplaudido
Simbolizamos:
"Pablo atiende en
clase" = p ; " Pablo
estudia en casa = q;
"Pablo fracasa en
los exmenes" = r ;
"Pablo es
aplaudido" = s ;
2
Si no es el caso que Pablo atiende en clase y estudia en casa,
entonces fracasar en los exmenes o no ser aplaudido
3
Pablo atiende en clase y estudia en casa o, por otra parte,
fracasa en los exmenes y no es aplaudido
4
nicamente si Pablo atiende en clase y estudia en casa, no se
dar que fracase en los exmenes y no sea aplaudido


(p.q) v (r.~s) (p.q) ~(r.~s) (~pv~q) (r.~s) ~(p.q) (rv~s)

11. Verificar si el siguiente argumento es vlido:
*Todos los perros tienen dos patas
*Todos los animales de dos patas son carnvoros.
*Por lo tanto, todos los perros son carnvoros.

12. Verificar si el siguiente argumento es vlido:
*Todos los vehculos tienen cuatro ruedas.
*Una bicicleta es un vehculo.
*Por lo tanto, una bicicleta tiene cuatro ruedas.

INFERENCIAS
Es un conjunto de proposiciones como premisas y una conclusin deducida de estas premisas,
siendo la deduccin el paso lgico de las premisas a la conclusin.
En otras palabras: Es un proceso que consiste en pasar de un conjunto de premisas a una
conclusin, sin necesidad de elaborar tablas o cuadros muy extensos.
Una inferencia es de la forma:
Los leones son carnvoros
Todos los carnvoros son vertebrados.
Podemos concluir diciendo que: Los leones son vertebrados.
Todo ejercicio o problema que se resuelve usando inferencia lgica, tiene la forma:
Los nios son personas
Las personas son inteligentes


ESFAP - A
Por lo tanto, los nios son inteligentes.

} {

Premisas Inferencias
p r Conclusin

(pq) . (qr) (pr)
Premisas conclusin
Inferencias

Aqu: p; q; r; s; t; ..... ; w son llamadas premisas.
Este conjunto de premisas originan como consecuencia otra proposicin C, llamada
CONCLUSIN, la cual es denominada tambin ARGUMENTO LGICO.
Todo ejercicio o problema que se resuelve usando inferencia lgica, tiene la forma:
(p
1
.p
2
.p
3
.p
4
..p
k
) C.

Una inferencia puede ser una tautologa, una contradiccin o una contingencia.
1. Si la condicional es una tautologa, es decir si es una implicacin entonces recibe el nombre
de ARGUMENTO VALIDO O Inferencia Vlida.
2. Si la condicional no es una tautologa entonces se denomina FALACIA.

NOTACIN:
p
1
p
2
p
3

p
k

q

Ejemplo: Demostrar que el siguiente Argumento es vlido:
p
p q
q
Solucin
Del dato se tiene el siguiente esquema molecular: [ p . (pq)]q

p q [ p . ( p q )] q
V V V V V V V
V F V F F V F
V V F F V V V
V F F F V V F
tautologa
Siendo el esquema molecular una tautologa se puede afirmar que el argumento es
Vlido.

INFERENCIAS VLIDA NOTABLES O IMPLICACIONES NOTABLES: Estas nos
sirven para realizar la demostracin directa llamada prueba formal de validez.


ESFAP - A
MTODOS DE DEMOSTRACIN

1) LEY DEL MODUS PONENDO PONENS: Es aquella operacin que establece entre dos
enunciados una relacin de causa efecto. La regla ponendo ponens significa (en Latn,
modo que afirmando afirma) y en una condicional establece la siguiente forma:
Una proposicin condicional como primera premisa y que
En la segunda premisa afirme el antecedente. Debe necesariamente
En la conclusin afirmar el consecuente.
Se presenta de la forma siguiente: [(pq).p] q
Tambin simbolizado como: p q
p
q
Ejemplo: p q Si llueve, entonces las calles se mojan (Premisa)
p Llueve (Premisa)
q Luego, las calles se mojan (Conclusin)

2) LEY DEL MODUS TOLLENDO TOLLENS: significa Negando Niega, y se refiere a
una propiedad inversa de las condicionales, a los que nos referimos en primer lugar. Si de
una condicional, aparece una premisa el consecuente negado (el efecto), eso nos conduce a
negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.
Esta ley seala que un argumento que tenga la siguiente forma:
Una proposicin disyuntiva como primera premisa, y que
En la segunda premisa niegue la primera opcin. Debe necesariamente
En la conclusin afirmar la segunda opcin.
Se presenta de la forma siguiente: [(pq).~q] (~p)
~q
~p
Ejemplo: p q Si llueve, entonces las calles se mojan
~q Las calles no se mojan
~p Luego no llueve

3) LEY DEL SILOGISMO HIPOTTICO O CONDICIONAL.-Dados dos implicaciones,
de las cuales, el antecedente de la una sea el consecuente de la otra (el mismo enunciado),
podemos construir una nueva implicacin cuyo antecedente sea el de aquella implicacin
cuya secuencia sea el antecedente de la otra implicacin, y cuyo consecuente sea el de esta
ltima, cuyo antecedente era consecuencia del primero.
Expresando de otro modo, si una causa se sigue una consecuencia, y sta consecuencia es a
su vez causa de una segunda consecuencia, se puede decir que esa primera causa es causa de
esa segunda consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola
blanca que a su vez golpea a una bola negra, la bola roja es causa del movimiento de la bola
negra.
Se presenta de la forma siguiente: [(pq).(qr] (pr) (LEY TRANSITIVA)
q r
p r
Ejemplo: p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve
q r Si la bola blanca golpea a la bola negra, la bola negra se mueve
p r Si la bola roja golpea a la bola blanca, la bola negra se mueve


ESFAP - A

Ejemplo:
Si no llueve entonces se perder la cosecha
Si se pierde la cosecha entonces no se podr cancelar la deuda
Si no llueve, no se podr cancelar la deuda
Ejemplo: Si llueve las calles se mojan
Si las calles se mojan me resbalo
Por lo tanto: Si llueve me resbalo

4) LEY DEL SILOGISMO DISYUNTIVO: histricamente conocido como Modus Tollendo
ponens (en latin, modo que negando afirma). Dadas tres premisas, dos de ellas implicaciones,
y la tercera una disyuncin cuyos miembros sean los antecedentes de los condicionales,
podemos concluir en una nueva premisa en forma de disyuncin, cuyos miembros seran los
consecuentes de las dos implicaciones. Lgicamente, si planteamos una eleccin entre dos
causas, podemos plantear una eleccin igualmente entre sus dos posibles efectos, que es el
sentido de esta regla.
Se presenta de la forma siguiente: [(pvq).(~q)] q
Tambin simbolizado como: p v q
~p
q
Ejemplo: Carlos tiene un carnet o un DNI
Carlos no tiene ningn carnet
Carlos tiene un DNI

5) LEY CONJUNTIVA: p
q
p . q
Ejemplo: Soy guapo
Soy millonario
Luego: Soy guapo y millonario

6) LEY DE SIMPLIFICACION: a) p b) p
q q
p q
Ejemplo: Ningn estudiante es ocioso y Carlos es un excelente msico
Por lo tanto, ningn estudiante es ocioso

7) LEY DE LA ADICION: : a) p b) q
p v q p v q
Ejemplo: Voy al cine
Por lo tanto : Voy al cine o voy al estadio

8) LEY DE TRANSPOSICIN: : a) p q b) ~q ~p
~q ~p p q
Ejemplo: Si la flor tiene espinas, entonces es Rosa
Por lo tanto: La Flor no es rosa entonces no tiene espinas.

9) LEY DEL DILEMA CONSTRUCTIVO: ( p q ) . ( r s )
( p v r )


ESFAP - A
q v s
Ejemplo: Si Vctor toma bebidas heladas, entonces se resfriar
Si Carlos no llega a tiempo, se quedara sin viajar a Carhuaz
Vctor toma bebidas heladas o Carlos no llega a tiempo
Por lo tanto Vctor se resfriar o Carlos se quedara sin viajar a Carhuaz.
10) DILEMA DESTRUCTIVO: ( p q ) . ( r s )
( ~q v ~s )
~p v ~r

PROBLEMAS SOBRE INFERENCIAS
1) Determinar la validez de las siguientes inferencias mediante la tabla de verdad:
a) Juan es abogado o ingeniero
Juan no es abogado
Por lo tanto es ingeniero
b) Si llego tarde entonces me castigan
No me castigaron
Por lo tanto, no llegue tarde
c) Si un animal es gato entonces es felino
Este animal no es un gato
Por tanto, no es felino
d) Si est nublado entonces llueve
No llueve o est nublado
Por lo tanto, llueve
e) Los polticos no son honestos
Jorge es honesto
Jorge no es poltico
f) Si trabajas tienes un sueldo
Percy no trabaja y tiene sueldo
Percy trabaja

2) Dadas las siguientes premisas, escribir su respectiva conclusin:
a) No vamos si, y solo si me alisto
Nos vamos

b) Si llueve entonces habr una buena cosecha
Empez a llover
.
c) Si venia aprobaba el examen
No aprob el examen
..


ESFAP - A
d) En cuanto llegue iniciamos la reunin
No se inicio la reunin
..
e) Estas enferma o es tu contextura
Estas sana
.
f) Ests loca o yo estoy mintiendo
Yo estoy diciendo la verdad

g) Si hay suficiente agua entonces los campos podrn ser regados
Si los campos son regados habr una buena cosecha
.
h) Si es ave entonces puede volar
No puede volar
.
Evaluacin mediante tablas: se dice que una inferencia es vlida cuando es tautolgico y no es
vlido cuando es contingencia.

REDUCCIN AL ABSURDO
Dado el esquema de una inferencia se le da el valor de falso. En base a este valor se trata de
determinar los valores de verdad de las proposiciones atmicas que componen el esquema.
Si la misma proposicin atmica resulta con valores verdadera y falsa, entonces se concluye que
el esquema no tiene la posibilidad de tener un valor falso, en consecuencia la inferencia ES
VALIDA.
Si a cada proposicin que figura en el esquema de la inferencia, le corresponde uno, y solo un
valor de verdad, entonces el esquema tiene la posibilidad de ser falso y por consiguiente la
inferencia NO ES VALIDO.
Ejemplo: determinar la validez de la inferencia: p.qp
Procedimiento
ES VALIDO
Ejemplo: determinar la validez de la inferencia: pvqp
Procedimiento
NO ES VALIDO
Ejemplo: determinar la validez de la inferencia: (pq).(qr)(pr)
Procedimiento


ESFAP - A
ES VALIDO
Ejemplos
a) Determinar la validez de las siguientes inferencias:
1. (p~q).q~q
2. (pq).rq.r
3. (pr).(qs)rvs
4. (pr).(qr)(pvr)
5. [(pvr).(pr)].(qs)(rvs)
6. [(pq).(pvr)].(pvs)(rvs)
7. [(p.r)(pr)].(qs)(rs)
8. q.(pq)q

CIRCUTOS LGICOS
Es la que permite el paso de corriente elctrica o la interrupcin. Para estos casos se dice que es
circuito cerrado cuando hay paso de corriente y cuando hay interrupcin ser falso a esta se
denomina circuito abierto.

Para disear los circuitos elctricos, se usa las siguientes notaciones:
a) El 1 indica que pasa corriente elctrica; por lo que se considera V
b) El 0 indica que no pasa corriente elctrica; por lo que se considera F
En el diseo de esquemas de circuitos elctricos para representar a proposiciones compuestas y
viceversa se considera dos clases de instalaciones: en serie y en paralela.

1) DISEO DE CIRCUITOS ELCTRICOS EN SERIE
Consideremos los interruptores (proposiciones) p y q conectados en serie.


ESFAP - A
Cuando los dos interruptores p y q estn cerradas, esta admite corriente elctrica, en
cualquier otro caso no hay corriente; es decir esta situacin corresponde a la tabla de verdad
de la Conjuncin p . q.

p q p.q
1
1
0
0
1
0
1
0
1
0
0
0

En la tabla de verdad se observa que basta que uno de los interruptores est abierto 0 para
que no circule la corriente en todo el circuito.

A la expresin p . q se le llama la Funcin Booleana del circuito en serie

2) DISEO DE CIRCUITOS ELCTRICOS EN PARALELO
Consideremos los interruptores (proposiciones) p y q conectados en paralelo.

Se observa en el circuito para que circule corriente es suficiente que alguno de los
interruptores o ambos p o q est cerrado 1 y no hay paso de corriente si ambos
interruptores estn abiertos (ambos con el valor 0).
Este circuito corresponde a la tabla de verdad de la Disyuncin p v q.

p q pvq
1
1
0
0
1
0
1
0
1
1
1
0
A la expresin p v q se denomina la funcin booleana del circuito en paralelo.

NOTA: A un interruptor p representaremos simplemente como:


ESFAP - A
Ejemplo:

Ejemplos:
1) Construir el circuito lgico de las funciones Booleanas.
a) p q
Solucin
pq~pvq ( paralelo)

b) (p v q ) . r
Solucin

c) Describir simblicamente el circuito.

Solucin
| p . ( r v ~q )| v ( q . ~r )

LGICA CUANTIFICACIONAL

FUNCION PROPOSICIONAL
A todo enunciado abierto de la forma P(x) se denomina funcin proposicional la cual tiene la
propiedad de convertirse en una proposicin al ser sustituido la variable x por una constante
a especifica, al conjunto de todos los valores convenidos para la variable x se denomina
dominio de la variable.
La funcin proposicional sobre D es toda expresin P(x) donde P(a) es verdadero o falso para
todo a e D.
Ejemplo: P(x)=x+1<9, si x pertenece al conjunto de los enteros, entonces P(x) es una
funcin proposicional cuyo dominio es los enteros.
Solucin
Si: x= -2 e Z, -2+1< 9 es verdadero
x=10 e Z, 10+1< 9 es falso


ESFAP - A
Por lo tanto P(x) es una funcin proposicional.

CUATIFICADORES
Un cuantificador es una expresin que permite determinar cantidad en una proposicin.
Ejemplo: todos los animales mamferos son vivparos,
La expresin todos determina la cantidad de mamferos que son vivparos.

CUANTIFICADOR EXISTENCIAL
En el lenguaje de predicados en lgica matemtica, se usa el smbolo-, llamado cuantificador
existencial, antepuesto a una variable para decir que "existe" al menos un elemento del conjunto
al que hace referencia la variable, que cumple la proposicin escrita a continuacin.
Normalmente, en lgica, el conjunto al que se hace referencia es el universo o dominio de
referencia, que est formado por todas las constantes.
Otros giros utilizados para la expresin Existe un x son: Hay x; Existe x, tal que; Algn x;
Algunos x.

Ejemplo

Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B: AcB . A=B
Existe al menos un elemento x de B que pertenece a A: -x e B . xe A
Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir que no todos
los elementos de B pertenecen a A, al ser A y B conjuntos distintos, existe al menos un elemento
y de B que no pertenece a A: -y e B . y e A
Que podemos leer: existe al menos un elemento y en B, y este elemento y no pertenece a A.
Ejemplo: Algunos hombres son sabios
Traduccin: Existe un x, tal que x es hombre y x es sabio.

CUANTIFICADOR UNIVERSAL
En lgica matemtica, se usa el smbolo , denominado cuantificador universal, antepuesto a
una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposicin
dada a continuacin. En texto se puede representar con el carcter .
Normalmente, en lgica, el conjunto al que se refiere es el universo o dominio de referencia, en
el cual aparecen todas las constantes.
Otros giros utilizados para la expresin Para todo x, son: Todo x; Cualquiera x; Cada x.
Ejemplo

Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B: AcB . A=B


ESFAP - A
Todo elemento x de A pertenece a B: x e A x e B
Al ser A y B conjuntos diferentes como indica el diagrama, podemos decir que no todos los
elementos y de B pertenecen a A, siendo esto una garanta suficiente para que dos conjuntos
cualesquiera puedan ser diferentes: ~ y e B y e A
Es decir, que no para todo elemento y de B tenemos que o implica que y tambin pertenezca a A.
Ejemplo: Todo hombre es mortal
Traduccin: Para todo x, si x es hombre entonces x es mortal.
RELACIN CUANTIFICADOR UNIVERSAL Y EL CUANTIFICADOR EXISTENCIAL
Dada una expresin P(x), segn el cuantificador universal se puede transformar en otra
equivalente con el cuantificador existencial: x P(x) ~-x ~P(x)
Que podramos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x).
Segn el ejemplo anterior: x e A x e B
Para todo x que pertenece a A implica que x pertenece a B, que podemos expresar:
~- x e B x e A.
No existe un x de B por tanto x no est en A.

NEGACIN DE PROPOSICIN CON CUANTIFICADORES

PROPOSICION LA NEGACIN
x: P(x)
-x: P(x)
xeA: P(x)
-xeA: P(x)
~[x:P(x)] -x: ~P(x)
~[-x: P(x)] x: ~P(x)
~[xeA: P(x)] -xeA: ~P(x)
~[-xeA: P(x)] xeA:~P(x)

Segn lo anterior, se tiene que la negacin de una proposicin existencial es equivalente a la
afirmacin de un cuantificador universal cuya funcin proposicional es la negacin de la
primera.
Ejemplo: Negar la proposicin, xeN/x+3>5
Solucin
~[xeN/x+3>5] -xeN/x+3s5
Tambin, decir que (x)(Px) es falsa significa entonces ~(x)(Px) es verdadera y por lo tanto,
lo es (-x)( ~ Px). Este resultado es la base de una regla lgica til para demostrar que un
enunciado es falso. Esta regla se llama regla del contraejemplo y dice as:
Si: (-x)( ~Px) es verdadera, entonces (x)(Px) es falso.

Ejemplo: La afirmacin "todos los nmeros primos son impares"
Es falso porque, "existe un nmero primo que no es impar".
A dicho nmero, el dos, se le llama un contraejemplo.

EJEMPLOS APLICATIVOS

- x protege el circuito de luces
Solucin
Para cada x, x protege el circuito de luces.
En este caso utiliza x para afirmar que cada elemento del universo tiene una cierta
propiedad.


ESFAP - A
Wx x protege el circuito de luces
Por tanto: (x) Wx
Esta operacin no tiene lmites en el nmero de veces que pueden aplicarse especificaciones a
la misma proposicin universal.

- Solamente todas las personas de la ciudad de Huaraz dicen que existen los Ichic
kollcos
Solucin
Del enunciado anterior vamos a sacar dos predicados:
P(x): x es de la ciudad de Huaraz.
D(x): x dice que existen los Ichic kollcos.
Esto se puede traducir: x: P(x) D(x)
*Para toda persona, si es de la ciudad de Huaraz, entonces dice que existen los Ichic kollcos.
Para todo x, si no P(x) no D(x)
*Para toda persona, si no es de Huaraz, entonces no dice que existen los Ichic kollcos.

- "todas las hormigas son insectos"
Solucin
Para toda x, si x es hormiga entonces x es insecto que se puede simbolizar de la manera
siguiente:
(x)(Hx Ix)

Donde Hx simboliza la expresin: " x es hormiga", e Ix simboliza la expresin "x es insecto".

- "hay animales carnvoros"
Solucin
Se observa que se puede escribir como: "existe al menos un x, tal que x es animal y x es
carnvoro" que se puede simbolizar como: ( x)(Ax Cx).

- Expresar todos los gatos tienen cola en clculo de predicados.
Solucin
Hallar primero el mbito del cuantificador universal, que es Si x es un gato, entonces x tiene
cola y se define como Gx x es un gato Cx x tiene cola
(x) Gx Cx

- Leer las siguientes proposiciones cuantificadas. Luego, explicar el significado de cada una y
dar su valor de verdad.
a. Todas las plantas son medicinales
Significa que no hay plantas que no sean medicinales. Esta expresin es una proposicin
en la cual se utiliza el cuantificador universal y su valor de verdad es falso.
b. Algunos nmeros son pares.
Significa que hay otros nmeros que no son pares. Esta es una proposicin en la cual se
utiliza el cuantificador existencial y su valor de verdad es verdadero.
c. Slo en la tierra hay vida.
Significa que no existe otro planeta en el cual haya vida. Esta expresin es una proposicin
en la cual se usa el cuantificador existencial y su valor de verdad es verdadero.
d. Uno de los mamferos es la vaca.
Significa que hay otros mamferos. Esta es una proposicin con cuantificador existencial y
su valor de verdad es verdadero.
e. Unos peces viven en el agua.


ESFAP - A
Significa que hay otros peces que no viven en el agua. En esta proposicin se utiliza el
cuantificador existencial y su valor de verdad es falso.
f. Ningn estudiante tiene ms de 18 aos.
Significa que todos los estudiantes tienen menos de 18 aos. Esta es una proposicin en la
cual se utiliza el cuantificador universal y su valor de verdad es falso.

- Negar las siguientes proposiciones cuantificadas:
a. Todos los nmeros naturales son impares
Negacin: Existe por lo menos un nmeros natural que no es impar.
b. Existe un nmero par que no es mltiplo de 4.
Negacin: Todos los nmeros pares son mltiplos de 4

PRACTICA PROPUESTA

1) Simbolizar, utilizando el cuantificador existencial las siguientes expresiones.
- Todos aprobamos el curso y disfrutamos las vacaciones.
- Todo cetceo es un pez.
- Toda hormiga es un insecto.
2) Simbolizar, utilizando el cuantificador universal, las siguientes expresiones.
a) Existe al menos una montaa.
b) Hay cisnes negros.
c) Existen animales carnvoros.
d) Hay nmeros perfectos.
3) Simbolizar los siguientes enunciados:
- Todo es perecedero.
- Hay marcianos.
- Alguien no es perfecto.
- No hay cosas slidas.
- Si todo es rojo, hay algo rojo.
- Nada se mueve.
- No todo es perecedero.
- Nada es perecedero.
- Algunos nmeros negativos no son enteros.
- Algunos gobiernos no respetan la libertad.
4) Determinar los circuitos lgicos que representan a los siguientes esquemas moleculares:
a) (~p)(p~q)
b) p. (q v ~p)
c) [{rvq).p}v~r].q
d) [(pq)vp].[(pq)v~p]
e) (pvq)[(~pvq)(p.q)]
5) Representar mediante funciones booleanas los siguientes argumentos:
a)


ESFAP - A
b)

c)
6) Determinar la menor expresin que representa al circuito dado:

7) Simplificar los siguientes circuitos lgicos:

8) Dado el circuito lgico, hallar el circuito lgico ms simple posible.

9) Simbolizar los siguientes enunciados:
1) Hay cisnes negros.
2) Existen animales carnvoros.
3) Hay nmeros perfectos.
4) Existen ciudades de clima fro.
5) Todos los nevados son peruanos.
6) Hay cetceos que son peces.

10) Simbolizar, utilizando el cuantificador existencial las siguientes expresiones.
- Todos aprobamos el curso y disfrutamos las vacaciones.
- Todo cetceo es un pez.
- Toda hormiga es un insecto.
11) Simbolizar, utilizando el cuantificador universal, las siguientes expresiones.
*Existe al menos una montaa.
*Hay cisnes negros.
*Existen animales carnvoros.
*Hay nmeros perfectos.

12) Verificar que la negacin de:
a) x: y: -z: (x+y)=z es -x:-y: z: (x+y =z)


ESFAP - A
b) -y: x: (xys2) es y: -x: (xy>2)
c) x: [p(x) v q (y)] es -x: [~p(x).~q(y)]
d) x: -y: [p(x).ysx] es -x: y: [~p(x)vy>x]
13) Negar y hallar el equivalente de la siguiente proposicin: Es de da y toda la gente se ha
levantado.

T E O R I A D E C O N J U N T O S

Tiene un concepto primitivo, se acepta sin definicin. Pero por su importancia en todas las ramas
de la matemtica aceptamos la siguiente definicin: Es toda agrupacin, coleccin o reunin de
objetos de cualquier especie siempre que exista un criterio preciso que nos permita que un objeto
pertenece o no a dicha agrupacin. Los objetos que pertenecen a un conjunto se llaman
elementos.
Notacin: Se representan con letras maysculas: A, B, C,; y a los elementos con letras
minsculas: a, b, c,
RELACION DE PERTENENCIA (e)
Es un smbolo que relaciona a los elementos de un conjunto con el mismo conjunto.
Notacin: x e A se lee: x pertenece al conjunto A
La negacin de: x e A es x e A y se lee: x no pertenece al conjunto A
Si la proposicin x e A es VERDADERA, entonces la proposicin x e A es FALSA o
viceversa.
OBSERVACIONES
Sea M el conjunto formado por las letras: a; b; c; d; e. del mismo modo podemos escribir:
aeM; beM; ceM; deM; eeM; feM.
Representacin: { }
Sea M el conjunto formado por las menciones artsticas: pintura, msica, escultura, cermica.
Del mismo modo podemos escribir: pinturaeM; msicaeM; esculturaeM; cermicaeM;
DerechoeM; ContabilidadeM.
Representacin: : { }
Ejemplo: sean los conjuntos: {
} ; {
}
DIAGRAMA DE VENN EULER (John Venn, matemtico y filsofo britnico)
Para facilitar la resolucin de problemas se usa los diagramas de VENN, estos pueden ser curvas,
cerradas, etc.

DETERMINACION DE CONJUNTOS
Un conjunto est bien determinado, cuando se conoce con exactitud qu elementos pertenecen o
no al conjunto.


ESFAP - A
Un conjunto puede determinarse de dos formas: por extensin y por comprensin.
POR EXTENSIN: Un conjunto se designa por extensin, cuando es posible indicar
explcitamente sus elementos de dicho conjunto, sealndolo uno a
continuacin del otro.
Ejemplo: {} se lee: M es el conjunto formado por los nmeros
consecutivos: 0,1,2,3,4,5,6,7,8,9.
POR COMPRENSION: Un conjunto se designa por comprensin, cuando los elementos del
conjunto pueden expresarse mediante una propiedad caracterstica nica
y comn a ellos.
Ejemplo: { } se lee: N es el conjunto de las x pertenecientes a los
nmeros enteros, tales que, los x sean mayores que 0 y menores que 12.
CONJUNTOS NUMRICOS
En matemtica los conjuntos numricos caractersticos que se estudian son: .
a) CONJUNTO DE LOS NUMEROS NATURALES ()
Los nmeros naturales expresan valores referentes a cosas enteras, no partidas, los nmeros
naturales van de uno en uno desde el 0, no admiten la particin de las unidades, y solamente
expresan valores positivos.
N= {0, 1, 2, 3, 4, 5, 6,... ... ..., n,..}
Nota: algunos autores consideran los nmeros naturales a partir del 1 y no del cero.
b) CONJUNTO DE LOS NUMEROS ENTEROS ()
En ciertas ocasiones necesitamos expresar valores que estn antes o por debajo del valor que
consideramos punto de partida o valor cero.
Ha sido necesario ampliar el conjunto de los nmeros incluyendo tambin los negativos, para
ello aadimos al nmero natural un signo + o - .
De esta manera han surgido los nmeros enteros, que expresan valores que van de uno en
uno, pero permiten expresar valores positivos y tambin valores negativos.
Z={... ... ... -7, -6, -5, -4, -3, -2, -1, 0, +1, +2, +3, +4, +5, +6, ... ... ...}
c) CONJUNTO DE LOS NUMEROS RACIONALES ()
Es un nmero de la forma a/b en donde b es diferente de 0 y se encuentran ubicados dentro
de los nmeros reales.
{
}
d) CONJUNTO DE LOS NUMEROS IRRACIONALES ()
Son aquellos que se escriben mediante una expresin decimal con infinitas cifras y no
peridicas. Dicho conjunto lo denotamos por "I"
{ }
e) CONJUNTO DE LOS NUMEROS REALES (
Por nmero real llamaremos a un nmero que puede ser racional o irracional, por
consiguiente, el conjunto de los nmeros reales es la unin del conjunto de nmeros
racionales y el conjunto de nmeros irracionales.
El conjunto de los nmeros reales es el conjunto de todos los nmeros que corresponden a los
puntos de la recta:


ESFAP - A

f) CONJUNTO DE LOS NUMEROS COMPLEJOS (
{ }
A toda expresin de la forma a + bi donde a y b son nmeros reales e i es la unidad imaginaria
( ) recibe el nombre de Nmero Complejo. x>0
Se designan a los nmeros complejos con la letra ; as: = a + bi (ae )
Se llama PARTE REAL a la primera componente "a" y se indica de esta forma: Re
(C)
= a
Y a la segunda parte de la componente "b" se llamar PARTE IMAGINARIA. Im
(C)
= b
Cuando un nmero complejo se dice imaginario puro?
Si la parte real "a" es 0 se dice que el complejo 0 + bi es un Nmero Imaginario Puro. Es decir,
es un Nmero Imaginario Puro, Cuando su parte real vale 0.
Ejemplo:
x
2
+ 16 = 0
x
2
= - 16
x=
x= 4i
x
1
= 4i; x
2
= - 4i

CONJUNTO FINITO
Es el conjunto que est formado por un nmero limitado de elementos.
Ejemplos: { }; { }; etc.
CONJUNTO INFINITO
Es el conjunto que est formado por un nmero infinito de elementos.
Ejemplos: { }; { }; etc.
RELACIONES ENTRE CONJUNTOS
a) INCLUSION DE CONJUNTOS (SUBCONJUNTOS).- Se dice que el conjunto A es un
subconjunto B, o que A esta contenido en B o que A es parte de B, si todos los elementos de
A pertenece al conjunto B. La relacin se da de Conjunto a Conjunto.
Notacin:
Se lee: A esta incluido en B
A esta contenido en B
A es parte de B
Definicin Simblica: { }
Ejemplo: Sean los conjuntos: A={2,4,6,8}; B={2,4,6,8,10,12}; M={a,b,c,d,e};
N={b,c,d,m,n}, podemos afirmar que:
i) , porque todos los elementos de A est en B.


ESFAP - A
ii) , porque algunos elementos de M no estn en N.
REPRESENTACION GRAFICA:

b) SUBCONJUNTO PROPIO.- Diremos que A es subconjunto propio de B, si . A=B
Notacin: se lee: A es subconjunto propio de B A es una parte propia de B

Ejemplo: Sea el conjunto R={1,2,3} es un subconjunto de P={1,2,3,4,5,6}, puesto que RcP
adems 4eP, 5eP, 6eP tal que 4eR, 5eR, 6eR
PROPIEDADES
a) AcA .(Propiedad reflexiva)
b) Si AcB . BcD AcD......(Propiedad Transitiva)
c) Si: AcB . BcA A=B ... (Propiedad Antisimetrica)
d) | c A... ( conjunto A, donde | es el conjunto vacio)
c) IGUALDAD DE CONJUNTOS.- Dos conjuntos A y B se dice que son iguales si y solo si
AcB y BcA.
Definicin simblica: A=B [ AcB . BcA]
PROPIEDADES
a) A=A, A ..(Propiedad reflexiva)
b) A=B y B=C A = C .. (Propiedad transitiva)
c) A=B B=A (Propiedad de simetra)
d) CONJUNTO POTENCIA DE UN CONJUNTO.- Dado un conjunto A, definimos el conjunto
potencia de un conjunto formado por todos los subconjuntos de A.
Notacin:
(
o por
se lee: el conjunto potencia de A el conjunto de partes de A.

Definicin simblica:
{ } se lee: el conjunto potencia de A, es igual conjunto

de los elementos x, tales que, los x son subconjuntos de A.
Adems, si el nmero de elementos de A es k, ke , entonces el nmero de elementos de
2
A
es 2
k
.
Ejemplo: Hallar el conjunto potencia de: M = {1,2}.
Solucin
Sabemos que: n(M)=2 y n(2
M
)=2
2
=4
Luego se tiene: M={{1},{2}, {1,2},|}, cuatro subconjuntos.
Ejemplo: Hallar el conjunto potencia de: N={a, {1,b},c}.
Solucin
Se tiene: n(N)=3 y n(2
N
)= 2
3
=8
Luego los subconjuntos son: N={{a},{{1,b}},{c},{a,{1,b}},{a,c},{{1,b},c},|,N}
Ejemplo: Hallar el conjunto potencia de: P={1,{n,m},a,{b}}.

CONJUNTOS ESPECIALES


ESFAP - A
1. CONJUNTO VACIO.- Es el conjunto que no tiene elementos y se representa simblicamente
por: | (phi), se define por: |={x/x = x} se lee: para cualquier numero x tal que, x es
diferente de x, no se satisface para algn elemento.
Ejemplo: Sea C={xe / 8<x<9}, es un conjunto vacio, porque no existe un nmero natural
que sea mayor que 8 y menor que 9, luego C=|
2. CONJUNTO UNIVERSAL (U).-Es el conjunto tomado como base o conjunto fijo, para la
determinacin de otros conjuntos y se denota por U.
Tambin se denomina conjunto referencial para el estudio de una situacin particular, que
contiene a todos los conjuntos considerados. No existe un conjunto universal absoluto.
Ejemplo: U={x/x es una fruta} , A={x/x es una pera}
Grficamente se representa:

3. CONJUNTO UNITARIO O SINGLETON.-Es aquel conjunto que tiene un solo elemento.
Ejemplo: R={x/x es presidente de la Repblica del Per}
M={xeZ/ 25<x<27}
T={2,2,2,2,}
4. CONJUNTO DE CONJUNTO O FAMILIA DE CONJUNTOS.- Es aquel conjunto cuyos
elementos son todos conjuntos.
Ejemplo: S= {{2},{5,6},{2,6,8}}, F={|, {4},{4,5}}
5. CONJUNTOS DISJUNTOS.- Dos conjuntos son disjuntos cuando no tienen ningn elemento
en comn.
En general se expresa: A es disjunto con B si y solo si, x/x eA . xeB.
Ejemplo: Sea S={1,2,3} y T={8,9,10,11} son conjuntos disjuntos.
OBSERVACION: Los subconjuntos propios de A son aquellos subconjuntos diferentes al
conjunto A.

PRACTICA
1. Determinar por extensin los siguientes conjuntos:
a) A={xe/ x3 v 5<x<7}
b) F={xeZ/ x
2
>0 . x
2
<0}
c) B={x/6x
2
-5x+1=0}
d) R={x/ 2x
3
-7x
2
+7x-2=0}
e) M={x/x
5
+3x
4
-7x
3
-21x
2
+12x+36=0}
2. Hallar el conjunto solucin del siguiente conjunto:
A={x/64x
3
+24x
2
-6x-1=0}
3. Determinar los elementos de cada conjunto:
a) A={Nmeros naturales x que satisfacen x
2
=16}
b) C={xeN/ 2x+3=15}
c) D={xeQ/ (2x-1)(x-2)=0}
d) E={xeN/5<x<12}


ESFAP - A
e) F={xeZ/x
2
-2x-3=0}
4. Determinar por comprensin el siguiente conjunto:
a) G={2,4,6,8,10,}
b) R={2,3,6,11,18,}
c) S={-1,1,2}
d) P={bonito, pejerrey, jurel, caballa, anchoveta, }
5. Si A={2,3,5,7}, diga cul de las siguientes afirmaciones son verdaderas o falsas.
a) 5eA
b) 3cA
c) {7}cA
d) {3,5}eA
6. Dados los siguientes conjuntos: A={7x+2/xeZ}, B={7x-26/xeB}, C={4x+1/xeZ} y
D={2x+1/xeZ}, analizar y justificar debidamente su conclusin en los siguientes casos.
a) A=B
b) C=D
7. Cuantos de los siguientes conjuntos son vacas:
a) A={xeU/x=U}
b) B={xeZ/x
3
=3}
c) C={xeR/
eR}
d) D={xeN/x
2
+1=0}
e) E={xeQ/x
2
-x=2}
a) F={ x/x es un entero par y x
2
=9}
8. Dado A y B determinar si A=B en los siguientes ejercicios:
a) A={-2,0,2} y B={xeZ/x
3
-4x=0}
b) A={xeZ
+
/1x6} y B={1,2,13,4,5,6}
9. Si: A, B y C son conjuntos tal que AcBcC. Cul es la relacin entre A-C y C-A?
10. Si: A={1,2,3,4,5}, B={2,3,4}, C={2,4}, Cul de las siguientes proposiciones son
verdaderas?
a) AcB
b) AcD
c) CcA
d) BcA
e) BcC
f) DcB
g) AcA
h) B=C
i) DcA
11. Sea U={1,2,3,4,5,9} el conjunto universal, si A={x
2
/xeU}, hallar A y A por extensin.
12. Sea: {
} y {
}, determinar cul de
las relaciones se cumplen AcB, BcA, A=B.
13. Si: A={4,{5},{4,5},6}. Cuntas proposiciones son verdaderas?


ESFAP - A
* 4eA * {5}eA *5eA *7.A
*{4}cA *{{5}}cA *{{4,5}eA *{{5},6}cA
*{6}cA *|eA

OPERACIONES CON CONJUNTOS
I. UNION REUNION.- La unin de dos conjuntos A y B es el conjunto formado por la
agrupacin de todos los elementos A con todos los elementos B
Notacin: AB (A o B)
Simblicamente se define como: { }
Grafica:

OBSERVACIN: Si: BcA AB=A
PROPIEDADES:
a) AB=BA Conmutativa
b) A(BC)=(AB) C Asociativa
c) AA=A Idempotencia
d) AU=U
e) A|=A Elemento neutro
II. INTERSECCIN.- La interseccin de dos conjuntos A y B es el conjunto formado por los
elementos que pertenecen a los dos conjuntos a la vez.
Notacin: AB (A y B)
Simblicamente se define: { }
Grafica:

OBSERVACION: Si: BcA AB=B
Si: A y B son conjuntos disjuntos AB=|
PROPIEDADES:
a) AB=BA Conmutativa
b) A (BC)=(AB) C Asociativa
c) AA=A Idempotencia
d) AU=U
e) A|=A Elemento neutro
PROPIEDADES COMPLEMENTARIAS:


ESFAP - A
f) A(BC)=(AB)(AC)
g) A(BC)=(AB)(AC)
LEY DE ABSORCION
h) A(AB)=A
i) A(AB)=A
j) (AB)cCAcC y BcC
k) Si: AcB y CcD (AC)c(BD)
III. DIFERENCIA.- Es aquel conjunto cuyos elementos pertenecen a A pero no al conjunto
B.
Notacin: A B
Se lee: A pero no B; solo A
Simblicamente se define: { }
Grafica:

OBSERVACIONES:
- Si: BcA B A = |
- Si: A y B son conjuntos disjuntos A-B=A; B-A=B
IV. DIFERENCIA SIMETRICA.- La diferencia simtrica de dos conjuntos A y B es el conjunto
formado por los elementos que pertenecen a A o B pero no a ambos.
Notacin: A A B
Simblicamente se define: { ( ( }
{( }
Tambin: ( (
Grafica:

OBSERVACIONES:
- Si: BcA B A A = A B
- Si: A y B son conjuntos disjuntos A A B= A B
PROPIEDADES
a) A A B=(A-B)(B-A)
b) A A B=(AB)-(AB)
c) A A A=|
d) A A |=A
V. COMPLEMENTO.- El complemento de A, es el conjunto formado por los elementos que
pertenecen al conjunto universal U pero no a A.
Notacin: A; A; A
c
; CA.


ESFAP - A
Simblicamente se define: { }= U-A
Grafica:

NMERO CARDINAL.-Representa la cantidad de elementos que tiene un conjunto.
Ejemplo: M={2,3,5} n(M)=3

Para la resolucin de algunos problemas tambin se usa las siguientes formulas:
UNIN DE CONJUNTOS:
a) Caso I: n(AB)=n(A)+n(B)-n(AB)
n(U)=n(AB)+n(D)
b) Caso II: n(ABC)=n(A)+n(B)+n(C)-n(AB)-n(AC)-n(BC)+n(ABC)

PRACTICA
1) Se encuentra a cierto nmero de personas sobre la presencia de tres periodos A, B y C.

Cuntas personas leen slo un peridico?
Cuntas personas leen dos peridicos solamente?
Cuntas personas leen los tres periodos?
Cuntas personas leen el peridico A?
Cuntas personas leen slo A?
Cuntas personas leen A y B pero no C?
Cuntas personas leen A o B pero no C?
Cuntas personas no leen ninguno de los peridicos?
Cuntas personas leen como mnimo dos peridicos?
Cuntas personas leen como mximo dos peridicos?
Cuntas personas leen B pero no A C?

2) Si: A = {5, {2}, 9}; seale la expresin falsa
a) {2} e A b) {{2}} c A c) 9 e A d) {5 ,9} e A e){5,{2}}c A
3) Determinar la notacin falsa:
a) {2, 5, 3} = {3, 5, 2}
b) {4} e {{4}, 5}


ESFAP - A
c) {3} c {2, 3, 4}
d) C e {3, {4}, 5}
e) C c {3. {4}, 2}

4) Si: U = {x/x e Z . 0 s x < 10}
(A B)' = {0, 6, 9};
A B = {1, 2, 7}
A B = {3, 5}
Hallar la suma de los elementos de B A?

5) Dado A ={C; {C}} . Cul de las siguientes afirmaciones es falsa?
a) C e A b) C c A c) {C}. A d) {{C}}c A e){{C}}eA
6) En una entrevista realizada en el aeropuerto se determino que 49 viajaban al Cuzco, 43 a
Tacna, 39 a Arequipa, 19 slo a Tacna y 21 slo a Arequipa. Si 16 viajan a Tacna y
Arequipa y 5 de ellos viajaban tambin al Cuzco, determinar cuntas personas viajaban
slo al Cuzco.

7) De 30 personas que viajan rumbo a Europa, 16 dijeron que visitaran Francia, 16 Inglaterra
y 11 Suiza, 5 de los encuestados visitaron Francia y Suiza, y 3 de ellos visitaran tambin
Inglaterra, 5 solo van a Suiza y 8 slo a Inglaterra. Cuntos visitaron solo Francia?

8) Si el conjunto E es unitario E = {a + 2b; 3b a + 2; 11}. Hallar: a . b

9) Represente la parte achurada de la figura?

10) A = {a, o, i}; B = {a, o, u} el nmero de subconjuntos propios de: A B.

11) Si: A ={1, 2, 3,5} B ={2, 3, 4,5}
Hallar: [(A B ) (A A B)] - B

12) Si: n significa el nmero de elementos, siendo A y B dos conjuntos tales que:
n(AB)=30; n(A-B)=12 y n(B-A)=8.
Hallar: 5[n(A)] 4 [n(B)]

13) De un grupo de postulantes a universidades, se sabe que:
- 16% postulan a la UNI


ESFAP - A
- 42% postulan a San Marcos
- 58% postulan a Catlica
- 8% postulan a las 3 Universidades
- El 5% no postulan a ninguna de estas 3 Universidades
Si 390 estudiantes postularon a por lo menos 2 universidades, diga Cuntos postulantes
hubo en total?
14) En la edicin de un libro hay 120 ejemplares con fallas en el papel, fallas en la impresin y fallas en la
encuadernacin. Si se sabe que 68 libros tienen la primera falla, 32 tienen la segunda falla, 40 tienen
solo la primera falla, 5 tienen la primera y segunda falla somanete, 17 tienen la segunda y tercera falla
pero no la primera y 4 ejemplares tienen las tres fallas.
A) Cuntos libros tienen solo la tercer falla?
B) Cuntos libros tienen la tercera falla por lo menos?

15) De la siguiente relacin exprese la regin achurada.

16) Se tiene la regin sombreada, represente la operacin de la figura sombreada:

17) De un grupo de 100 universitarios, 49 no estudian Lengua y 53 no estudian Matemticas.
Si 27 no estudian ninguno de los cursos mencionados, Cuntos estudian slo un curso?

18) De 40 alumnos de una seccin, 15 aprobaron fsica, 6 probaron fsica y qumica. Cuntos
alumnos desaprobaron los dos cursos mencionados, si los que aprobaron qumica fueron 7?

19) Si: n(A A B) = 8
n(A B) =2
Hallar: n(A B)

20) Determine el conjunto B, si: B = {x/x
2
5x + 6 = 0}


ESFAP - A

21) Si: a = {3, {5}} cul de las siguientes afirmaciones es verdadera?
a) {3, 5} c A b) {5} c A c) 5 e A d) {{5}} c A e){{{5}}}c A
22) Del grfico: Cul de las siguientes relaciones expresa mejor la siguiente regin sombreada
achurada?

a) (A - B) {A B}
b) (A A B) C
c) {(A - C) (B - C)} C
d) {(A B) C } {C (A B)}

23) Hallar x si el conjunto es unitario: A = {2x 3, x +2}

24) Representar la regin achurada.

25) Si A tiene 3 elementos. Hallar n[P(A)]

26) De 30 personas que viajan rumbo a Europa se obtuvo la siguiente informacin:
- 16 dijeron que visitaron Francia.
- 16 Inglaterra
- 11 Suiza
- 5 de los encuestados visitaron Francia y Suiza.
- 3 de ellos visitaron tambin Inglaterra.
- 5 solo van a Suiza.
- 8 solo a Inglaterra.
Cuntos visitaron solo Francia?

27) De un grupo de 70 mujeres:
- 24 tienen ojos azules pero no tienen 15 aos
- 8 no tienen ojos negros ni azules y son mayores de 18 aos.
- De las que no son mayores de 18 aos, 14 no tienen ojos negros ni azules.
Cuntas quinceaeras tienen ojos azules, si ellas son la tercera parte de todas las que
tienen ojos negros?

28) En los diferentes cursos que ofrece el departamento de Matemtica en la Universidad, se
han inscrito los siguientes alumnos: 150 en anlisis matemtico I; 75 en computacin; 35


ESFAP - A
en Algebra moderna; 50 Programacin Lineal; 70 en Anlisis Matemtico I y
computacin; 40 en anlisis matemtico I y Programacin Lineal; 30 en Anlisis I y
Algebra M.; 5 en computacin y Algebra M.; y 2 en anlisis M I, computacin y Algebra
M. Si cada estudiante toma, cuanto menos un curso, Cuntos estudiantes estn inscritos?

R E L A C I O N E S Y F U N C I O N E S
PAR ORDENADO.- Un par ordenado o cupla de nmeros reales es una expresin (a,b) donde
a es llamada primera componente y b es segunda componente.
Ejemplo: son pares ordenados, (6,2) , (-5,3) , etc.

IGUALDAD DE PARES ORDENADOS.- Los pares ordenados (a,b) y (c,d) son iguales si sus
correspondientes componentes son iguales.
AXIOMA: (a,b)= (c,d) a=c . b=d
Ejemplo: determinar el valor de x e y de tal manera que (5x+2y, -4)=(-1,2x-y).
....
DESIGUALDAD DE PARES ORDENADOS
(a,b)= (c,d) a=c y/o b=d
PRODUCTO CARTESIANO
Dados los conjuntos A y B, llamaremos producto cartesiano (A B) al conjunto formado por
todos los pares ordenados (a,b), donde la primera componente a pertenece al conjunto A y la
segunda componente b pertenece al conjunto B.
Simblicamente se tiene:
{ ( a A . b B }

Nota: (a,b)eA x B aeA . beB

Ejemplo: Sean A={2,3,4} y B={1,7} luego el producto cartesiano de AxB es: .

REPRESENTACIN GRAFICA DEL PRODUCTO CARTESIANO
Un producto Cartesiano podemos representarlo de diferentes formas: diagramas de flechas,
diagramas arbolados, tablas y grficos cartesianos


ESFAP - A

Observacin: Cuando los conjuntos A y B son finitos entonces:
n(AxB)=n(A). n(B)
Ejemplo: Si: A={2,4} y B={1,3,5}, determinar el nmero de pares ordenados.
Solucin
Se tiene: n(AxB)=n(A). n(B)
Luego: n(AxB)= 2 . 3 = 6 pares ordenados.
Representacin:
A x B= {(2,1), (2,3), (2,5), (4,1), (4,3), (4,5)}

NO CONMUTATIVIDAD DEL PRODUCTO CARTESIANO
De las definiciones de igualdad de pares ordenados y de Producto Cartesiano resulta que el
Producto Cartesiano de dos conjuntos no goza de propiedad conmutativa.
Simblicamente:
BxA AxB= .
En efecto: { } B b A a b a AxB e . e = / ) ; ( .
En cambio, { } A a B b a b BxA e . e = / ) ; ( .
Y, como ( ) ( ) a b b a ; ; = , resulta que BxA AxB= , como se pretende demostrar con este
razonamiento.

PROPIEDADES DEL PRODUCTO CARTESIANO
1. AxB = BxA, No siempre se cumple.
2. Ax(BC)= (AxB) (AxC)
3. Ax(B-C)= (AxB) - (AxC)
4. Si: A c B AxC c BxC , C
5. Ax| = |xA=|
6. A B = B A A = B v A = C v B = C
7. A c B X A c X B
8. A c B A X c B X
9. A c X . B c A A B c X A
10. A B = C ( A c X . B c A A B c X A )
11. A ( B X ) = ( A B ) ( A X )
12. ( A B ) X = ( A X ) ( B X )
13. A ( B X ) = ( A B ) ( A X )
14. ( A B ) X = ( A X ) ( B X )


ESFAP - A
15. A ( B X ) = ( A B ) ( A X )
16. ( A B ) X = ( A X ) ( B X )
17. A ( B A X ) = ( A B ) A ( A X )
18. ( A A B ) X = ( A X ) A ( B X )

REPRESENTACION GEOMETRICA DEL PRODUCTO CARTESIANO
Su representacin se da a travs de la interseccin dos rectas perpendiculares, en donde los
elementos del conjunto A se encuentra sobre el eje de las abscisas y los elementos del conjunto B
sobre el eje de las ordenadas, obtenindose el par ordenado de AxB.

A x B = {(1, 3),(1, 4),(1, 5),(2, 3),(2, 4),(2, 5)}.
Los ejes representan a sendos conjuntos R y cada uno de los infinitos puntos de este plano
representa a cada uno de los infinitos pares ordenados del conjunto RxR. Tambin se lo reconoce
con otros nombres: plano xy, plano real, plano cartesiano (en memoria a su creador, el filsofo y
matemtico francs Renato Descartes, o Cartesius).

Observacin:
1. Si: A=B, el producto cartesiano ser: AxB=AxA=A
2
.
2. Si: A=B= R entonces AxB= RxR= R
2
, este producto nos representa el plano cartesiano.

DIAGONAL DE UN CONJUNTO
Dados un conjunto A=|, a la diagonal del producto cartesiano A x A denotaremos por:
D
A
={(x,y)eAxA/y=x}

Ejemplo: Si R={a,b,c} entonces: AxA={(a,a), (a,b), (a,c), (b,a), (b,b), (b,c), (c,a), (c,b), (c,c)}
Entonces: D
R
={(a,a),(b,b), (c,c)}

PRACTICA
1. Determinar los valores x e y, en cada caso:
a) (4,2x-10)=(x-1,y+2)
b) (y-2,2x+1)=(x-1,y+2)
c) (3x-8y,4x+3y)=(4-2x-10y,2x+4y+7)
d) (
) (

e) (x
3
-19,x
2
y-6)=(y
3
,xy
2
)
2. Dados los conjuntos A={xeZ/-1x3} ; B={ xeZ/1x4} ; C= {xeZ/1x4}. Hallar los
siguientes conjuntos y graficar:
a) AxB


ESFAP - A
b) BxC
c) (A-C)xb
3. Que parte del plano cartesiano se obtiene si se representa grficamente los siguientes
productos cartesianos.
e) <0,+> x <0,+>
f) <-,0> x <-,0>
g) <-,0> x <0,+>
h) <0,+> x <-,0>
4. Dados los conjuntos A={xeR/x-3<7} ; B={ xeR/-2<y<3}. Graficar: AxB y BxA.
5. Dados los conjuntos A={ xeN/x<3} ; B={ xeN/x es par y x<5}
C= {xeN/x es impar y x4}. Hallar el conjunto (AB)x(C-A)
6. Para A y B subconjuntos arbitrarios de R, geomtricamente representar, el producto
cartesiano AxB en el espacio R
2
.
7. Si A={
/ (x-1)(x+2)(x-3)=0} y B={
( ( }, xeR. Hallar AxB,

BxA y graficar.

RELACIONES EN R

RELACIONES BINARIAS
Dados dos conjuntos A y B no vacos, se denomina Relacin binaria de A en B a todo
subconjunto R del producto cartesiano de A x B.
R es una relacin de A en B R _ A x B

R = {(a;b)/a e A . b e B . a R b}

Ejemplo: Sean A= {2,4} y B= {1,3,5}, entonces A x B= {(2,1), (2,3), (2,5), (4,1), (4,3), (4,5)}
Los siguientes conjuntos de pares ordenados son relacin de A x B:
R
1
={(2,3), (2,5)}, R
2
={(2,1), (2,3), (4,5)}, R
3
={(2,5), (4,1), (2,1)}, R
6
=AxB

Cundo no son relaciones de A en B?
Son: R
4
={(2,5), (4,1),(1,2)}, R
5
={(5,4), (2,3), (2,5)}, porque: (1,2), (5,4) e AxB
Por lo tanto: R
4
AxB, R
5
AxB

OBSERVACIONES:
- Si R es una relacin de A en B entonces al conjunto A se le llama conjunto de
partida, y el conjunto B se le llama conjunto de llegada.
- El Dom(R), est dado por el conjunto cuyos elementos son todas las primeras componentes de
los pares ordenados de la relacin.
- El Ran(R), est dado por las segundas componentes.
- Si A tiene x elementos y B tiene y elementos entonces existe 2
n
relaciones entre A y B.
Donde n= p.q

DOMINIO Y RANGO DE UNA RELACION BINARIA
Consideremos una relacin R de A en B, es decir que R c A x B.
El DOMINIO de la relacin R denotado por D
R
es el conjunto definido por.


ESFAP - A
{ ( }

Para determinar el dominio de una relacin, primero se despeja y, luego se analizan los valores
que puedan tomar y y sea real.

El RANGO de la relacin R denotado por R
R
es el conjunto definido por:

{ ( }

Para determinar el rango de una relacin se despeja x, luego se analiza los valores que puedan
tomar y, para que la variable x sea real.

Ejemplo: Sean A={(1,2), (1,5), (2,2), (3,4)} entonces: D
A
{}, R
A
={2,4,5}

PROPIEDADES DE LA RELACIN BINARIA

1. Relacin Reflexiva: Sea R una relacin en A, diremos que R es una relacin reflexiva, si
(a,a) e R para todo aeA.
R es reflexiva en A aeA, (a,a) eR
2. Relacin Simtrica: Sea R una relacin en A, diremos que es simtrica, si (a;b) e R implica
que (b;a) e R, esto es:
R es simtrica (a,b)eR (b,a) eR
3. Relacin Transitiva: Sea R una relacin en A, diremos que es Transitiva si: (a;b) e R y
(b;c) e R implica que (a:c) e R, esto es:
R es transitiva a,b,ceA, [(a,b)eR (b,c)eR (a,c) eR]

4. Relacin de Antisimetrica: Una relacin R en A, diremos que es antisimtrica si:
a,b,ceA, (a,b)eR y (b,a)eR implica que a=b, esto es:
R es antisimetrica a,beA, [(a,b)eR (b,a)eR a=b eR]

5. Relacin de Equivalencia: Sea R una relacin en A, diremos que es de equivalencia, si es
reflexiva, simtrica y transitiva a la vez.

DETERMINACION DE UNA RELACION BINARIA
Teniendo en cuenta una relacin es un conjunto de pares ordenados, entonces a una relacin
determinaremos por extensin o por comprensin.

POR EXTENSIN
Una relacin se determina por extensin cuando se menciona cada uno de los pares ordenados de
la relacin.
Ejemplo: Si: A={2,3,6,9} y B={1,4,5,6,12}
Expresar por extensin las siguientes relaciones:
R={(x,y) e AxB/ y=2x} y R={(x,y) e AxB/ x+y=20}

POR COMPRENSIN
Una relacin queda determinada por comprensin cuando se da una propiedad que caracteriza a
todos los pares ordenados que conforman la relacin.
Ejemplos:
1. Si A=Z conjunto de los nmeros enteros la relacin R={(x,y)eZxZ/ y=x} es una relacin
expresada por comprensin.


ESFAP - A

2. Si U={xeN/xs7}. determinar por comprensin la relacin R={(3,1), (4,2), (5,3), (6,4), (7,5)}.
Solucin
R={(x,y)eUxU/x-y=2}

RELACIN INVERSA
Si R c A x B es una relacin de A en B; entonces a la relacin inversa de R lo denotaremos por
R
-1
, es la relacin de B a A que consta de aquellos pares ordenados que cuando sufren
alteraciones en el orden pertenece a R.
R
-1
= {(b,a) / (a,b) eR}
Ejemplo: Sea R={(1,2), (1,3), (2,3)} en A={1,2,3}, entonces la inversa de la relacin es:
R
-1
={(2,1), (3,1), (3,2)}.
Ejemplo: sea A={1,2,3} , B={4,5,6,7}, y la relacin R de A en B:
R={(1,4), (1,5), (2,4), (2,6)}
R
-1
={(4,1), (5,1), (4,2), (6,2)}

Dom(R)={1,2} Ran (R)={4,5,6} Ran(R
-1
)={1,2} Dom (R
-1
)={4,5,6}

PROPIEDAD FUNDAMENTAL DE LAS RELACIONES INVERSAS
Dada una relacin R de A en B y su relacin inversa R
-1
de B en A, se cumple que:
Dom (R
-1
)= Ran (R)
Ran(R
-1
)= Dom(R)
Ejemplo: Hallar la inversa de las siguientes relaciones:
1. R={(x,y) eRxR/x+3y=12}
2. R={(x,y) eRxR/3x+4y=5 y 1sxs7}

GRAFICA DE UNA RELACIN INVERSA


ESFAP - A

La grafica de R
-1
es simtrica a la grafica de R con respecto a la recta y=x.

PROBLEMAS
1) Grafica e indique el dominio y el rango de las relaciones:
a) R={(x,y) eRxR/ ||
|| }
b) R={(x,y) eRxR/ ||
|| ||}
2) Sea S={(x,y) e ZxZ/3x-ys12 . 2x-3y<0}, Cules de las siguientes afirmaciones son
verdaderas?
c) S
-1
={(m,n) eZxZ/3n-ms12 . 2n-3m<0}
FUNCIONES

HISTORIA DE LAS FUNCIONES
Mientras que el clculo diferencial e integral surgi en el siglo XVII, el concepto de funcin vino
a conocerse un siglo despus, y el limite, entendido de una manera formal y rigurosa, solo a
finales del siglo XIX, lo cual difiere de la forma como se presenta actualmente el clculo, en
donde primero se ensean funciones, luego limites y finalmente derivadas o integrales. En la
obra Introductio in Analysi Infinitorum, Leonhard Euler intenta por primera vez dar una
definicin formal del concepto de funcin al afirmar que: ``Una funcin de cantidad variable es
una expresin analtica formada de cualquier manera por esa cantidad variable y por nmeros o
cantidades constantes''. como puede observarse, esta definicin difiere de la que actualmente se
conoce, pues siete aos despus, en el prlogo de las Instituciones, calculo diferencial, afirm:
Algunas cantidades en verdad dependen de otras, si al ser combinadas las ultimas las primeras
tambin sufren cambio, y entonces las primeras se llaman funciones de las ltimas. Esta
denominacin es bastante natural y comprende cada mtodo mediante el cual una cantidad puede
ser determinada por otras. as, si x denota una cantidad variable, entonces todas las cantidades
que dependen de x en cualquier forma estn determinadas por x y se les llama funciones de x''.
En la historia de las matemticas se le dan crditos al matemtico suizo Leonhard Euler(1707-
1783) por precisar el concepto de funcin, as como por realizar un estudio sistemtico de todas
las funciones elementales, incluyendo sus derivadas e integrales; sin embargo, el concepto
mismo de funcin naci con las primeras relaciones observadas entre dos variables, hecho que
seguramente surgi desde los inicios de la matemtica en la humanidad, con civilizaciones como
la babilnica, la egipcia y la china.
Antes de Euler, el matemtico y filosofo francs Rene Descartes(1596-1650) mostr en sus
trabajos de geometra que tena una idea muy clara de los conceptos de ``variable'' y ``funcin'',
realizando una clasificacin de las curvas algebraicas segn sus grados, reconociendo que los
puntos de interseccin de dos curvas se obtienen resolviendo, en forma simultnea, las
ecuaciones que las representan.


ESFAP - A
FUNCIN
Dados los conjuntos no vacos A y B y una relacin F c A x B se define: F es una funcin
de A en B si y slo si para cada x e A, existe a lo ms un elemento y e B tal que el par
(x,y) e F, es decir que dos pares ordenados distintos no pueden tener la misma primera
componente.
Si: F es una funcin tal que (x,y) eF . (x,z) eF y=x

DOMINIO Y RANGO:
Abreviado por Dom(f) y Ran(f) respectivamente se define as:

Dominio: Denominado PRE-IMAGEN, conjuntos de los primeros elementos de un par ordenado.

Rango: Llamado tambin IMAGEN, es el conjunto de los segundos elementos de la
correspondencia que pertenecen al conjunto de llegada B.

En conclusin: Dom(f) c A . Ran(f) c B .

CLASES DE FUNCIONES:

F. Inyectiva o Univalente: Cuando cada elemento del Rango le corresponde un nico elemento
del dominio.

F. Suryectiva: Cuando el rango o imagen de F coincide con el conjunto de llegada B, es decir:

Ran(f) = F(A) = B .

F. Biyectiva: Cuando es a la vez inyectiva y suryectiva.

PRACTICA

01 Hallar verdadero (V) o falso (F) segn
convenga:
- Toda funcin es una relacin.
- Toda relacin es una funcin.
- Toda recta es una funcin.
- Toda parbola es una funcin.

02. Calcular P si:
P = F(2) + F(4) . F(-3) +F(-1).
Si:
F(x) =
< +
s s
>
2 x ; 3 x 2
3 x 2 ; 1 x
3 x ; 1 x 3
2

Rpta.:

03. Hallar el mnimo:
F(x) = 1 x x
2
+ +
Rpta.:

04. Es funcin:
F =[(8;2),(2;a),(a
2
-1;b)(2;2a-3), (3:5)]
Hallar; a + b
Rpta.:
05. Si: F(x+1) = F(x) + x; y F(2) = 5.
Calcular:
) 0 ( F
) 4 ( F

Rpta.:
06. Hallar el rango de:
F(x) = 2+(-1)
[x]

Rpta.:

07. Dada la funcin:
F(x) =
1 x
1
2

Entonces se puede afirmar que es
creciente en 1 , ?.
Rpta.:
08. Si: F(x) =
6 x 5 x
4 x
2
2
+ +

A = Dominio de F(x)
B = Rango de F(x).
Hallar A - B


ESFAP - A
Rpta.:
09. Encontrar el valor mnimo de la funcin:
F(x) = | e
+
+
; 0 x ;
x 1
x 1
2

Rpta.:

PRACTICA
1. Cul de los siguientes pares ordenados
son funciones?
a) {(2;1), (1;5), (0;0), (6;2)}
b) {(-3;1), (-3;0), (4;2), (7;5)}
c) {(-5;2), (1;2), (3;2), (5;2), (7;2)}
d) {(0;), (0,6;1,5), (5,2), (7,2),
(0,5;0,5)}
2. Indique el rango de la funcin f, si f
tiene como dominio {-1;3;6;7} y como
regla de correspondencia f(x)=x
2
-2x
3. Si f es la funcin {(1;5), (2;6), (-2;2),
(3;7)}. Calcular : f(1)+f(2)+f(3)
4. Para qu valores de a y b la relacin:
R={(2;5), (-1;-3), (2;2a-b), (-1;b-a),
(a+b;a)} es una funcin?
5. Si el conjunto: {(1;5), (a;6), (3;a
2
),
(3;2a+3)} representa una funcin,
proporcionar el rango.
6. Si: f(x)=x
2
+2x+2, hallar g(x) tal que
f(g(x))= x
2
-4x+5
7. Hallar el dominio y rango de las
relaciones:
a) R={(x,y)eRxR/x
2
=y-1}
b) R={(x,y)eRxR/x
2
y
2
-4x
2
=4y
2
}
8. Si: U= {xeZ
+
/ x impar . xs8}. Tabular
las siguientes relaciones en U.
a) R= {(x, y)eUxU/xy=21}
b) R= {(x, y)eUxU/x+y=8}
9. Siendo A={1;2;3;4;5;6} estudiar las
propiedades de las relaciones binarias.
a) R={(x, y)eAxA/x+y>0}
b) R={(x, y)eAxA/xsy}
10. Graficar las siguientes relaciones:
a)
b)

11. Graficar las siguientes funciones y
determinar su dominio y rango.
a) f(x)=
b) h(x)=-x
2
+2x+2
c) f(x)= -
d) f(x)=4-2x
12. Determinar el dominio, rango y construir
la grafica de la funcin: f(x)=
.
13. Hallar el dominio de la funcin:
f(x)=

14. Siendo A={1;2;3;4;5;6;;9} se pide:
a) tabular y construir las graficas de
cada una de las relaciones de A en A.
b) Hallar el dominio y el rango de cada
relacin.
c) Cul de las relaciones es reflexiva,
simtrica o transitiva?
- R={(x, y)eAxA/x
2
+y
2
=4}
- R={(x, y)eAxA/y2=x2-9}
- R={(x, y)eAxA/x2=4y}
- R={(x, y)eAxA/y>x}
15. Discutir y graficar la siguiente relacin:
R={(x,y)eRxR/y
2
(x
2
-4)=x
2
}

Folleto Matematica I-2012

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Folleto Matematica I-2012

Caricato da

Copyright:

Formati disponibili

ESCUELA SUPERIOR DE

FORMACIN ARTSTICA PBLICA-

se lee: el conjunto potencia de A el conjunto de partes de A.

{ } se lee: el conjunto potencia de A, es igual conjunto

( ( }, xeR. Hallar AxB,

Potrebbero piacerti anche