Sumários

Traduções

29 Setembro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça

Exercícios de aplicação das primeiras quatro regras primitivas.

Tradução de enunciados da linguagem corrente na linguagem do Cálculo Proposicional.

II. Teoria dos Conjuntos - 1

29 Setembro 2022, 09:30 • António José Teiga Zilhão

II. 1. Ontologia e conceitos fundamentais da Teoria dos Conjuntos: conjuntos, objectos, relação de pertença de objectos a conjuntos e versão conjuntista do princípio lógico do terceiro excluído. 
II.2. Axiomas e definições da Teoria dos Conjuntos: 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), Axioma da Extracção e Axioma do Conjunto Vazio. Definições de conjunto vazio, conjunto singular e conjunto universo.

Não houve aula

27 Setembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

Não houve aula.

I. Lógica Aristotélica - 6

27 Setembro 2022, 09:30 • António José Teiga Zilhão

I.4. Falácias

I.4.1. Falácias semânticas
I.4.2. Falácias sintácticas
I.4.3. Falácias semânticas e sintácticas.

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

As Primeiras Quatro Regras Primitivas

26 Setembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

As primeiras quatro regras primitivas: Modus Ponens (MP), Modus Tollens (MT), Silogismo Disjuntivo (SD) e Silogismo Hipotético (SH).