Universidad Tecnica Federico Santa Mara

Departamento de Matematica 8 de marzo de 2004. AFG/mev/mjm

Matematica I, MAT-021
Nociones de Logica y Teora de Conjuntos
El objetivo de este captulo es entender, manejar, comprender y usar el lenguaje basico
que se utiliza en el curso. Aunque en rigor, los topicos de este captulo, constituyen los
fundamentos de la matematica, el enfoque apunta a una comunicacion cuidadosa, precisa
y su utilizacion en ingeniera.
Logica Proposicional
En esta seccion los conceptos basicos son tres:
Proposicion, valor logico V ( o 1 ) y valor logico F (o 0 )
1. Denicion: Proposicion: Una proposicion es una armacion (o juicio) la que
puede ser totalmente verdadera o totalmente falsa. Por lo tanto, cada proposicion
debe tener un solo valor logico (V o F). Hay que notar que en lugar de las ex-
presiones valor logico V y valor logico F podramos usar las palabras verdadero o
falso. Sin embargo, los conceptos de verdadero y falso solo tienen sentido cuando
aplicamos la logica a un modelo y solo bajo este modelo (por ejemplo, armaciones
que son verdaderas en la Geometra Euclideana, resultan falsas en otras geometras
y vice-versa).
Las proposiciones se identican mediante letras min usculas, por ejemplo: p, q, r, s, t,
etc.
Ejemplos simples de proposiciones:
p: cuatro es mayor que cuarenta(F)
q: en todo triangulo, la suma de los angulos interiores es 180

(V).
Expresiones tales como: que bonito,
3

x
2
1+10
m
+y no son proposiciones,
pues no es posible asignarles un valor logico.
2. Proposiciones compuestas: Dadas dos o mas proposiciones, ellas se pueden
modicar, unir o combinar formando una nueva proposicion, esta recibe el nombre
de proposicion compuesta (donde hay mas de una proposicion involucrada). Para
unir o combinar proposiciones se denen los conectivos logicos, donde cada conec-
tivo logico tiene asociada su respectiva tabla de valores logicos.
Las operaciones entre las proposiciones constituyen la base de un algebra de
proposiciones, donde estas operaciones quedan denidas a traves de sus tablas
de valores logicos. As, si p no es una proposicion dada, su negacion: p (tambien
se anota p) que se lee: no p (ver tabla 1.1).
p p
V F
F V
TABLA 1.1
1
2
El signicado de esta tabla es simple: si p es una proposicion con valor logico V
(o F) entonces su negacion es una proposicion con valor logico F (o V)
3. Observaciones:
1) Los smbolos , , y se denominan conectivos logicos.
2) Dadas dos o mas proposiciones, con sus correspondientes valores logicos, den-
tro de un modelo, la proposicion compuesta que resulta al combinarla usando
uno de los conectivos logicos tiene un valor logico que se determina usando
las tablas 1.1 y 1.2.
Para ejemplicar lo dicho anteriormente, consideremos las proposiciones si-
guientes:
p : cinco es mayor que diez
q : dos mas dos son cuatro
Entonces las proposiciones p, p q, etc., son:
p :cinco no es mayor que diez (en vez del ininteligible no cinco es mayor que
diez)
p q :cinco es mayor que diez o dos mas dos son cuatro (o ambas)
p q: cinco es mayor que diez y dos mas dos son cuatro
p q: si cinco es mayor que diez, entonces dos mas dos son cuatro.
p q: cinco es mayor que diez si y solo si dos mas dos son cuatro.
Puesto que p es falsa y q verdadera, los valores de verdad de las nuevas proposi-
ciones son, respectivamente: verdadera, verdadera, falsa, verdadera, falsa.
3) De la columna que dene la disyuncion es claro que esta no tiene el sentido
usual dado en el lenguaje corriente, sino que corresponde el y/o.
4) Tal como ocurre en el algebra de n umeros, con estas operaciones podemos
formar proposiciones de compleja estructura, como ser
(p q) r, [(p q) r] p (los parentesis tienen un objetivo obvio).
Aunque sus lecturas pueden ser complicadas, no lo son sus evaluaciones. Si a
las proposiciones p, q anteriores adicionamos una tercera, r: nueve es menor
que catorce, entonces [(p q) r] p es una proposicion falsa, seg un lo
obtenido en el siguiente esquema:
[(p q) r] p
F V

F V

V F

F
5) Si en cambio, p, q, ..., r son smbolos que no denotan proposiciones espec-
cas, entonces llamaremos a cualquiera expresion nita que se pueda construir
con estos smbolos una forma proposicional . Cada forma proposicional tiene
asociada una tabla de valores logicos que puede ser evaluada paso por paso
usando las tablas 1.1 y 1.2. Dichas tablas contendrn columnas con 2
n
valores
logicos, donde n es el n umero de smbolos que denotan proposiciones y que
aparecen en la forma (Verifquelo)
6) Para el caso de las disyunciones, se tienen el siguiente resultado, que el estu-
diante puede vericar:
si p
1
, p
2
, ..., p
n
son proposiciones dadas, entonces
i) p
1
p
2
... p
n
tiene valor logico V si al menos una de las proposi-
ciones dadas tiene valor logico V ; su valor logico es F si todas son
3
proposiciones falsas.
ii) p
1
p
2
... p
n
tiene valor logico V si todas las proposiciones son
verdaderas y su valor logico es falso si al menos una de las proposiciones
es falsa.
4. EQUIVALENCIA L

OGICA: En todo sistema algebraico se necesita denir una

relacion que establezca bajo cuales condiciones dos entes son, para los efectos de la
teora en cuestion, esencialmente iguales. Tal es, por ejemplo, la relacion de igual-
dad en algebra elemental y la equivalencia en logica proposicional, que deniremos
a continuacion.
Sean A y B dos formas proposicionales en los smbolos: p, q, ..., r. Diremos que
A y B son equivalencias si obtienen los mismos valores logicos (tienen la misma
tabla de valores logicos) para cualquier sustitucion de los smbolos p, q, ..., r por
proposiciones; en este caso escribiremos:
A B
Las restantes operaciones se denen a traves de la tabla 1.2 de valores logicos.
En las dos primeras columnas estn tabuladas todas las combinaciones posibles de
valores logicos que se pueden formar con dos proposiciones dadas p y q, mientras
que las cinco columnas restantes denen las operaciones.
p q p q p q p q p q p q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
TABLA 1.2
Los nombres de las operaciones recien denidas y la forma de traducir a palabras
las proposiciones compuestas que resultan son las siguientes:
Operacion Nombre Puede leerse
p q Conjuncion p y q
p q Disyuncion inclusiva p o q, o ambas
p V q disyuncion exclusiva p o q, pero no ambas
p q implicacion p implica q (si p entonces q)
p q Doble implicacion p si y solo si q
5. TAUTOLOG

IAS Y CONTRADICCIONES: Dadas dos formas proposicio-

nales equivalentes A y B, resulta de inmediato que la forma A B obtendra el
valor logico V para cualquier sustitucion de los smbolos correspondientes por
proposiciones. En razon de la importancia de estas formas proposicionales, se
les ha dado un nombre: tautologas. Es decir, una forma proposicional es una
tautologa si obtiene el valor logico V para cualquier sustitucion de sus smbolos
por proposiciones. En forma natural, lo anterior nos lleva a considerar las formas
proposicionales que obtienen el valor logico F, para cualquier sustitucion de sus
smbolos por proposiciones. A estas formas las llamaremos contradicciones , en
caso contrario, si no es tautologa ni contradiccion se le llama una contingencia.
Es claro que todas las tautologas son equivalentes y, tambien todas las contradic-
ciones son equivalentes. Por esta razon y dada la importancia de estar formas
4
proposicionales, resulta conveniente tener un smbolo para denotarlas y ese smbo-
lo es .
6. LEYES FUNDAMENTALES DEL

ALGEBRA DE PROPOSICIONES:
Estamos, ahora, en condiciones de establecer las leyes basicas junto con la equi-
valencia: (p q) (p q) que muchos textos dan como denicion de la implicacion
logica, , nos permitiran obtener los valores logicos de las formas proposicionales
mediante manipulacion algebraica , sin utilizar tablas de valores logicos (ver ejer-
cicios resueltos 4 al 11).
Leyes fundamentales
Identidad :
(p V ) p, (p F) p
(p F) F, (p V ) V
Idempotencia : (p p) p, (p p) p
Involucion : (p) p
Complemento :
F V, V F
(p p) F, (p p) V
Conmutatividad : (p q) (q p) , (p q) (q p) , (p q) (q p)
Asociatividad :
[p (q r)] [(p q) r],
[p (q r)] [(p q) r]
Distributividad :
[p (q r)] [(p q) (p r)],
[p (q r)] [(p q) (p r)]
Leyes de Morgan :
(p q) (p q),
(p q) (p q)
7. OBSERVACIONES
Reglas de sustitucion. Distintos autores, dan este nombre a distintas reglas de
derivacion algebraica en la logica proposicional. Mostraremos aqu dos de ellas:
i) Sean A y B dos formas proposicionales equivalentes; entonces podemos ar-
mar que:
A B, (A C) (B C) y (A C) (B C).
ii) Sean A(p
1
, ..., p
i
, ..., p
n
) y B(p
1
, ..., p
i
, ..., p
n
) dos formas proposicionales equiva-
lentes en los smbolos p
1
, ..., p
i
, ..., p
n
.
Si cualquiera de los smbolos p
i
, i = 1, ..., n, es sustitudo, uniformemente, por
una forma proposicional C dada, entonces las nuevas formas:
A(p
1
, ..., C, ..., p
n
) y B(p
1
, ..., C, ..., p
n
) son tambien equivalentes.
As por ejemplo, podemos escribir:
[(p q) (r s)] [(p q) (r s)]
En este caso estamos eximidos de construir tablas de valores logicos (que ten-
dran 16 las) para vericar la equivalencia: basta darse cuenta que se trata
de un caso particular de una de las leyes de Morgan con p q en lugar de p,
y, r s en lugar de q.
5
Para terminar este seccion, inclumos listas de las equivalencias y tautologas
basicas mas utilizadas, numeradas de manera que podamos referirnos a ella
en problemas y ejercicios posteriores.
8. EQUIVALENCIAS
1. (p q) (p q) (Def. de )
2. [p (p q)] p (Absorcion)
3. [p (p q)] p (Absorcion)
4. [p (p q)] (p q)
5. [p (p q)] (p q)
6. (p q) (q p)
7. (p q) [(p q) F]
8. [(p q) r] [p (q r)]
9. [(p q) r] [(p r) q]
10. [p (q r)] [(p q) (p r)]
11. [p (q r)] [(p q) (p r)]
12. [(p q) r] [(p r) (q r)]
13. [(p q) r] [(p r) (q r)]
NOTA: Las equivalencias 6 y 7 son de gran importancia en las demostraciones de
teoremas en Matematica, como se veran mas adelante.
9. TAUTOLOG

IAS:
1. p p
2. p p
3. (p q) p
4. p (p q)
5. [p (p q)] q
6. (p q) [p (q r)]
7. (p q) [(p r) q]
8. [(p r) q] (p q)]
9. [p (q r)] (p q)
6
10. (p q) [(p r) (q r)]
11. (p q) [(p r) (q r)]
12. [(p q) (q r)] (p r)
7
PROBLEMAS RESUELTOS:
1. Si p es una proposicion verdadera, q una proposicion falsa y r una proposicion
cualquiera, determinar el valor de verdad de:
a) (p q) q;
b) (p q) q
c) (p q) (p q)
d) q r p r
Solucion:
a)
p q p q (p q) q
V F F F
b)
p q p q ((p q) q
V F V F
c)
p q p q p q (p q) (p q)
V F F V F
d)
p q r q r q r p r p r p r q r p r
V F V V F F F F V V
V F F F V F V V F F
2. Determinar cuales de las siguientes formas proposicionales son tautologas:
a) (p q) (p q)
b) p (p q)
c) (p q) (q p)
Solucion:
a)
p q p q q p q (p q) (p q)
V V V F V V
V F F V V V
F V F F F V
F F F V V V
b)
p q p q p (p q)
V V V V
V F F F
F V F F
F F F V
c)
p q p q p q q p (p q) (q p)
V V V F F V V
V F F F V F V
F V V V F V V
F F V V V V V
8
Luego son tautologas las formas a) y c).
3. Considere el conectivo logico *, denido por la tabla de valores logicos si-
guiente:
p q p * q
V V F
V F V
F V V
F F V
Determinar si la forma proposicional:
[(p q) q] [(p q) q] es una tautologa.
Solucion:
p q q p q (p q) q p q (p q) q
V V F V V F V
V F V F F V F
F V F V V F V
F F V V V F V
(p q se lee: p incompatible con q).
Como los valores logicos de (p q) q y de (p q)

q coinciden, la forma
proposicional es una tautologa.
4. Se denen los conectivos logicos y del modo siguiente:
(pq) (p q)
(pq) (p q)
Vericar (sin el uso de tablas de verdad) que se cumple:
a) p (pp)
b) (p q) pq
c) (p q) (pq)
Solucion:
a)
(pp) (p p) [Defin.
p [Idempot.
b)
(pq) (p p) [Defin.
p q [Morgan
(p q) [Involuc.
c)
(pq) (p q) [Defin.
p q [Involuc.
9
5. Verique que : [p (p q)] p q
Solucion:
p (q q) (p p) (p q) [Distribut.
V (p q) [Complement.
p q [Identid.
6. Verique que : [(p q) q] (p q)
Solucion:
(p q) q q (p q) [Conmutat.
q (q p) [Conmutat.
q p [Ej,5(p por q, q por p)
p q [Conmutat.
7. Verique que: [p (p q)] p
Solucion:
p (p q) (p p) (p q) [Identid.
p (p q) [Distribut.
p [Identid.
8. Simplicar: p p.
Solucion:
p p p p Def.
p Idempot.
9. Demostrar que : p (p q) es una tautologa.
Solucion:
p (p q) p (p q) [Def.
(p p) q [Asociat.
V q [Complem.
V [Identid.
10. Demostrar que : [p (p q)] q es una tautologa.
Solucion:
[p (p q)] q [p (p q)] q [Def.
[p (p q)] q [Def.
[p (p q)] q [Morgan, Invol.
p [(p q) q] [Asociat.
p (p q) [Ej,6.
(p p) q [Asociat.
V q [Complem.
V [Identid.
11. Demostrar que: (p q) (q p).
Solucion:
(p q) (p q) [Def.
q p [Conmutat.
( q) p [Invol.
q p [Def. .
12. Pruebe que el siguiente razonamiento es valido.
* Todas las cartas fechadas en esta habitacion estan escritas sobre papel azul.
* Ninguna esta escrita con tinta negra, excepto aquellas escritas en tercera
persona.
* No he archivado ninguna de las que puedo leer.
* Ninguna de las que estan escritas en una hoja estan sin fecha.
* Todas las que no estan eliminadas estan en tinta negra.
* Todas las escritas por Perez empiezan con Estimado se nor.
* Todas las que estan escritas en papel azul estan archivadas.
* Ninguna de las que estan escritas en mas de una hoja estan eliminadas.
10
* Ninguna de las que empiezan con Estimado se norestan escritas en tercera
persona.
** Por lo tanto: No puedo leer ninguna de las cartas de Perez.
Solucion:
Sean:
p : la carta esta fechada.
q : la carta esta escrita en papel azul.
r : la carta esta escrita con tinta negra.
s : la carta esta escrita en tercera persona.
t : la carta esta archivada.
u : puedo leer la carta.
v : la carta esta escrita en una hoja.
w : la carta esta eliminada.
x : la carta esta escrita por Perez.
y : la carta empieza con Estimado se nor.
Simbolicamente el razonamiento anterior se expresa:
(a) p q
(b) s r
(c) u t
(d) v p
(e) w r
(f) x y
(g) q t
(h) v w
(i) y s