Tagasi ETBL-i avalehele

lause (loogika)

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

VE, 2006