Levoume máis tempo do que desexaría poder reanudar os exercicios e o estudo do libro de Lenguaje Matemático, Conjuntos y Números. O tema 2 é o primeiro dun par centrado na Teoría Cantoriana dos conxuntos: definición, operacións, produto cartesián, etc... A lóxica válida para proposicións que víamos no capítulo anterior espándese agora á lóxica de predicados, que permite facer proposicións sobre tódolos elementos dun conxunto de partida. Explícanse operacións que se visualizan moi ben cos diagramas de Venn, coma a unión (∪), a disxunción (∩), a diferenza (\), a diferenza simétrica (Δ) e o complementario (Ac). Tamén entraron os 'cuantificadores': existe (∃) e 'para todo' (∀). Moitos dos exercicios do libro de texto (e desta tanda había 25!) eran 'computacións' algo farragosas para simplificar e comprobar igualdades de expresións empregando estes conectores.
Nalgúns exercicios custábame entender polo enunciado qué é o que se pedía, anque unha vez comprobado, non era excesivamente difícil facelos. Algún erro tiven de despiste (coma en 17, esquecéndome de que o valor de x viña dado no propio enunciado); nalgún caso, a miña intuición estivo máis acertada do que o meu cálculo (coma no 12, onde se descubre que o complementario da Unión de conxuntos A(i) é a Intersección de conxuntos do complementario de A(i).
Agardemos avance máis rápido no tema 3, que é ata onde chegara (sen rematalo?) moitos meses atrás.
Sem comentários:
Enviar um comentário