Professional Documents
Culture Documents
Hiptesis.
(x)(Rx Zx)
Conclusin.
(x)( Qx Rx)
(x)(Qx Kx)
(x)(Zx Kx)
1. (x)(Rx Zx) ...Hiptesis.
2. (x)( Qx Rx) ...Hiptesis.
3. (x)(Zx Kx) ...Hiptesis.
4. Qa Ra ...(a/x) en 2.
5. Za Ka ...(a/x) en 3.
6. Ra Za ...(a/x) en 1.
7. Ra ...Simplicacin en 6.
8. ( Qa) ...Modus tolendo tolens entre 4 y 7.
9. Qa ...Doble negacin en 8.
10. Za ...Simplicacin en 6.
11. Ka ...Modus ponendo ponens entre 5 y 10.
12. Qa Ka ...Conjuncin entre 9 y 11.
13. (x)(Qx Kx) ...Generalizacin existencial en 12.
TEORA DE CONJUNTOS.
1. Para los conjuntos A = {0,1,2,3,5}, B = {2,1,0,1,2} y C = {3,1,0,1,3} se tiene
A B = {1,2} y A C = {0,1,3}, la unin de estos conjuntos resultantes es
(AB)(AC) = {1,2,0,3} (1). Por otro lado, BC ={2,1,0,1,2,3,3}, se intersecta
con el conjunto A para obtener A(BC) = {0,1,2,3} (2). Entre las igualdades (1) y
(2) se sigue que A(BC) = (AB)(AC). Esto representa la propiedad
distributiva de la interseccin respecto de la unin.
( g ) AB.
( i ) P(A)P(B).
( d ) (AB).
d. El complemento de la diferencia
( c ) A(B C).
( a ) AB = .
( b ) A B.
( f ) (AB).
( e ) P(AB).
( h ) A(B C).
Referencia Bibliogrfica: