Problemas envolvendo "todo, algum e nenhum", conjuntos, argumentos válidos/inválidos, e assim por diante.