Quadrado da Oposição

7 Novembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

Entrega e correcção dos testes escritos.

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

Derivação de substituibilidades não elementares na álgebra das proposições. Tautologias, contradições e fórmulas contingentes.

Não houve aula

31 Outubro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

Não houve aula.