São os tradicionais problemas envolvendo tabelas-verdade, proposições, operadores lógicos, e assim por diante.