Sumários
III. Lógica Proposicional - 1
6 Novembro 2023, 09:30 • António José Teiga Zilhão
1. Teoria das funções de verdade.
1.1. As funções de verdade como um tipo específico de função.
1.2. As funções de verdade elementares: negação, conjunção, disjunção, implicação e equivalência.
2. Álgebra das proposições.
2.1. O conceito de uma álgebra das proposições.
2.2. Definição de fórmula da álgebra das proposições.
2.3. Definição de substituibilidade entre fórmulas da álgebra das proposições.
Teste
2 Novembro 2023, 12:30 • Maria Adriana Sequeira da Silva Graça
Primeiro teste escrito de avaliação.
Gestão da Avaliação - 3
2 Novembro 2023, 09:30 • António José Teiga Zilhão
Correcção do teste escrito.
Gestão da Avaliação - 2
31 Outubro 2023, 09:30 • António José Teiga Zilhão
Teste escrito realizado na sala de aula (módulos I e II do programa).