Continuação da parte que trata os tradicionais problemas envolvendo tabelas-verdade, proposições, operadores lógicos, e assim por diante.