Η συνθήκη είναι μία λογική Έκφραση. Το αποτέλεσμα μίας συγκριτικής ή λογικής πράξης. Μπορεί να πάρει δύο μόνο τιμές: Αληθής, Ψευδής. Υπάρχουν απλές και σύνθετες συνθήκες.