La logique prédiquée du Vice-superviseur