Algoritmo inicial do filtro de proposições