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 vyvodzuje výrok, ktorý je ich logickým dôsledkom.

Dedukcia je usudzovanie, odvodzovanie zvláštneho, menej všeobecného zo všeobecného.

Pozri aj

Externé odkazy

FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
METÓDY LOGICKÉHO UVAŽOVANIA

Zdroj:
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.