Sumários

Tabelas de Verdade

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.

I. Lógica Aristotélica - 4

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

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

Conectivas Proposicionais / Funções de Verdade

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.

I. Lógica Aristotélica - 3

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

I.2. Inferências elementares no âmbito da Lógica Aristotélica (cont.)

I.2.4. Teoria da Contraposição. 

I.3. Teoria do Silogismo - 1

I.3.1. Definições e regras de formação; 

I.3.2. As 4 figuras e os 256 modos; 

I.3.3. Modos válidos e modos inválidos;

I.3.4. Regras de validação.

Conceitos básicos

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

Argumentos e formas argumentativas.
Proposições atómicas e moleculares.
A linguagem do Cálculo Proposicional.