Wyrażenie logiczne określania jednego lub więcej warunków, które program wyjść musi spełniać w celu program ma być poprawne.