RESUMEN DE LOGICA Y CONJUNTOS

Diremos que Conjunto es un concepto indefinible, que se toma como entendido o conocido
en Matemticas, pero que queda establecido al decir que conocemos un conjunto dado cuando
sabemos los elementos que lo componen. Dicho de otro modo, dado un elemento cualquiera,
podemos decidir si pertenece o no al conjunto.
Los conjuntos se notan, en general, con letras maysculas de imprenta, y nosotros
consideraremos slo conjuntos de nmeros. Sabemos que un conjunto puede definirse de dos
formas: por extensin, enumerando los elementos del mismo, o por comprensin, enunciando la
propiedad que verifican sus elementos y slo ellos, usando llaves en ambos casos.
Ejemplo: A= {1, 2, 3, 4, 5}= {x natural/ x < 6}. La segunda expresin define
correctamente al conjunto, desde que aceptamos que los naturales comienzan en el 1.
Sin embargo, si B = {2, 4, 6, 8, 10, }, vemos que entendemos cules son los elementos
de B, pese a que no los enumeramos todos ni dimos explcitamente la propiedad que cumplen. Esta
definicin se acepta tambin. B est definido por extensin o comprensin en este caso?
Se definen tambin el conjunto vaco (no tiene elementos) y el Universal (U) o de
referencia. Para nosotros, salvo indicacin en contrario, es el conjunto de los nmeros reales, R.
Para hablar de propiedades y operaciones entre conjuntos, necesitamos primero repasar los
conceptos de lgica y lgica simblica, que veremos ahora.
Sean p y q proposiciones lgicas, es decir, que pueden tener uno de dos valores de
verdad: verdadero (V) o falso (F). En general, nos interesan las proposiciones cuyo valor (V o F)
depende de una variable; as, p(x) ser verdadera para algunos valores de x, y falsa para otros (para
cada valor de x, p(x) es V o F). As, si p(x) es x es par, ser verdadera si x = 2, por ejemplo, o
falsa si x = 31, verdad?
Operando proposiciones podemos definir proposiciones compuestas:
1) La conjuncin: p(x) q(x) (que se lee p(x) y q(x)) es una nueva proposicin r(x), que
slo ser verdadera para aqullos valores de x que hacen simultneamente V a ambas, es decir:
p(x) q(x) es V (p(x) es V y q(x) es V), donde el smbolo se lee es equivalente a, o si y
solo si, y lo expresamos tambin en la forma sii.
2) La disyuncin: p(x) q(x) (que se lee p(x) o q(x)) es una nueva proposicin r(x), que
ser V para aqullos valores de x que hacen V al menos a una de las dos, p(x) o q(x). Dicho de otro
modo: p(x) q(x) es F (p(x) es F y q(x) es F).
As, si p(x) es x es par, y q(x) es x es impar, est claro que si x toma valores naturales,
p(x) q(x) ser siempre falsa (x no puede ser a la vez par e impar), y que p(x) q(x) ser siempre V
(si x es natural, entonces o es par o es impar).
Otros ejemplos conocidos de uso de estas operaciones son las definiciones de interseccin y
unin de conjuntos:
A B = {x / x A x B} A B = { x / x A x B}
En general, en nuestras proposiciones la variable x ser un nmero real, o sea que nuestro
conjunto Universal ser el conjunto de los nmeros reales, R.

Cuantificadores

Se usan para determinar el alcance de una dada proposicin lgica, es decir, se afirma
para qu valores de x ser V dicha proposicin, con lo cul la proposicin cuantificada ya no
depende de x para su verdad o falsedad:
(Existe por lo menos un): x / p ( x ) se lee Existe al menos un x tal que p(x). Si
existe un valor de x que verifica p(x) (p(x) es V), entonces x / p ( x ) es V. As, en los naturales,
x/ x es par es cierta (x=8, por ejemplo).

Ing. Guillermo Ryan

1
 ("Para todo"): x, p ( x ) se lee Para todo x, p(x). Si en nuestro conjunto universal o de
referencia, hay al menos un x para el cul p(x) es F, x, p( x ) ser F. As, en N (los naturales),
x, x 1 es V, ya que los naturales comienzan en el 1, que es el menor de todos ellos. En cambio,
en los reales positivos la afirmacin anterior sera F, ya que hay reales positivos menores que 1
(como la proposicin falla (es F) para x = 0.5, por ejemplo, no es cierta x en los reales
positivos).

Negacin

La expresamos con ~, y se lee No es cierto. As, ~ p(x) se lee No es cierto p(x) o

bien p(x) es F. Si p(x) es V, ~ p(x) es F, y viceversa.
Negaciones importantes son la negacin del para todo y la del existe:
~ [ x, p ( x ) ] (No es cierto que x, p ( x ) ) es equivalente a decir que x / ~ p( x ) . O sea,
p(x) falla (es falsa) al menos para un valor de x. (1)
~ [ x / p ( x ) ] x, ~ p ( x ) . O sea, p(x) es F para todo valor de x. (2)
Tambin son importantes:
~ (~ p(x)) p(x) (la negacin de la negacin, que da la afirmacin).
~ (p(x) q(x)) ~ p(x) ~ q(x) (Negacin del y).
~ (p(x) q(x)) ~ p(x) ~ q(x) (Negacin del o).

Leyes de DeMorgan (propiedad distributiva del y respecto del o y viceversa):

1) p (q r) (p q) (p r)
2) p (q r) (p q) (p r) (Analizarlas razonando lgicamente).

Implicacin

Es la proposicin lgica ms importante en el andamiaje matemtico, y su concepto debe

tenerse muy claro! Tiene la forma p(x) q(x), que se lee p(x) implica q(x), o bien Si p(x)
entonces q(x).
Lo que afirma esta proposicin es que toda vez que p(x) sea V, podemos asegurar que
q(x) es V. O sea que, si ella es cierta (V), no existen valores de x para los que p(x) sea V y q(x) sea
F. Dicho de otra forma: si hay algn valor de x para el cul p(x) es V y q(x) es F, la implicacin es
F, ya que entonces de la verdad de p(x) no podemos asegurar siempre la verdad de q(x).
As, x es par x 3 es V (est claro: si x es par no puede ser 3).
En cambio, x 3 x es par es F, porque obviamente no todos los valores de x distintos
de 3 son pares. As, x = 21 cumple p pero no verifica q (21 es par es F).
Digamos al pasar que un Teorema cualquiera en Matemticas es simplemente una
implicacin cierta, y su demostracin consiste justamente en probar que siempre que se cumplen
las condiciones de la Hiptesis (p(x) es V) entonces necesariamente se cumple la Tesis (q(x) es
verdadera).
As como las proposiciones cuantificadas no dependen de x, con la implicacin ocurre lo
mismo, en este sentido: si existe al menos un x tal que p(x) es V y q(x) es F, entonces la implicacin
dada es F y listo, aunque existan otros valores de x para los cules puedan ser p y q verdaderas. Y si
no existe un valor de x para el que falla, entonces es verdadera.
En lenguaje simblico, podramos expresar lo anterior diciendo:
p(x) q(x) (si y solo si, sii) ~ [ x / p(x) ~ q(x)] (3)
Esta equivalencia puede expresarse tambin negando ambos miembros de (3):
~ [p(x) q(x)] [ x / p(x) ~ q(x)] (4)

Ing. Guillermo Ryan

2
 Notemos que en la implicacin no se dice nada sobre la verdad o falsedad de q(x) si
p(x) es falsa! Puede ser que q(x) sea V o F, ya que la implicacin vale cuando p(x) es V, y no dice
nada cuando p(x) es F. As, x = 3 x2 = 9 es V, pero para x = -3 se tiene que tambin x2 = 9,
mientras que para x = 2 es x2 9, es decir, hay un valor de x para el que p(x) es F y q(x) V, y otros
para los que p(x) es F y q(x) es F. Sin embargo, si q(x) es F, podemos afirmar que p(x) es F, porque
si no tendramos un x tal que p(x) ~ q(x), y la implicacin sera F.
Por ello decimos que q(x) es condicin necesaria para p(x) pero no suficiente (puede
haber valores de x para los que q(x) es V y p(x) es F). En cambio, p(x) es condicin suficiente para
q(x), pero no necesaria (puede haber valores de x para los que p(x) es F pero q(x) es V). En el
ejemplo, tome x = -3 y considere los valores de p y q.
Tengamos en cuenta que p(x) y q(x) son proposiciones cualesquiera, y por lo tanto pueden
ser compuestas, o sea, contener cada una ms de una proposicin, conectadas por operaciones
lgicas ( , , ~) y/o cuantificadores.
Ejemplos: x > 2 x2 > 18 x > 4
x > 2 x < 5 x2 < 26
x < 5 x R x2 < 26 (Son V o F?).
Dada una implicacin, podemos expresar otras relacionadas con ella:
a) p(x) q(x) (la implicacin dada, o Directa).
b) q(x) p(x) (la implicacin Recproca de la dada)
c) ~ p(x) ~ q(x) (la implicacin Contraria de la dada)
d) ~ q(x) ~ p(x) (la implicacin Contrarrecproca de la dada)

Pero ~ q(x) ~ p(x) ~ [ x / ~ q( x ) ~ (~ p ( x ) )] ~ [ x / ~ q( x ) p ( x ) ]

~ [ x / p ( x ) ~ q( x ) ] p(x) q(x), por (3). Es decir, que una implicacin es equivalente a su
contrarrecproca, o sea, ambas son V o ambas son F. As, afirmar en N que x es par x 3 es lo
mismo que decir que x = 3 ~ (x es par), o sea, x = 3 x no es par, que tambin se
expresara como x = 3 x es impar (verificar que las dos son V). Por esto, a) y d) son
equivalentes. Verifique que d) es contrarrecproca de c) y que, por tanto, son equivalentes entre s.

Adems, p(x) q(x) es equivalente a [p(x) q(x) q(x) p(x)], y esto es decir que p y
q tienen siempre el mismo valor de verdad, o tambin que p es condicin necesaria y suficiente
para q y viceversa.

Ejemplo de aplicacin: Neguemos la proposicin , /[ x E f ( x) V ( )] . A tal fin,

usamos alternativamente (1), (2) y (3)/(4) para negar la proposicin p que va quedando.
Inicialmente, la proposicin dada es de la forma x, p( x ) (en este caso, psilon en vez de x),
y aplicamos (1):
~ , /[ x E f ( x) V ( )] / ~ [ /[ x E f ( x) V ( )] (usando (2))
/ , ~ [ x E f ( x ) V ( )] (por (4)) / , x /[ x E ~ ( f ( x) V ( ))] , y
finalmente: / , x /[ x E f ( x) V ( )] . De otro modo: / [ , x E / f ( x) V ( ) ]
(Justificar con palabras la equivalencia de las 2 ltimas). Esta sera entonces la negacin de la
proposicin original. Aunque no sepamos qu es lo que ella quera decir, pudimos llegar a su
negacin lgica!

Ejercicio: Negar la proposicin M>0, N>0 / (x>N f(x)>M).

Ing. Guillermo Ryan

3