Sumários
III. Lógica Proposicional - 1
31 Outubro 2022, 09:30 • António José Teiga Zilhão
Teoria das funções de verdade. As funções de verdade elementares: negação, conjunção, disjunção, implicação e equivalência. Conceito de uma álgebra das proposições. Definição de fórmula da álgebra das proposições. Definição de substituibilidade entre fórmulas da álgebra das proposições. Apresentação de um elenco de substituibilidades elementares. Definição de substituibilidade parcial.
Revisões
27 Outubro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça
Exercícios de revisão para o teste.
Gestão da Avaliação - 3
27 Outubro 2022, 09:30 • António José Teiga Zilhão
Correcção do exercício escrito.
Introdução ao C. Predicados de 1ª Ordem
25 Outubro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça
Introdução ao C. Predicados de 1ª Ordem.