A cinco funções de verdade: negação, conjunção, disjunção, implicação e equivalência - definições apresentadas e discutidas por meio de tabelas de verdade. Assimetrias entre estas funções e as conectivas correspondentes nas linguagens naturais. Paradoxos da implicação material.

A sintaxe do Cálculo Proposicional.

Construção das primeiras tabelas de verdade com duas e três variáveis proposicionais.