Exercício 1. Revisão das tabelas de verdade da disjunção e da implicação. Noção de tautologia.

Exercício 1 e início do exercício 3 (demonstração de que a soma de dois inteiros pares é também um inteiro par).

Revisão da tabela de verdade da implicação e da noção de tautologia.

Algumas informações sobre a disciplina, nomeadamente sobre as regras de avaliação.

Demonstração de que se x e y são inteiros ímpares, então xy é também um inteiro ímpar ("Demonstração 1", na página moodle), ilustrando o método direto de demonstrar uma implicação. 

Revisão da tabela de verdade da implicação.

Apresentação do professor e observações sobre a cadeira e a avaliação.