MATEMATICA FMM004

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

Lgica
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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

Universidad
Andrs Bello

MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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.

28

Universidad
Andrs Bello

Conectivos lgicos
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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)

I
I

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

Universidad
Andrs Bello

Valor de verdad de una proposicin compuesta

MATEMATICA
FMM004

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

Prof. Gabriel
Aguilera C

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

Universidad
Andrs Bello

Conectivos lgicos
Negacin ()
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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

28

Universidad
Andrs Bello

Conectivos lgicos
Conjuncin ()
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

Definicin
Dadas dos proposiciones p y q, su conjuncin es la proposicin p y
q, la cual se escribe pq. 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

28

Universidad
Andrs Bello

Conectivos lgicos
Disyuncin ()
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

Definicin
Dadas dos proposiciones p y q, su disyuncin es la proposicin p
q, la cual se escribe p q. 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

28

Universidad
Andrs Bello

Conectivos lgicos
Condicional ()
MATEMATICA
FMM004

Definicin

Prof. Gabriel
Aguilera C

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
28

Universidad
Andrs Bello

Conectivos lgicos
Bicondicional ()
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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
28

Universidad
Andrs Bello

Tautologa y Contradiccin
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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.

28

Universidad
Andrs Bello

Equivalencia lgica
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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.

28

Universidad
Andrs Bello

Equivalencias importantes
I

( p)

I
I

pq
pq

pq

(doble negacin)

qp
qp

qp

Prof. Gabriel
Aguilera C

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

MATEMATICA
FMM004

(conmutatividad de )
(conmutatividad de )

(p q) r

(asociatividad de )

28

Universidad
Andrs Bello

Cuantificadores
MATEMATICA
FMM004

Definicin

Prof. Gabriel
Aguilera C

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 valores que hacen que dicha proposicin sea verdadera.
28

Universidad
Andrs Bello

Cuantificadores
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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.

28

Universidad
Andrs Bello

Cuantificadores
Cuantificadores y funciones proposicionales
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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

28

Universidad
Andrs Bello

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

MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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
= 0. Esta proposicin
2. Sea A = R y sea p(x) : x A,
x
es falsa, porque si x = 0 no obtenemos cero al realizar la
0
divisin. Por lo tanto, su negacin p(x) : x A, 6= 0 es
x
verdadera.
28

Universidad
Andrs Bello

Conjuntos
MATEMATICA
FMM004

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 dos proposiciones: x A x
/ A es verdadera.

Prof. Gabriel
Aguilera C

28

Universidad
Andrs Bello

Conjuntos
MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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

28

Universidad
Andrs Bello

Operaciones con conjuntos

MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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

28

Universidad
Andrs Bello

Operaciones con conjuntos

MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

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

28

Universidad
Andrs Bello

Operaciones con conjuntos

MATEMATICA
FMM004

Definicin (Diferencia)

Prof. Gabriel
Aguilera C

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:

28

Universidad
Andrs Bello

Operaciones con conjuntos

MATEMATICA
FMM004

Definicin (Complemento)

Prof. Gabriel
Aguilera C

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:

28

Universidad
Andrs Bello

Operaciones con conjuntos

MATEMATICA
FMM004
Prof. Gabriel
Aguilera C

Propiedades de la diferencia y complemento

1. x U : x A
2. c = U

x Ac .

U c = .

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

28

Universidad
Andrs Bello

Operaciones con conjuntos

MATEMATICA
FMM004

Definicin (Interseccin)

Prof. Gabriel
Aguilera C

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

xB}

que se representa grficamente como:

28

Universidad
Andrs Bello

Operaciones con conjuntos

MATEMATICA
FMM004

Definicin (Unin)

Prof. Gabriel
Aguilera C

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

xB}

que se representa grficamente como:

28

Universidad
Andrs Bello

Propiedades de la unin e interseccin

1. A A = A ,

AA=A

2. A B = B A ,

AB =BA

(asociatividad de )

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

(asociatividad de )

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

Prof. Gabriel
Aguilera C

(conmutatividad)

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

MATEMATICA
FMM004

(idempotencia)

(distributividad)
(distributividad)

7. (A B)c = Ac B c

(Ley de De Morgan)

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

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

28

Universidad
Andrs Bello

Cardinalidad
MATEMATICA
FMM004

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

Prof. Gabriel
Aguilera C

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
Universidad
#(ABC) = #A+#B+#C#(AB)#(AC)#(BC)+#(ABC)
Andrs Bello
28