Documente Academic
Documente Profesional
Documente Cultură
n S n+1 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
mS
y que
m,m+1, ... ,n S n+1 S
Entonces S = { m,m+1,m+2, ... }"
Ejercicio: prubese por induccin la frmula del binomio de Newton
Teora de Conjuntos
o
o
o
o
o
o
'=U.
U ' = .
(A')' = A .
A B B' A' .
Si A = { x U | p(x) es una proposicin verdadera} entonces A' = {
x U | p(x) es una proposicin falsa}.
UNION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=(AB)(AC)
A A' = U
INTERSECCION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=(AB)(A
A A' =
A = A , A = ( elemento nulo ).
A U = U , A U = A ( elemento universal ).
( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan ).
i I Ai := { a : a Ai , i I }
i I Ai := { a : a Ai , i I }
i I Ai := { (ai) : ai Ai , i I }
, (i I Ai )'
AB
AB
AB
AB
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
proposiciones
A B A = B A B A B A' A B A B
a b a b a b a b a' a b' a b
A(AB)=A
a(bc)a
A(BC)=(AB)(AC a(bc)(ab)(ac
)
)
( A B )' = A' B'
( a b )' a' b'
{ x A : p(x) } = A
(2) Cuantificador existencial : La expresin
x A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la proposicin
{ x A : p(x) }
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 A p(x)" es " x A | p(x)' ",
mientras que
la negacin de " x A | p(x)" es " x A p(x)' "
(b)