Висновок одна з форм мислення, за допомогою якого з одного або кількох суджень будується нова думка. З погляду логіки висловлювань, висновок – це крок логічного висновку, безпосереднє виведення висловлювання-висновку з одного або більше висловлювань («посилок»), найпростіше
.
Висновок – це безпосередній перехід від одного чи кількох висловлювань А1, А2, …, Аn до висловлювання У. А1, А2, …, Аn називають посилками. Посилка може бути одна, їх може бути дві, три, чотири, в принципі – скільки завгодно. У посилках міститься відома нам інформація.
Судження – форма мислення, в якій щось стверджується або заперечується про існування предметів, зв'язки між предметом та його властивостями або про відношення між предметами. Приклади суджень: «Криголам існують»; «Київ більше Тули» тощо.
Концепція – Форма мислення, в якій відображаються суттєві ознаки окремого предмета або класу однорідних предметів. Судження – Форма мислення, в якій щось стверджується або заперечується про предмети, їх ознаки та відносини.