From Wikipedia, the free encyclopedia
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.