Sumários

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.

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

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.

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

I.3.7. A sistematização leibniziana da arquitectura dedutiva da Lógica Aristotélica

I.3.7.1. A lei da identidade e a lei da não contradição como os princípios lógicos básicos;

I.3.7.2. Validade axiomática dos modos válidos da Iª Figura (os silogismos perfeitos);

I.3.7.3. Demonstração da validade dos silogismos imperfeitos pelo método indirecto (reductio ad impossibile);

I.3.7.4. Demonstração da validade das regras da teoria da conversão à custa da silogística e da lei da identidade.

I.4. Falácias

I.4.1. Falácias semânticas;

I.4.2. Falácias sintácticas;

I.4.3. Falácias mistas (sintácticas e semânticas).

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

Regras de inferência: SD e SH - estudo das regras Silogismo Disjuntivo e Silogismo Hipotético.

Realização de demonstrações no Cálculo Proposicional usando apenas as quatro regras estudadas.