z Wikipedie, slobodnej encyklopedie
Dedukcia
alebo
odvodzovanie
je proces postupnych
transformacii
vyrazov
pomocou
odvodzovacich pravidiel
. Ka?de jednotlive pou?itie odvodzovacieho pravidla na dane vyrazy (sekvencie) sa nazyva krokom dedukcie.
Dedukcia je my?lienkova operacia, ktora z jednej alebo viacerych
premis
vyvodzuje
vyrok
, ktory je ich
logickym dosledkom
.
Dedukcia je
usudzovanie
, odvodzovanie
zvla?tneho
, menej v?eobecneho zo
v?eobecneho
.