1. logika sled výroků V1; …; Vn/Vn + 1, kde výroky V1, …, Vn jsou tzv. premisy (předpoklady) a Vn + 1 je závěr úsudku. V platném úsudku závěr vyplývá z premis, tj. platí, že kdykoli jsou všechny premisy pravdivé, je pravdivý i výrok, který tvoří závěr daného úsudku. Jako správný úsudek je označován platný úsudek, jehož všechny premisy jsou (v daném okamžiku) pravdivé. V systémech formálních je analogem úsudku důkaz, který je přesně definován. Viz též sylogismus, vyplývání, výrok;
2. psychologie myšlenkový postup, jímž dospíváme od jistých předpokladů k určitému závěru. Tento postup může být správný, nebo chybný.
