lause, loogikas otsustus (väide), mille puhul eeldatakse, et selle sisu tõesus või väärus on kontrollitav.

VE, 2006