Ing.

Patricia Del Valle Morales 1

Lgica Matemtica
Cuantificadores
2
Proposiciones abiertas
Los enunciados que contienen al menos una variable reciben el
nombre de proposiciones abiertas.

Ejemplo:
El nmero x+2 es un nmero par
X = 1, -3, 5 la proposicin abierta es falsa
X = -4,0,2 la proposicin abierta es verdadera

Definicin: Una frase declarativa es una proposicin abierta si,

1. Contiene una o ms variables, y
2. No es una proposicin, pero
3. Se convierte en una proposicin cuando las variables que
aparecen
en ella se reemplazan por ciertas opciones permisibles.

Esas opciones permisibles son el universo o el universo de discurso para
la proposicin abierta

3
Sintaxis:
p(x) : El nmero x+ 2 es un nmero par
p(x): El nmero x+ 2 no es un nmero par
q(x,y): los nmeros y+2, x-y y x+2y son enteros pares

Cuando sustituimos las variables por un elemento del universo que
representan todos los nmeros reales, tenemos que:

p(5) : El nmero 5+ 2 es un nmero par (FALSO)
p(7): El nmero 7+ 2 no es un nmero par (VERDADERO)
q(4,2): los nmeros 4,2 y 8 son enteros pares (VERDADERO)
q(5,2): los nmeros 4,3 y 9 son enteros pares (FALSO)

Por lo tanto, para ambas expresiones p(x) y q(x,y) segn los valores
dados, algunas sustituciones producen proposiciones verdaderas y
otras producen proposiciones falsas.

4
Tipos de cuantificadores
Las frase para algn x y para todos x,y cuantifican las proposiciones
abiertas p(x) y q(x,y) respectivamente.

Cuantificador existencial:
-x para algn x
para al menos un x
existe un x tal que
-xp(x)
-x -y q(x,y) o -x,y q(x,y)

Cuantificador universal:
x para toda x
para cualquier x
para cada x
xp(x)
x y q(x,y) o x,y q(x,y)
5
cambiar P(x)
Proposicin abierta
xp(x)
proposicin cuantificada

Ejemplo:
Sea el universo el conjunto de nmeros reales, y la proposicin abierta
r(x) : 2x es un nmero par

Entonces, la proposicin cuantificada:

xr(x)



-xr(x)

x r(x)

-x r(x)
es verdadera para cualquier valor de nuestro universo
con el que sustituyamos a x.

es verdadera
es falsa

es falsa

6
Cuantificadores y conectivas lgicas
Ejemplo:
Sea el universo de todos los nmeros reales y las proposiciones
abiertas estn dadas por:
p(x): x >= 0
q(x): x^2 >= 0
r(x): x^2 - 3x -4 = 0
s(x): x^2 3 > 0
Determine si las siguientes proposiciones son verdaderas o falsas:

1) -x [ p(x) ^ r(x) ]

2) x [p(x)q(x)]

Con x=4 es un elemento del universo tal que
Las 2 proposiciones p(4) y q(4) son verdaderas
Con x= - a es un elemento del universo tal que
p(-a) es falsa y q(-a) es verdadera, entonces:
falso verdadero es verdadero.
Con x= + a es un elemento del universo tal que
p(a) es verdadera y q(a) es verdadera, entonces:
verdadero verdadero es verdadero.

7
Ejemplo: (continuacin)
Sea el universo de todos los nmeros reales y las proposiciones
abiertas estn dadas por:
p(x): x >= 0
q(x): x^2 >= 0
r(x): x^2 - 3x -4 = 0
s(x): x^2 3 > 0

Determine si las siguientes proposiciones son verdaderas o falsas:

1)x [ q(x) s(x) ]




2)x [r(x) V s(x)]
Con x=1 es un elemento del universo tal que
q(1) es verdadero y s(1) es falso, por lo tanto
VERDADERO FALSO, la proposicin es FALSA
Con x= 1 es un elemento del universo tal que
r(1) es falsa y s(1) es falsa, entonces:
FALSO v FALSO ,es una proposicin FALSA.

8
Tarea:
1. Sea el universo de todos los nmeros reales y las proposiciones
abiertas estn dadas por:
p(x): x >= 0
r(x): x^2 - 3x -4 = 0

Determine el valor de verdad de la siguiente proposicin:
x [ r(x) p(x) ]

9
Teora de conjuntos
1. Conjuntos Y Subconjuntos
2. Operaciones de conjuntos
Unin
Interseccin
Resta de conjuntos
3. Leyes de la teora de conjuntos
4. Diagramas de Venn
10
1. Conjuntos y subconjuntos
Un conjunto es una coleccin bien definida de objetos. Estos objetos se
llaman elementos y se dice que son miembros del conjunto.

Sintaxis:
A,B,C,.. Para representar los conjuntos (letras maysculas)
w,x,y, Para representar los elementos (letras minsculas)


Definicin de un conjunto:
A es un conjunto formado por los diez primeros nmeros enteros positivos
A = {1,2,3,4,5,6,10}
A = {x | x es un entero y 1<= x <= 10}

| se lee tal que
{x |} se lee como el conjunto de todos los x tal que

1 e A 1 es un elemento del conjunto A
-5 e A -5 no es un elemento del conjunto A

11
Al trabajar con conjuntos finitos o infinitos, se deben describir los
conjuntos en trminos de las propiedades que deben satisfacer sus
elementos.

Ejemplos:
Si u = {1,2,3,4,5,} el conjunto de los nmeros enteros positivos, sean:

A = {1,4,9,,64,81}
= { x^2 | x e u, x^2 < 100}
= { x^2 | x e u x^2 < 100}
= { x e u | x^2 < 100}

B = {1,4,9,16}
= { y^2 | y e u, y^2 < 20}
= { y^2 | y e u y^2 < 23}
= { y e u | y^2 <= 16}

C = {2,4,6,8,}
= {2k | k e u
Conjuntos finitos
Conjunto infinito
12
El Cardinal o tamao de un conjunto:
|A| = 9
|B| = 4

Definicin de Subconjunto:

Si C, D son conjuntos del universo U, decimos que C es un
subconjunto de D y se escribe : C _ D si cada elemento de
C es un elemento de D.

C _ D D _ C

Si adems , D contiene un elemento que no esta en C ,
entonces C es un subconjunto propio de D y se escribe
como: C c D.
13
Uso de cuantificadores:

Y si x [ x e C x e D} , entonces C _ D

Aqu el cuantificador universal indica que debemos considerar cada
elemento x del universo dado U.
Sin embargo sabemos que la implicacin x e C x e D es verdadera
independientemente del valor de verdad de la proposicin x e D, por
lo que solo debemos considerar los reemplazos en los que la
proposicin x e C sea verdadera.

Adems para todos los subconjuntos C,D de U :
Cc D C _ D

Y cuando C, D son finitos:

C _ D |C| <= |D|
Cc D |C| < |D|


14
No hay restricciones en cuanto a los objetos que pueden ser
miembros de un conjunto.

Ejemplos:
1) S = {a, {1, 2}, p, {q}}
{q} e S el conjunto {q} es miembro de S
q e {q} el elemento q es miembro del conjunto {q}
Pero q e S el elemento q no es miembro de S

2) Si A = {{1}, 2, 3}, entonces:

i. {1} e A
ii. {{1}, 2} _ A
iii. {{1}} _ A
iv. 2 e A
v. {2, 3} _ A
vi. 1 e A


15
3) U = {1,2,3,4,5,6,x,y, {1,2}, {1,2,3} , {1,2,3,4}} , |U| = 11
Si A = {1,2,3,4} entonces |A| = 4
A _ U
A c U
A e U

{A} _ U
{A} c U
{A} e U

4) Sea B = {5,6,x,y,A} = {5,6,x,y,{1,2,3,4}},entonces |B| = 5
i. A e B
ii. {A} _ B
iii. {A} c B
iv. {A} e B
v. {A} . B ( A no es un subconjunto de B)
vi. A . B ( A no es un subconjunto propio de B)
16
Propiedad reflexiva y transitiva de los conjuntos
Sean A, B,C _ U,

A _ A (propiedad reflexiva)

(A _ B) . (B _ C) (A _ C) (propiedad transitiva)
(A c B) . (B _ C) (A c C) (propiedad transitiva)
(A _ B) . (B c C) (A c C) (propiedad transitiva)
(A c B) . (B c C) (A c C) (propiedad transitiva)


17
Conjuntos iguales

Dos conjuntos A y B son iguales si y solo si A _ B y B _ A

A = B (A _ B) . (B _ A)

A = B x {x| x e A x e B}

Ejemplos:

{1, 2, 4} = {1, 2, 2, 4}
{1, 4, 2} = {1, 2, 4}
Si P = {{1,2}, 4} y Q = {1, 2, 4}, entonces P = Q
{{1}} = {1}
Si U = {1,2,3,4,5}, A = {1,2} y B = {x|x^2 e U }= {1,2},
entonces A = B
18
Conjunto universal
Un conjunto se llama conjunto universal si incluye todos los
conjuntos en discusion, y se denota por la letra E.

Conjunto Vaco
Es un conjunto que carece de elementos. Se llama
conjunto vaco, y se representa por o { }.
Observe que || = 0 pero {0} = , as mismo = {0}

Ejemplo:
si C = { x / x3 = 8 y x es impar }
entonces C = { } o C =
Nota :
Sea A _ U, entonces _ A, y si A = , entonces c A

19
Familia de conjuntos
Para un conjunto A cualquiera, a la coleccion o familia de
todos los subconjuntos de A se le llama conjunto potencia
de A y se denota por (A).
Ejemplos:
1. Si M = { 1, 2 }
El conjunto M tiene 2 elementos
Entonces 2^M = { {1}, {2}, M, },
es decir (M)= 2^2 = 4 posibles subconjuntos de M
2) Si M = { 1, 2, 3 }
El conjunto M tiene 3 elementos
2^M = { {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, M, }
entonces (M)= 2^3 = 8 posibles subconjuntos de M
20
Operaciones de conjuntos
y las leyes de la
teora de conjuntos
21
Unin de conjuntos

La unin de dos conjuntos A y B, que se denota como A B, es
el conjunto de todos los elementos que pertenecen al conjunto
A o al conjunto B o a ambos.
A B = {x| (x e A) v (x e B) }

Extrapolando:

A B C = {x| (x e A) v (x e B) v (x e C)}

La unin de dos conjuntos es conmutativa, asociativa y
reflexiva.
A B
A U B
A B
A U B
B
A
A U B
22
Ejemplo:

Dados los conjuntos: A = { 0, 1, 2, 3, 4, 5 }, B = { 0, 2, 4 } y C =
{ 5, 6, 8 }, efectuar y construir los diagramas de Venn
respectivos:


a) A U C = { 0, 1, 2, 3, 4,5, 6, 8 }



b) B U C = {0,2,4,5,6,8}



c) A U B = {0,1,2,3,4,5}
23
Interseccin de conjuntos
La interseccin de dos conjuntos A y B, se denota como A B,
y es el conjunto de todos los elementos que estan contenidos
tanto en A como en B.

A B = {x| (x e A) . (x e B)}
A B = B A A A = A A C = C

La interseccin en conjuntos es asociativa y conmutativa.

Nota:
X e A B (X e A . X e B) X e A

Por la regla de la simplificacin de la conjuntiva:

X e A (X e A v X e B) X e A U B
24
Diferencia simtrica:

La diferencia simtrica de A y B se denota como :
A A B = {x| (x e A v x e B) . x e A B}
= {x| (x e A B) . x e A B}

Ejemplo: Si u = {1,2,3,,9,10}, A = {1,2,3,4,5}, B ={3,4,5,6,7}
y C = {7,8,9} , calcular las siguientes operaciones:

a) A B =
b) B C =
c) A A B =
d) A A C =
e) A B =
f) A C =
g) A C =
25
Conjuntos disjuntos:
Sean S, T _ U. Los conjuntos S y T son disjuntos o mutuamente disjuntos
si :

S T = C o S T = S A T


Complemento:
Para un conjunto A _ U, el complemento de A se denota por U- A o A :

A = {x | x e U . x e A }


Complemento relativo:
Para A, B _ U, el complemento relativo de A en B, se denota por B - A :

B- A = {x | x e B . x e A }
26
Ejemplo:

Si U = {1,2,3,,9,10}, A = {1,2,3,4,5}, B ={3,4,5,6,7} y
C = {7,8,9} , calcular las siguientes operaciones:

1. A =
2. B =
3. C =
4. B A=
5. C A =
6. A B =
7. A A =
8. A C =
9. U A =


27
Leyes de la teora de conjuntos
Ley de doble complemento A = A
Leyes De Morgan A B = A B
A B = A B
Propiedades conmutativas A B = B A
A B = B A
4. Propiedades asociativas A (B C) = (A B) C
A (B C) = (A B) C
5. Propiedades distributivas A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
6. Propiedades idempotentes
A A = A
A A = A
7. Propiedades del neutro
A C = A
A U = A
8. Propiedades del inverso
9. Propiedades de dominacin
10.Propiedades de absorcin
28
1. A = A
2. A B = A B
A B = A B
3. A B = B A
A B = B A
4. A (B C) = (A B) C
A (B C) = (A B) C
5. A (B C) = (A B) (A
C)
A (B C) = (A B) (A
C)
6. A A = A
A A = A
7. A C = A
A U = A