Sırayla uygulanacak programa yol için karşılanması gereken giriş koşulları belirten mantıksal bir ifade.