Μια λογική έκφραση που καθορίζει μία ή περισσότερες συνθήκες που πρόγραμμα εκροές πρέπει να πληρούν προκειμένου το πρόγραμμα να είναι σωστή.