MATEMATICA FMM004

Lgica y Conjuntos
Primer Semestre, 2013
Prof. Gabriel Aguilera C
Universidad Andrs Bello

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Lgica

La lgica es la base de todo el gran edificio llamado Matemtica. Sin la

lgica, no podramos efectuar razonamientos matemticos.

Conceptos primitivos
Los conceptos primitivos corresponden a ideas que no precisan definicin.
En Lgica, los valores de verdad verdadero (V) y falso (F) son los conceptos
primitivos.
Ahora presentaremos nuestro primer concepto a definir:

Definicin
Una proposicin es una sentencia declarativa (que afirma o niega algo de
algn sujeto) que posee un nico valor de verdad, pudiendo ser verdadera
(V) o bien ser falsa (F). Usualmente se denotan por letras minsculas
p, q, r, s, etc.

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Ejemplos
I

Sea p :Hoy es Martes. p es una proposicin, pues podemos darle un

valor de verdad (V F) dependiendo de si hoy es martes o no.

q : Hola no es una proposicin, no podemos darle un valor de verdad

5 = 5 es una proposicin, cuyo valor de verdad es F.

|0| = 0 es una proposicin V.

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Conectivos lgicos

Definicin
Un conectivo lgico es un operador que nos permite obtener nuevas proposiciones a partir de otras dadas. Los conectivos bsicos son:
I

negacin: (no)

conjuncin: (y)

disyuncin: ()

condicional: (si. . . entonces)

bicondicional: (si y slo si)

Definicin
Una proposicin se dice simple si no incluye conectivos lgicos. En caso
contrario, se dice que la proposicin es compuesta.

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Valor de verdad de una proposicin compuesta

El valor de verdad de una proposicin compuesta depende de los valores de

verdad de las proposiciones que la componen y de los conectivos empleados.
Para analizar el valor de verdad de una proposicin compuesta, usamos las
tablas de verdad.
La tabla de verdad bsica, para dos proposiciones p y q tiene la forma:
p
V
V
F
F

q
V
F
V
F

A esta tabla se van agregando columnas con las proposiciones compuestas que queremos analizar. Para esto, necesitamos saber cul es el valor
de verdad de una proposicin compuesta con cada uno de los conectores
lgicos.

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Conectivos lgicos

Negacin ()

Definicin
Dada una proposicin p, se llama negacin de p, y se escribe p, a la
proposicin no p. Esto significa que p es V si p es F , y p es F si p
es V .
La tabla de verdad para la negacin es:

p
V
F

p
F
V

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Conectivos lgicos

Conjuncin ()

Definicin
Dadas dos proposiciones p y q, su conjuncin es la proposicin p y q, la
cual se escribe p q. La conjuncin es V si ambas proposiciones p, q son
verdaderas, y F si hay al menos una proposicin falsa.
La tabla de verdad para la conjuncin es:

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Conectivos lgicos

Disyuncin ()

Definicin
Dadas dos proposiciones p y q, su disyuncin es la proposicin p q, la
cual se escribe pq. La disyuncin es V si al menos una de las proposiciones
p, q es verdadera, y F si ambas son falsas.
La tabla de verdad para la disyuncin es:

p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Conectivos lgicos

Condicional ()

Definicin
Dadas dos proposiciones p y q, el condicional de ellas es la proposicin si
p entonces q, la cual se escribe p q. Aqu, p se llama antecedente y q
el consecuente. Tambin, p q se lee p es condicin suficiente para q,
o bien q es condicin necesaria para p. As, p q es F slo si p es V y
q es F . En los dems casos es V .
La tabla de verdad para el condicional es:

p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Conectivos lgicos

10

Bicondicional ()

Definicin
Dadas dos proposiciones p y q, el bicondicional de ellas es la proposicin
p si y slo si q, la cual se escribe p q. Tambin se lee p es condicin
necesaria y suficiente para q p q es V cuando las proposiciones tienen
el mismo valor de verdad. En los dems casos es F .
La tabla de verdad para el bicondicional es:

p
V
V
F
F

q
V
F
V
F

p q
V
F
F
V

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Tautologa y Contradiccin

Definicin
Una proposicin compuesta se dice que es una:
I

tautologa, si ella es siempre V , independiente de los valores de verdad

que tomen las proposiciones que la forman.

contradiccin, si ella es siempre F , independiente de los valores de

verdad que tomen las proposiciones que la forman.

contingencia, si no es ni tautologa ni contradiccin.

11

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Equivalencia lgica

Definicin
Dadas dos proposiciones p y q, se dice que ellas son lgicamente equivalentes, si la proposicin p q es una tautologa. En tal caso se escribe
p q y se lee p es equivalente a q.

12

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Equivalencias importantes

13

( p)

pq

qp

(conmutatividad de )

pq

qp

(conmutatividad de )

pq

(doble negacin)

qp

(conmutatividad de )

p (q r)

(p q) r

(asociatividad de )

p (q r)

(p q) r

(asociatividad de )

p (q r)

p (q r) (p q) (p r)
(distributividad de con respecto a )

p (q r) (p q) (p r)
(distributividad de con respecto a )

(p q)

pq

(Ley de De Morgan para )

(p q)

pq

(Ley de De Morgan para )

pq

p q

pq

(p q) (q p)

(p q) r

(asociatividad de )

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Cuantificadores

Definicin
Una funcin proposicional es una expresin p compuesta de variables, que
se transforma en proposicin con valor de verdad cuando dichas variables
asumen ciertos valores.

Ejemplos
I

Sea p : x es un pas de Europa. Esta es una funcin proposicional de

x. Si x = Francia, la proposicin p es verdadera, pero si x = Uruguay,
la proposicin que se obtiene es falsa.

Sea q : x + 6 = 11. Esta es una funcin proposicional de x. Si x = 5,

la proposicin q es verdadera, pero si x = 4 , la proposicin que se
obtiene es falsa.

Definicin
Se llama conjunto de validez de una funcin proposicional, al conjunto de

14

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Cuantificadores

Definicin
I

Para indicar que una funcin proposicional es verdadera para cualquier

elemento de un determinado conjunto U se usa el simbolo , el cual
se llama cuantificador universal. El smbolo se lee: para todo,
cualquiera sea, para cada.

Para indicar que una funcin proposicional es verdadera para algn

elemento de un determinado conjunto U se usa el simbolo , el cual
se llama cuantificador existencial. El smbolo se lee: existe (un),
existe al menos un, existe algn.

Para indicar que una funcin proposicional es verdadera para un nico

elemento de un determinado conjunto U se usa el simbolo !, el cual
se lee: existe un nico.

15

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Cuantificadores
Cuantificadores y funciones proposicionales

Sea A un conjunto y sea p una proposicin que depende de la variable x (en

este caso escribimos p(x)). Al usar los cuantificadores, podemos obtener
las proposiciones siguientes:
I

x A, p(x), lo cual se lee Para todo p en x, p(x) es una proposicin

verdadera.

x A, p(x), lo cual se lee Existe un p en x, tal que p(x) es una

proposicin verdadera.

Estas proposiciones pueden negarse segn las siguientes reglas:

I

(x A, p(x)) (x A, p(x))

(x A, p(x)) (x A, p(x))

16

Prof. Gabriel Aguilera C | MATEMATICA FMM004

17

Ejemplos
1. Sea p(x) : x es un pas de Sudamrica y sea A =
{Chile, Uruguay, Bolivia, Paraguay, Brasil}. La proposicin x
A, p(x), se leera
Todos los elementos de A son pases de Sudamrica
lo cual es verdadero.
La negacin de p es (x A, p(x)) (x A, p(x)) y se leera
Existe algn elemento de A que no es un pas de Sudamrica
y es falsa (negacin de algo verdadero).
0
2. Sea A = R y sea p(x) : x A,
= 0. Esta proposicin es falsa,
x
porque si x = 0 no obtenemos cero al realizar la divisin. Por lo tanto,
0
su negacin p(x) : x A, 6= 0 es verdadera.
x

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Conjuntos

Definicin
I

Llamaremos conjunto a cualquier coleccin bien determinada de objetos. Se denotan por letras maysculas: A, B, C, . . .. Los objetos los
llamaremos elementos del conjunto, se denotan por a, b, c, . . .. Un objeto a de A se dice que pertenece al conjunto y se escribe a A. En
caso contrario se escribe a
/ A.

Dos conjuntos importantes son el conjunto vaco, que no contiene

elementos y se denota por , y el conjunto universo, que contiene a
todos los elementos y se denota por U .

Los elementos x de un conjunto A se pueden caracterizar por una propiedad P (x) y definir el conjunto como A = {x U : P (x)}, llamada
definicin por comprensin. Tambin se puede enumerar los elementos
del conjunto A = {a, b, c, ...}, llamada definicin por extensin.

Un conjunto A est bien definido si dado un x U , puede decidirse

si el elemento est o no en A, es decir, puede decidirse si una de las

18

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Conjuntos

19

Ejemplos
Aqu mostramos para dos casos, cmo definir un conjunto:
1. Por extensin, vale decir mostrando los elementos de A.
N := { 1, 2, 3, . . .} ( Nmeros naturales)
2. Por comprensin, esto es dando una propiedad (o proposicin) que
caracterice a los elementos del conjunto.
na
o
Q: =
: a, b Z, b 6= 0
( Nmeros racionales).
b

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Operaciones con conjuntos

Definicin (Subconjuntos)
Dados dos conjuntos A y B, se dice que A es subconjunto de B o que A
est incluido o contenido en B, y se escribe A B, si todos los elementos
de A estn tambin en B, esto es:
A B (x U : x A x B)

Propiedades de la inclusin
Dados A, B, C conjuntos, se tiene
1. A U
2. A A
3. (A B B C) A C

20

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Operaciones con conjuntos

Observacin
A 6 B x U : x A x
/B

Definicin (Igualdad de conjuntos)

Dados dos conjuntos A y B, se dice que A y B son iguales, y se escribe
A = B, si los elementos de A y B coinciden, esto es:
A=B

(A B) (B A).

Dicho de otro modo:

(x U : x A x B) (x U : x B x A).

21

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Operaciones con conjuntos

22

Definicin (Diferencia)
Sea U el conjunto universo, y sean A, B subconjuntos de U . La diferencia
de A y B es el conjunto
A B = { x U : x A x 6 B }
que tambin se escribe A \ B, y se representa grficamente como:

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Operaciones con conjuntos

23

Definicin (Complemento)
El complemento de A con respecto a U , el cual se denota Ac (o bien A0 ),
es el conjunto U A, vale decir:
Ac := U A = { x U : x 6 A }
que se representa grficamente como:

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Operaciones con conjuntos

Propiedades de la diferencia y complemento

1. x U : x A
c

2. = U

x Ac .

U = .

3. A A = U .
4. (Ac )c = A.
5. A Ac =
6. A B = A B c

24

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Operaciones con conjuntos

25

Definicin (Interseccin)
Sea U el conjunto universo, y sean A, B subconjuntos de U . La interseccin
de A y B, la cual se denota A B, es el conjunto de todos los elementos
comunes a A y B, esto es
A B := {x U : x A
que se representa grficamente como:

xB}

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Operaciones con conjuntos

26

Definicin (Unin)
Sea U el conjunto universo, y sean A, B subconjuntos de U . La unin de
A y B, la cual se denota A B, es el conjunto de todos los elementos que
estn en A o en B, esto es
A B := {x U : x A
que se representa grficamente como:

xB}

Prof. Gabriel Aguilera C | MATEMATICA FMM004

27

Propiedades de la unin e interseccin

1. A A = A ,

AA=A

2. A B = B A ,

AB =BA

(idempotencia)
(conmutatividad)

3. A (B C) = (A B) C

(asociatividad de )

4. A (B C) = (A B) C

(asociatividad de )

5. A (B C) = (A B) (A C)

(distributividad)

6. A (B C) = (A B) (A C)

(distributividad)

7. (A B) = A B

8. (A B)c = Ac B c .

(Ley de De Morgan)
(Ley de De Morgan)

Definicin
Dos conjuntos A y B se dicen disjuntos si y slo si A B = .
Por ejemplo, para A U , A y Ac son disjuntos pues A Ac = .

Prof. Gabriel Aguilera C | MATEMATICA FMM004

Cardinalidad

28

Definicin
El nmero de elementos de un conjunto finito A se llama cardinalidad de A y se
denota por Card(A) o por #A.

Ejemplo
Si A = {x N : n es par y n < 10}, entonces su cardinalidad es
#(A) = #({2, 4, 6, 8}) = 4.

Propiedades
1. Si A y B son conjuntos disjuntos, entonces #(A B) = #A + #B.
2. Si A y B son conjuntos arbitrarios, entonces
#(A B) = #A + #B #(A B).
3. Si A, B y C son conjuntos arbitrarios, entonces
#(ABC) = #A+#B+#C#(AB)#(AC)#(BC)+#(ABC)