Sumários

II. Teoria dos Conjuntos - 4

6 Outubro 2022, 09:30 • António José Teiga Zilhão

Resolução de exercícios no âmbito da Teoria dos Conjuntos.

As Restantes Quatro Regras Primitivas

4 Outubro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

As restantes quatro regras primitivas: Simplificação, Conjunção, Adição e Dilema Construtivo (DC).

Exercícios de aplicação.

II. Teoria dos Conjuntos - 3

4 Outubro 2022, 09:30 • António José Teiga Zilhão

Operações elementares sobre conjuntos: união, intersecção, complementação absoluta e complementação relativa ou diferença. Operações não elementares sobre conjuntos: a diferença simétrica.

Propriedades das operações sobre conjuntos.

Traduções

3 Outubro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

Traduções de enunciados da linguagem corrente na linguagem do C. Proposicional.

Distinção entre condição necessária e condição suficiente. A condição necessária e suficiente.

II. Teoria dos Conjuntos - 2

3 Outubro 2022, 09:30 • António José Teiga Zilhão

A relação de inclusão. Propriedades da relação de inclusão. Inclusão e inclusão própria; subconjunto e subconjunto próprio; negação da inclusão. Axioma da Potência. Conjunto-potência de um dado 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.