у логіці — висловлювання, яке фіксує невідомі елементи якоїсь ситуації, задачі, що підлягають з’ясуванню