Arutlus: erinevus redaktsioonide vahel

 

Arutlust, milles järeldus [[järeldumine|järeldub]] eeldus(t)est, nimetame [[kehtivus|kehtiv]]aks. Arutlus on kehtiv (ehk kehtib), kui pole [[loogiline võimalikkus|loogiliselt võimalik]], et kõik eeldused oleksid [[tõesus|tõesed]] ja järeldus [[väärus|väär]].