Dedukcia: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d pridaný externý odkay |
url webu, ktory bol povodne uvedeny sa zmenilo ... povodne url je redirected na url, ktore som uviedol |
||
| Riadok 13: | Riadok 13: | ||
* {{filit|fvd/dedukcia.html}} |
* {{filit|fvd/dedukcia.html}} |
||
* [http://hlavolamy |
* [http://brainden.com/hlavolamy/ Hlavolamy] Logické úlohy, ktoré je možné vyriešiť prostredníctvom dedukcie. |
||
Verzia z 14:53, 12. september 2007
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.
- Hlavolamy Logické úlohy, ktoré je možné vyriešiť prostredníctvom dedukcie.