Logica Proposicional y Teoria de Conjuntos

ESCUELA SUPERIOR DE FORMACIN
ARTSTICA PBLICA- ANCASH

RANGO UNIVERSITARIO N 29550

MATEMTICA BSICA I

EDUCACIN ARTSTICA

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

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 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.

ELEMENTOS DE LA LGICA SIMBLICA

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

PROPOSI CI N (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
- x
2
+y
2
4
- El perro es un pez

Expresiones no Proposicionales.- Son aquellos enunciados a los que no se les puede
asignar un valor de verdad. Entre ellos tenemos a los exclamativos, interrogativos o
imperativos.

Ejemplos:
- Cmo te llamas?
- Prohibido pasar
- Borra la pizarra
- Qu hora es?
- Viva el Per!
- Por favor mtame con pasin


ESFAP -
A
OBSERVACIN: Toda proposicin es un enunciado, pero no todo enunciado es una
proposicin.
II. ENUNCI ADO ABI ERTO: 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:
Es verdadero
Es falso

El valor de verdad de P(x) depende del valor de x, tambin, se le conoce como funcin
proposicional.

III. VARI ABLE: 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:
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 PROPOSICI ONES:

1. Proposicin Simple o Atmica.- Son aquellas que no tienen oraciones componentes
afectadas por negaciones ("no") o trminos de enlace como conjunciones ("y"), disyunciones
6 x : ) x ( P >
6 9 : ) 9 ( P >
6 2 : ) 2 ( P >


ESFAP -
A
("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

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.

CONECTI VOS LGI COS.- Son smbolos que enlazan dos o ms proposiciones simples para
formar una proposicin compuesta.
Los conectores lgicos que usaremos son:

OBS: La negacin es un conector mondico ("no", "no es ci erto que. . . ") , afecta solamente
a una proposicin.


ESFAP -
A
Ejemplo: ~p; ~[(p*q) > r]; yo no estudi

OPERACI ONES 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,)

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

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
F F F
F V F
F F V
V V V
q p q p .


ESFAP -
A
2. Disyuncin (dbil o inclusiva): Vincula dos proposiciones mediante el conectivo lgico
"o".

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.
Solucin
p q pvq
F F F

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:
F F F
V V F
V F V
V V V
q p q p v


ESFAP -
A
Tabla de Verdad

Ejemplo:
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..............
Directas: sientonces., si.por lo tanto, conclusin, luego. pq
I ndirectas: Despus de las palabras cuando, si, , va el antecedente. (Cuando, si, cada vez
que, ya que, debido a que, puesto que, a menos que no, porque, dado que, siempre que)
qp.

Diagrama de Gant

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

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


ESFAP -
A
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

5. Bicondicional o doble implicancia: Vincula dos proposiciones mediante el conectivo
lgico: ".............. si y slo si .............." (si solamente si, cuando y slo cuando, entonces y
slo entonces)

Tabla de Verdad

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

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


ESFAP -
A
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

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)
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

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.


ESFAP -
A
Tabla de Verdad

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

OBSERVACI N: La cantidad de filas en una tabla es:

Donde n es la cantidad de proposiciones simples.

I MPORTANTE:

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

* Se dir que el esquema molecular es CONTRADI CCI N 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 CONTI NGENCI A O CONSI STENTE.

EJERCICIOS PROPUESTOS

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

a) Una es proposicin.
b) Dos son enunciados abiertos.
c) Dos son expresiones no proposicionales.
d) Dos son proposiciones.
e) Todas son proposiciones.

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.
a) 1 b) 2 c) 3 d) 4 e) 5

V
F
p ~
F
V
p
# filas = 2
n
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?
a) 0 b) 1 c) 2 d) 3 e) 4

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

a) VVFV b) VFVV c) VVVV d) VVVF e) FVVV

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.
a) VFV b) VVV c) VFF d) FVF e) FFF

06. Si : ; es falsa, determinar los valores de verdad de "p", "q" y "r".
a) VVF b) VFF c) VVV d) VFV e) FFF

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

a) V b) F c) V o F. d) No se puede determinar.
e) Es V si p es F.

09. Si la proposicin compuesta:

Es falsa. Indicar las proposiciones que son verdaderas:
a) p ; r b) p ; q c) r ; t d) q ; t e) p ; r ; t

10. Si la proposicin:

Es falsa, hallar el valor de verdad de las siguientes frmulas:
I.
II.
III.
a) VVF b) VFV c) VVV d) VFF e) FVV

) 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 .


ESFAP -
A
11. Indicar el valor de verdad de:
I.
II.
III.
a) VVV b) VFV c) VVF d) FVF e) FVV

12. Indicar el valor de verdad de:
I.
II.
III.
IV.
a) VFVF b) VVVF c) FVFV d) VFFV e) FVVV

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:

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

) q p ( p v
) q p ( ) q p ( .
] p ) q p [( ~ .
] p ) q p [( ~ .
p ) q p ( .
) q p ( ) q p ( .
) q p ( p v


ESFAP -
A
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
IDEMPOTENCIA p.p p pvp p
LEYES DE De
MORGAN
~(pvq) ~p.~q ~(p.q) ~pv~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
LEY
BICONDICIONAL
pq(pq).(qp) pq(p.q)v(~pv~q)
Elementos Neutros
para la Conjuncin
y Disyuncin
p.Vp, V
neutro de la
conjuncin
pvVV
pvFp, F
neutro de la disyuncin
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


ESFAP -
A
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

2. Simplificar: A=[(qp)p](~q~p)
Solucin
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

PROBLEMAS
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. 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.
9. 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.
10. Analiza los siguientes enunciados o proposiciones:


ESFAP -
A
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 ( pvq) [(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
luz" = p ; "Los
planetas reflejan la
luz = q ; "Los
planetas giran
alrededor de las
estrellas" = r
2
Las estrellas emiten luz o los planetas la reflejan y, por otra
parte, los planetas giran alrededor de ellas
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) (pvq) (r.s) (p.q) (rvs)

CIRCUITOS LOGICOS
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.


ESFAP -
A

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 seriey en paralela.
1) DISEO DE CIRCUITOS ELCTRICOS EN SERIE
Consideremos los interruptores (proposiciones) p y q conectados en serie.

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.


ESFAP -
A
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:

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.


ESFAP -
A
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
Por lo tanto P(x) es una funcin proposicional.

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.

Ejemplo

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

Existe al menos un elemento x de B que pertenece a A:


ESFAP -
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:

Que podemos leer: existe al menos un elemento y en B, y este elemento y no pertenece a A.
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.

Ejemplo

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

Todo elemento x de A pertenece a 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:

Es decir, que no para todo elemento y de B tenemos que o implica que y tambin pertenezca a A.

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:

Que podramos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x).
Segn el ejemplo anterior:


ESFAP -
A

Para todo x que pertenece a A implica que x pertenece a B, que podemos expresar:

No existe un x de B por tanto x no est en a A.

Ejemplo:
- Expresar todos los gatos tienen cola en calculo de predicados.
Solucin
Hallar primero el mbito del cuantificador Universal, que es:
Si x es un gato, entonces x tiene cola
Gx x es un gato
Cx x tiene cola
Por tanto: (x) Gx Cx

LEYES DE INTERCAMBIO DE 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.
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.

Un cuantificador es una expresin que permite determinar cantidad en una proposicin.
Por ejemplo, en la proposicin todos los animales mamferos son vivparos, la expresin todos
determina la cantidad de mamferos que son vivparos.
En matemticas se utilizan como cuantificadores las expresiones todos, algunos, ninguno, no
todo, slo uno.
La expresin para todo se denomina cuantificador universal.
La expresin existe algn se denomina cuantificador existencial.

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.

Ejemplo: Negar la proposicin, xeN/x+3>5
Solucin
~[xeN/x+3>5]-xeN/x+3s5


ESFAP -
A

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.
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.


ESFAP -
A
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.
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:
Luego, simbolizar la proposicin y la negacin.
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

PROBLEMAS PROPUESTOS

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.
- Existe al menos una montaa.
- Hay cisnes negros.
- Existen animales carnvoros.
- 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:


ESFAP -
A
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:


ESFAP -
A
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)
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.


ESFAP -
A
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,
RELACI ON DE PERTENENCI A (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: {
} ; {
}
DI AGRAMA 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.
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.


ESFAP -
A
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.
ii) , porque algunos elementos de M no estn en N.
REPRESENTACION GRAFICA:


ESFAP -
A
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
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.


ESFAP -
A
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.

EJERCICIOS PROPUESTOS
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}
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.


ESFAP -
A
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?
* 4eA * {5}eA *5eA *7.A
*{4}cA *{{5}}cA *{{4,5}eA *{{5},6}cA
*{6}cA *|eA


ESFAP -
A
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:
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


ESFAP -
A
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.
Simblicamente se define: { }= U-A
Grafica:


ESFAP -
A
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)

PROBLEMAS PROPUESTOS

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?
a) {1; 2; 3}; {4; 5; 6}; {7}; {1, 4, 5, 7}; {1}; {5}; {1, 5, 2}; {8}; {4, 5, 6, 7};
{1, 2,3, 4, 5, 6}; {2}
b) {1; 2}; {4; 5; 6}; {7}; {1, 4, 7}; {1}; {5}; {1, 5, 2}; {8}; {4, 5, 6, 7};
{1, 2,3,5, 6}; {3}
c) {1; 2; 3}; {4; 5; 6}; {7}; {1,7}; {1}; {5}; {1,2}; {8}; {4, 6, 7};
{1, 2,3, 4, 5, 6}; {6}
d) {2; 3}; {4; 5; 6}; {7}; {5, 7}; {1}; {5}; {1}; {8}; {4, 5, 6, 7};
{6}; {1}
e) N.A.

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


ESFAP -
A
3) De las siguientes. notaciones determinar cul de ellas es falsa:
a) {2, 5, 3} = {3, 5, 2}
b) {4} e {{4}, 5}
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}
Cul es la suma de los elementos de B A?
a) 12 b)11 c)24 d)15 e)16

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.
a)30 b)34 c)14 d)39 e)N.A.
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?
a)3 b)5 c)7 d)9 e)4
8) Si el conjunto E es unitario E = {a + 2b; 3b a + 2; 11}. Hallar: a . b
a)12 c)13 c)14 d)15 e)16
9) Qu expresin representa la parte achurada de la figura?

a)(AB)-C b)C(AB) c)(AB)-C d)ABC e)N.A.
10) A = {a, o, i}; B = {a, o, u} el nmero de subconjuntos propios de: A B.
a)12 b)15 c)18 d)20 e)8
11) Si: A ={1, 2, 3,5} B ={2, 3, 4,5}
Hallar: [(A B ) (A A B)] - B
a)1 b)2 c)3 d)4 e)5


ESFAP -
A
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)]
a)38 b)60 c)48 d)70 e)100

13) De un grupo de postulantes a universidades, se sabe que:
- 16% postulan a la UNI
- 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?
a)3000 b)1250 c)2458 d)3640 e)N.A.

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?
a)24 y 64 b)31 y 49 c)36 y 69 d)29 y 69 e)N.A.

15) Cul de las siguientes relaciones expresa mejor la regin achurada?

a) (A B) A C
b) (A A B) C
c) A A (B C)
d) (A A B) (A B C)
e) N.A.

16) La regin sombreada en el diagrama

Representa la operacin:
a) (A - B) (C B)


ESFAP -
A
b) (B - A) (C B)-(CD)
c) A y B son correctas
d) (B A) (C - D) (D C)
e) B y D son correctas

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?
a)28 b)38 c)48 d)58 e)18
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?
a)18 b)15 c)12 d)10 e)6
19) Si: n(A A B) = 8
n(A B) =2
Hallar: n(A B)

a)8 b)9 c)10 d)11 e)N.A.
20) Determine el conjunto B: B = {x/x
2
5x + 6 = 0}
a){2;1} b){2;5} c){2;3} d){1;4} e){3;4}
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)} e) N. A

23) Hallar x si el conjunto es unitario: A = {2x 3, x +2}
a)1 b)3 c)5 d)7 e)N.A.
24) Cul es la alternativa que representa la regin achurada?


ESFAP -
A

a) (A B) C
b) (A C) B
c) (A B) C
d) (A C) {B (A C)}
e) N.A.

25) Si A tiene 3 elementos. Hallar n[P(A)]
a)2 b)4 c)8 d)16 e) N.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?
a)5 b)7 c)3 d)4 e)N.A.

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?
a)4 b)5 c)6 d)7 e)8
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
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?
a)167 b)257 c)247 d)897 e)N.A.

Logica Proposicional y Teoria de Conjuntos

Cargado por

Copyright:

Formatos disponibles

Logica Proposicional y Teoria de Conjuntos

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

Logica Proposicional y Teoria de Conjuntos

Cargado por

Copyright:

Formatos disponibles

ESCUELA SUPERIOR DE FORMACIN

ARTSTICA PBLICA- ANCASH

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

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

También podría gustarte