Discussão dos exercícios propostos como atividades iniciais na secção 1.1 do manual seguido na disciplina. Outros exemplos de asserções e respetivos valores de verdade.

Tabela de verdade da implicação.