Sumários

[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.


[11.10.2021] - Tautologia, Contradição e Proposição Contingente

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

Os conceitos de Tautologia, Contradição e de Proposição Contingente.

Tabelas de verdade.