Aula Teórica 1
17 Setembro 2019, 09:30 • Maria da Purificação Antunes Coelho
Apresentação. Objetivos e programa da disciplina. Método de avaliação.
Asserções. Operações lógicas sobre asserções (negação, conjunção, disjunção, implicação material e equivalência material) e respetivos símbolos conectivos.