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