орындалатын деп аталады егер ол қандай да бір интерпретациясында орындалса секвенциясы дәлелденсе онда ол анық деген