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