Sumários
Quadrado da Oposição
7 Novembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça
Entrega e correcção dos testes escritos.
O Quadrado da Oposição na Lógica Aristotélica. Forma geral da proposição predicativa categórica. Proposições de tipos A, E, I e O. Proposições contrárias, subcontrárias e contraditórias.
III. Lógica Proposicional - 3
7 Novembro 2022, 09:30 • António José Teiga Zilhão
O Problema da Decisão. Métodos semântico e sintáctico de resolver o Problema da Decisão. O método semântico de resolução do Problema da Decisão: determinação da natureza de uma qualquer fórmula da Álgebra das Proposições por meio da construção da sua tabela de verdade. O método sintáctico de resolução do Problema da Decisão: conceito de Forma Normal de uma fórmula da Álgebra das Proposições; distinção entre Forma Normal Conjuntiva e Forma Normal Disjuntiva de uma fórmula; método de reconduzir uma qualquer fórmula da Álgebra das Proposições às suas formas normais, conjuntiva ou disjuntiva; Teorema T; Critério T; Teorema K; Critério K; Critério S; detecção conclusiva do carácter tautológico ou não-tautológico de uma qualquer fórmula da Álgebra das Proposições por meio da aplicação do Critério T à sua Forma Normal Conjuntiva.
Primeiro Teste de Avaliação
3 Novembro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça
Primeiro teste de avaliação.
III. Lógica Proposicional - 2
3 Novembro 2022, 09:30 • António José Teiga Zilhão