Sumários
II. Teoria dos Conjuntos - 2
21 Outubro 2021, 14:00 • António José Teiga Zilhão
Operações elementares sobre conjuntos: união, intersecção, complementação e complementação relativa. Operações não elementares sobre conjuntos: exemplo - a diferença ou complementação simétrica. Propriedades das operações sobre conjuntos - I.
[18.11.2021] - Início do estudo do Cálculo de Predicados de 1ª Ordem
21 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça
Indivíduos e propriedades.
II. Teoria dos Conjuntos - 1
18 Outubro 2021, 14:00 • António José Teiga Zilhão
Ontologia e conceitos fundamentais da Teoria dos Conjuntos: conjuntos, objectos, relação de pertença entre objectos e conjuntos e versão conjuntista do princípio lógico do terceiro excluído. Axiomas da Extensionalidade, da Extracção, do Conjunto Vazio e da Potência. Relação de inclusão e suas propriedades. Subconjunto e subconjunto próprio. Conjunto-potência de um conjunto. Noção de cardinal de um conjunto. Demonstração do modo como, a partir do axioma do conjunto vazio e do axioma da potência, se pode gerar uma infinidade de novos conjuntos de cardinalidade crescente.
[11.11.2021] - Teste
18 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça
Primeiro teste escrito da disciplina.
I. Lógica Aristotélica - 3
14 Outubro 2021, 14:00 • António José Teiga Zilhão
Resolução de exercícios no âmbito da Lógica Aristotélica