Asserções, asserções condicionais, asserções condicionais gerais. Antecedente e consequente duma asserção condicional. A tabela de verdade para o condicional (implicação) e para a disjunção. 

Exercícios.