Definitsioon: üksiku v. erilise tuletamine üldisest, järeldamine konkreetse üksikjuhu kohta üldise põhjal
Mõiste: automaattõestamine
Ülemmõiste: abstraheerimine
Mõiste: automaattõestamine
Ülemmõiste: loogiline mõtlemine
Mõiste: automaattõestamine
Ülemmõiste: järeldamine