Sumários

Traduções

6 Outubro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Traduções de enunciados dados na linguagem corrente para a linguagem do Cálculo Proposicional.

Condição necessária e condição suficiente.

II. Teoria dos Conjuntos - 1

6 Outubro 2025, 09:00 • António José Teiga Zilhão

II. 1. Ontologia da Teoria dos Conjuntos: conjuntos e objectos; a definição de 'conjunto' apresentada por Cantor. Fundamentos da Teoria dos Conjuntos: a relação de pertença (que obtém entre um objecto e o conjunto do qual esse objecto é um elemento); a versão conjuntista do princípio lógico do terceiro excluído. 
II.2. Axiomas da Teoria dos Conjuntos - I: 1. Axioma da Extensionalidade (e princípios dele decorrentes como o Princípio da Irrelevância da Ordem e o Princípio da Irrelevância da Repetição); 2. Axioma da Extracção; 3. Axioma do Conjunto Vazio. 
II.3. Definições da Teoria dos Conjuntos: definições extensional e intensional de um conjunto; definição de conjunto vazio e definição de conjunto singular.
II. 4. Relações e operações definidas na Teoria dos Conjuntos - I: 
II.4.1. Relação de inclusão - definição.

Traduções

2 Outubro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Traduções de enunciados dados na linguagem corrente para a linguagem do Cálculo Proposicional.

I. Lógica Aristotélica - 8

2 Outubro 2025, 09:00 • António José Teiga Zilhão

Resolução de exercícios no âmbito da Lógica Aristotélica.

Regras de inferência: Adição e Dilema Construtivo

1 Outubro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Regras de inferência: Adição e Dilema Construtivo.
Realização de demonstrações no Cálculo Proposicional usando apenas as oito regras estudadas.