Definição de fórmula duma linguagem de LPO. Definição de ocorrência muda duma variável numa fórmula. Uma fórmula em que todas as variáveis ocorrem mudas (i.e., não tem ocorrências livres de variáveis) denomina-se de sentença. Dada uma interpretação da linguagem, uma sentença é verdadeira ou falsa.

Leis de De Morgan para a quantificação. Outras leis. Falácias.