Úsudek

Úsudek je logické spojení vět (výroků), nazývaných premisy čili předpoklady, kde navazující poslední věta (závěr) vyplývá z těchto premis.^[1] V matematické logice se používá termín odvozování.

Pravdivost úsudku

Úsudek je pravdivý, pokud je správně vyvozen z pravdivých premis. Naopak, je-li úsudek nesprávný^{[pozn. 1]} nebo alespoň jedna premisa nepravdivá, pak je úsudek nepravdivý.^{[2][pozn. 2]}

Druhy úsudku

Úsudky se dělí na induktivní, které směřují od zvláštních případů k obecné poučce, a deduktivní, směřující od obecného ke zvláštnímu, úsudek z analogie směřuje od zvláštního k zvláštnímu.