arutlus, loogikas väitelausete ehk otsustuste hulk, milles üks lause on valitud järelduseks ja ülejäänud laused on selle lause eeldusteks.

VE, 2006