Sumários

Apresentação

4 Outubro 2021, 14:00 • António José Teiga Zilhão

Apresentação do programa, do professor, da bibliografia, da orgânica da cadeira e dos métodos de avaliação; marcação dos momentos de avaliação. 

[25.10.2021] - Traduções (conclusão)

4 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Traduções de frases da linguagem corrente na linguagem do Cálculo Proposicional.


[21.10.2021] - Traduções

30 Setembro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Traduções de frases da linguagem corrente na linguagem do Cálculo Proposicional.

[18.10.2021] - Regras de Inferência (conclusão)

27 Setembro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

As regras Simplificação, Conjunção, Adição e Dilema Construtivo.

Exercícios.

[14.10.2021] - Regras de Inferência

23 Setembro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Formas argumentativas dedutivamente válidas (regras de inferência): 

Modus Ponens, Modus Tolles, Silogismo Disjuntivo e Silogismo Hipotético.
Exercícios.