Dedukce

Odvozený tvrzený (dusledku) z jednoho nebo nekolika jiny ch tvrzený na zaklade
pravidel odvozený, a to odvozený jistý, nikoli pravdepodobnř.
Definice
Logicky postup, umoz n ujýcý odlis it, najýt, sestrojit nejaky objekt, formulovat
vy znam termýnu nove zavadenřho nebo zpresnit vy znam termýnu jiz
existujýcýho.
Definice induktivný
Jeden ze zpusobu vymezený objektu matematicky ch a logicky ch systřmu.
Spocýva v tom, z e jsou ukazany vy chozý objekty systřmu a pravidla (operace)
umoz n ujýcý tvorit z objektu jiz existujýcých novř objekty systřmu.