Problemas de logica com resolucao