Preskočiť na obsah

Dedukcia

z Wikipédie, slobodnej encyklopédie
Verzia z 10:26, 14. október 2023, ktorú vytvoril InternetArchiveBot (diskusia | príspevky) (Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5)
(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)

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[upraviť | upraviť zdroj]

Externé odkazy[upraviť | upraviť zdroj]