O expresie logică specifică unul sau mai multe condiţii pe care trebuie să fie îndeplinite de fiecare dată când un anumit punct într-o buclă de program este executat.