deduktsioon 1(n), dedutseerimine 1(n)

üksiku v. erilise tuletamine üldisest, järeldamine konkreetse üksikjuhu kohta üldise põhjal

Hüponüümid:
automaattõestamine 1(n)
domain_topic
matemaatika 1(n)
is_caused_by
dedutseerija 1(n)