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.
Dedukcia je usudzovanie, odvodzovanie zvláštneho, menej všeobecného zo všeobecného.
Pozri aj progresívna dedukcia regresívna dedukcia logická dedukcia
Iné projekty
Externé odkazy
METÓDY LOGICKÉHO UVAŽOVANIA
Kategória:Logika Kategória:Matematika