Lgica proposicional

Una proposicin es cualquier enunciado lgico al que se le pueda asignar un

valor de verdad (1) o falsedad (0).
Dada una proposicin p, se define la negacin de p como la proposicin p' que
es verdadera cuando p es falsa
y que es falsa cuando p es verdadera. Se lee "no p".
A partir de una o varias proposiciones elementales se pueden efectuar diversas
operaciones lgicas para construir
nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o
falsedad en funcin de los valores de
las proposiciones de que se componen, lo cual se realiza a travs de las tablas
de verdad de dichas operaciones.
Por ejemplo, la tabla de verdad de la negacin es la siguiente:


p p'
1 0
0 1
A continuacin se describen las principales operaciones lgicas entre dos
proposiciones p,q y sus tablas de verdad:
Conjuncin: es aquella proposicin que es verdadera cuando p y q son
verdaderas, y falsa en cualquier otro caso.
Se escribe p . q, y se lee "p y q".


p q p . q
1 1 1
1 0 0
0 1 0
0 0 0
Disyuncin: es aquella proposicin que es verdadera cuando al menos una
de las dos p o q es verdadera,
y falsa en caso contrario. Se escribe p v q, y se lee "p o q".


p q p v q
1 1 1
1 0 1
0 1 1
0 0 0
Disyuncin exclusiva: es aquella proposicin que es verdadera cuando una
y slo una de las dos p o q es verdadera,
y falsa en cualquier otro caso. Se escribe p v q, y se lee "p o q
pero no ambas". Se usa muy poco.


p q p v q
1 1 0
1 0 1
0 1 1
0 0 0
Condicional: es aquella proposicin que es falsa nicamente cuando la
condicin suficiente p es verdadera y la
condicin necesaria q es falsa. Se escribe p q, y se lee "si p
entonces q".


p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Bicondicional: es aquella proposicin que es verdadera cuando p y q tienen
el mismo valor de verdad,
y falsa en caso contrario. Se escribe p q, y se lee "si y slo
si p entonces q".


p q p q
1 1 1
1 0 0
0 1 0
0 0 1
Una proposicin se dice que es una tautologa si su valor de verdad es siempre 1
independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p v p'.
Una proposicin se dice que es una contradiccin si su valor de verdad es
siempre 0 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p . p'.
Una paradoja es una proposicin a la que no se le puede asignar ningn valor
de verdad; suelen estar relacionadas con
incorrecciones en el lenguaje lgico. Por ejemplo: p="la proposicin p es falsa".

Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de
verdad en funcin de las proposiciones elementales
que lo componen; esta definicin equivale a decir que la proposicin p q es
una tautologa. Por ejemplo, las proposiciones
p q
y
q' p'
son equivalentes. Esta ley se llama "ley del contrarrecproco", y se usa en los
razonamientos por reduccin al absurdo.
Se pueden obtener fcilmente ms "resultados lgicos" a travs de su relacin
con la teora de conjuntos.





Nmeros naturales : principio de
induccin

Admitivos como intuitivo el concepto de nmero natural; as, podemos
enumerar los nmeros naturales en orden creciente:
N = { 1,2,3,4,5, ... }
Cuando se quiere demostrar que una proposicin relativa a nmeros naturales es
cierta, se necesita el Principio de Induccin:
"Sea S el conjunto de nmeros naturales para los que la proposicin p(n)
es cierta; supongamos que
m e S
y que
n e S n+1 e S
Entonces S = { m,m+1,m+2, ... }"
(es decir, la propiedad se verifica para todo nmero natural a partir de m;
normalmente se usa con m = 1).

Algunas veces, cuando se quiere demostrar que la proposicin es cierta para
n+1, es necesario usar que la proposicin
se verifica para todo k < n+1; en ese caso se utiliza el Principio de Induccin
completa:
"Sea S el conjunto de nmeros naturales para los que la proposicin p(n)
es cierta; supongamos que
m e S
y que
m,m+1, ... ,n e S n+1 e S
Entonces S = { m,m+1,m+2, ... }"

Ejercicio: prubese por induccin la frmula del binomio de Newton



(Indicacin: utilcense las propiedades de los nmeros combinatorios).




Teora de Conjuntos

NOCION INTUITIVA DE CONJUNTO
Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables
entre si, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relacin de pertenencia a e
A.
En caso contrario, si a no es un elemento de A se denota ae A.

Ejemplos de conjuntos:

o C : el conjunto vaco, que carece de elementos.
o N: el conjunto de los nmeros naturales.
o Z: el conjunto de los nmeros enteros.
o Q : el conjunto de los nmeros racionales.
o R: el conjunto de los nmeros reales.
o C: el conjunto de los nmeros complejos.

Se puede definir un conjunto:
o por extensin, enumerando todos y cada uno de sus elementos.
o por comprensin, diciendo cul es la propiedad que los caracteriza.

Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se
define por extensin,
o su propiedad caracterstica, si se define por comprensin. Por ejemplo:
o A := {1,2,3, ... ,n}
o B := {pe Z | p es par}

Se dice que A est contenido en B (tambin que A es un subconjunto de B o que
A es una parte de B),
y se denota A _ B, si todo elemento de A lo es tambin de B, es decir, a e A
a e B.
Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultneamente A
_ B y B _ A;
esto equivale a decir que tienen los mismos elementos (o tambin la misma
propiedad caracterstica).
Para cualquier conjunto A se verifica que C_ A y A _ A;
B _ A es un subconjunto propio de A si A = C y B = A.
El conjunto formado por todos los subconjuntos de uno dado A se llama partes
de A, y se denota (A).
Entonces, la relacin B _ A es equivalente a decir B e (A). Ejemplos:

Si A = {a,b} entonces (A) = {C ,{a},{b},A}.
Si a e A entonces {a} e (A).

Cuando en determinado contexto se consideran siempre conjuntos que son
partes de uno dado U,
se suele considerar a dicho U como conjunto universal o de referencia.
OPERACIONES ENTRE CONJUNTOS
Dados dos conjuntos A y B, se llama diferencia al conjunto A B := {a e A | a
e B}.
Asimismo, se llama diferencia simtrica entre A y B al conjunto A A B := (A
B) (B A).
Si A e (U), a la diferencia U A se le llama complementario de A respecto
de U,
y se denota abreviadamente por A' (U se supone fijado de antemano).
Es fcil ver que si A y B son subconjuntos cualesquiera de U se verifica:
o C ' = U .
o U ' = C .
o (A')' = A .
o A _ B B' _ A' .
o Si A = { x e U | p(x) es una proposicin verdadera} entonces A' = { x e
U | p(x) es una proposicin falsa}.

Se llama unin de dos conjuntos A y B al conjunto formado por objetos que son
elementos de A o de B,
es decir: A B := { x | x e A v x e B}.
Se llama interseccin de dos conjuntos A y B al conjunto formado por objetos
que son elementos de A y de B,
es decir: A B := {x | x e A . x e B}.
Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fcil
ver que A B = A B'.
En este caso, la llamadas operaciones booleanas (unin e interseccin)
verifican las siguientes propiedades :
PROPIEDADES UNION INTERSECCION
1.- Idempotencia A A = A A A = A
2.- Conmutativa A B = B A A B = B A
3.- Asociativa A ( B C ) = ( A B ) C A ( B C ) = ( A B ) C
4.- Absorcin A ( A B ) = A A ( A B ) = A
5.- Distributiva A ( B C ) = ( A B ) ( A C ) A ( B C ) = ( A B ) ( A C )
6.- Complementariedad A A' = U A A' = C


Estas propiedades hacen que partes de U con las operaciones unin e
interseccin tenga una estructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:
o A C = A , A C = C ( elemento nulo ).
o A U = U , A U = A ( elemento universal ).
o ( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan ).

Dados dos conjuntos A y B, se define el producto cartesiano de ambos como el
conjunto de pares ordenados:

A B := { (a,b) : a e A . b e B}

Dos pares (a,b) y (c,d) de A B son iguales si a = c y b = d; anlogamente,
dados cuatro conjuntos A,B,C,D se verifica

A B = C D ( A = C . B = D )

Se llama grafo relativo a A B a todo subconjunto G _ A B.
Dado un grafo G relativo a A B, se llama proyeccin de G sobre A al conjunto

Proy
A
G := { a e A : (a,b) e G, - b e B}

Anlogamente se define la proyeccin Proy
B
G de G sobre B.
Por ltimo, los conceptos anteriores pueden generalizarse a familias de
conjuntos.
Si para cada elemento i de un conjunto (de ndices ) I se tiene un conjunto A
i
,
entonces se define el conjunto { A
i
: i e I }
y se denomina familia de conjuntos indicada por I. Tambin se suele denotar
por { A
i
}
i e I
.
De forma anloga se define una familia de elementos ( a
i
)
i e I
.
Dada una familia de conjuntos { A
i
}
i e I
se definen:

o
i eI
A
i
:= { a : a e A
i
, - i e I }
o
i e I
A
i
:= { a : a e A
i
, i e I }
o [
i e I
A
i
:= { (a
i
) : a
i
e A
i
, i e I }

Las propiedades de la unin e interseccin siguen siendo vlidas para familias
de conjuntos, y en particular las leyes de Morgan :

(
i e I
A
i
)' =
i e I
A'
i
, (
i e I
A
i
)' =
i e I

A'
i

DIAGRAMAS DE VENN
Los conjuntos de suelen representar grficamente mediante "diagramas de
Venn", con una lnea que encierra a sus elementos.
As, todas las operaciones entre conjuntos se pueden representar grficamente
con el fin de obtener una idea ms intuitiva.
A _ B


A B


A B


A B


A A B

RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA
LOGICA PROPOSICIONAL

Existe una relacin muy estrecha entre la Teora de Conjuntos y la Lgica
Proposicional.
Para mostrar dicha relacin, denotemos por letras maysculas A,B ... los
conjuntos y
por las correspondientes minsculas a,b ... sus propiedades caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada
conjunto);
entonces se tiene la siguiente correspondencia:


conjuntos A _ B A = B A B A B A' A B A A B
proposiciones a b a b a v b a . b a' a . b' a v b
Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto
universal con una tautologa.
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden
reescribir en trminos de lgica
proposicional y viceversa; a modo de ejemplo:


A ( A B ) = A a v ( b . c ) a
A ( B C ) = ( A B ) ( A
C )
a v ( b . c ) ( a v b ) . ( a v
c )
( A B )' = A' B' ( a v b )' a' . b'
PROPOSICIONES CON CUANTIFICADORES
Los smbolos (cuantificador universal) y - (cuantificador existencial) se
utilizan en Matemticas para
enunciar proposiciones logicas relativas a objetos matemticos.
Sea A un conjunto y p(x) una proposicin o propiedad que hace referencia a un
elemento x.
(1) Cuantificador universal : La expresin
x e A p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la proposicin
{ x e A : p(x) } = A
(2) Cuantificador existencial : La expresin
- x e A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la proposicin
{ x e A : p(x) } = C

La negacin de cualquiera de las dos proposiciones anteriores se realiza negando
la proposicin p(x)
y cambiando el cuantificador universal por el cuantificador existencial, o
viceversa.
As, la negacin de la proposicin " x e A p(x)" es "- x e A | p(x)' ",
mientras que
la negacin de "- x e A | p(x)" es " x e A p(x)' "






Conjuntos finitos : Combinatoria

La Combinatoria es la parte de las Matemticas que se dedica al estudio de los
conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede representar
su nmero de elementos
mediante un nmero natural (llamado cardinal de dicho conjunto), la tarea
bsica de la Combinatoria es
precisamente el clculo del cardinal de dichos conjuntos.
Para dicho clculo se necesita definir los llamados nmeros combinatorios:

(1) Nmeros factoriales: se define n! mediante la ley de recurrencia
n! = n (n-1)!
y la condicin inicial 0! := 1. De forma iterativa, se tiene
n! = n (n-1) (n-2) ... 3 2 1
n! es el nmero de permutaciones de n elementos, es decir, es el nmero
total de formas de ordenar n elementos
de todas las formas distintas posibles.

(2) Coeficientes binomiales: se definen por la frmula

El nmero "n sobre k" es el nmero de combinaciones de n elementos
tomados de k en k, es decir,
el nmero de subconjuntos distintos de k elementos que tiene un conjunto
con n elementos.
Los coeficientes binomiales tienen dos propiedades bsicas:
(a)

(b)


Como aplicacin de los nmeros combinatorios y del Binomio de Newton,
podemos contar el nmero total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el cardinal
de partes de A; para ello, notemos
que el nmero de tales subconjuntos se obtiene sumando el nmero de
subconjuntos de 0 elementos ms los de
1 elemento, ms los de 2 elementos, y as hasta los de n elementos, es decir:



Pero esta cantidad corresponde a desarrollar mediante el binomio de
Newton la expresin
(1+1)
n
= 2
n

As pues se obtiene que # (A) = 2
n
si # A = n.