1. Si , y son tres proposiciones distintas, determina cules de las
siguientes son tautologas. Recuerda que una tautologa es una proposicin que es siempre verdadera. a. ( ) b. ( ) ( ) c. ( ) d. ( ) ( )
2. Si y representan proposiciones verdaderas y y proposiciones falsas,
encuentra el valor de verdad de las proposiciones siguientes: a. b. ( ) c. [ ( )] [( ( )) ]
3. Para cualesquiera tres conjuntos , y , prueba que:
a. ( ) = ()() b. ( )( ) = () () c. = ()( ) d. () =
4. Sean , y conjuntos. Prueba que:
a. Si , , entonces b. Si , , entonces
5. Si y son dos conjuntos, definimos = ( ) ( ) =
( ) ( ) la diferencia simtrica de y . Prueba que para cualesquiera tres conjuntos , y se tienen las igualdades siguientes: a. = b. = , = c. ( ) = ( ) ( )
6. Determina si las siguientes afirmaciones son verdaderas o falsas. En caso de
ser ciertas demustralas, si son falsa da un contraejemplo. a. = b. = c. d. =
7. Sean y dos conjuntos. Si () representa al conjunto potencia de ,
demuestra las siguientes proposiciones: a. () = ()() b. () ()() 8. Construye un ejemplo de conjuntos y tales que () () (). A y B deben de tener distintas cardinalidades y por lo menos 3 elementos, tambin hay que enlistar todos los elementos de () y ().
9. Sean = {2,3,4,5}, = {3,5,7}, = {3,5,7,8,9} tres conjuntos y sea
= {1,2,3,4,5,6,7,8,9,10} el conjunto universo. Encuentra: a. b. ( ) c. ( )
10. Se define la siguiente operacin = . Prueba lo siguiente:
a. = b. ( ) ( ) = c. ( ) ( ) =
Punto extra 11. Sean , y . Demuestra que ( ) ( ) = ( ) ( ).