rozhodování

Logika, proces, kterým se zkoumá, je-li logický výraz v nějakém systému rozhodnutelný, tj. je-li v tomto systému dokazatelný nebo vyvratitelný (tzn. je-li dokazatelná jeho negace). Logický výraz lze rozhodnout pomocí důkazu nebo rozhodovací procedury, což je postup, který umožňuje v rámci nějakého logického systému o každém libovolném výrazu tohoto systému konečným počtem kroků rozhodnout, zda je tento výraz splnitelný, či nesplnitelný.