Dedukcia

Dedukcia alebo odvodzovanie je proces postupných transformácií výrazov pomocou odvodzovacích pravidiel. Každé jednotlivé použitie odvodzovacieho pravidla na dané výrazy (sekvencie) sa nazýva krokom dedukcie.

Dedukcia je myšlienková operácia, ktorá z jednej alebo viacerých premís (súdov) vyvodzuje výrok, čiže úsudok ktorý je ich logickým dôsledkom.