Як називають міркування, за допомогою якого від одного або кількох вихідних висловлювань (суджень), тобто думок, які щось стверджують або заперечують, і які можуть бути істинними або хибними, застосовуючи певні правила доведення, переходять до нового висловлювання (судження), яке теж може бути істинним або хибним?