Sumários

25 Setembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Regras de inferência: formas argumentativas dedutivamente válidas.

Modus Ponens (MP) e Modus Tollens (MT).

Falácias da negação do antecedente e da afirmação do consequente.

A inferência vista como uma implicação lógica.

25 Setembro 2025, 09:00 • António José Teiga Zilhão

I.3. Teoria do Silogismo - 2

I.3.5. Demonstração de que qualquer silogismo válido da IIª Figura tem que ter uma conclusão negativa.

I.3.6. Demonstração de que qualquer silogismo válido da IIIª Figura tem que ter uma conclusão particular.

I.3.7. Silogismos complexos.

24 Setembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Tabelas de verdade com três e quatro variáveis proposicionais.

Forma(s) lógica de fórmulas do C. Proposicional.

As letras esquemáticas.

23 Setembro 2025, 09:00 • António José Teiga Zilhão

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

22 Setembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

As cinco conectivas proposicionais: negação, conjunção, disjunção, implicação e equivalência. Tabelas "Wittgenstein".

Funções de verdade.

Disjunção lógica -- inclusiva -- e disjunção exclusiva.

Os paradoxos da implicação material.

Tabelas de verdade com duas variáveis proposicionais. Significado de uma tabela de verdade.

Tautologias e contradições.