Se trabajó la relación de inclusión entre conjuntos (incluyendo algunos teoremas básicos); algo importante a tener en cuenta es que la inclusión se diferencia de la pertenecia en que se da sólo entre conjuntos, mientras que la de pertenencia se da sólo entre elementos y conjuntos (tomando siempre en cuenta que un conjunto puede tener entre sus elementos a otros conjuntos).
Luego se definieron las operaciones de unión e intersección entre conjuntos. Éstas operaciónes, a diferencia de las relaciones de pertenencia e inclusión, nos permiten generar conjuntos a partir de conjuntos dados previamente.
Queda pendiente terminar el primer práctico de conjunstos. Habrá también un segundo práctico sobre conjuntos que contendrá varios teoremas para demostrar, ejercicios de conjunto potencia, relaciones y funciones. Una vez que terminemos con teoría de conjuntos comenzaremos con nuestro primer sistema lógico: Lógica Proposicional Clásica.
No hay comentarios:
Publicar un comentario