Definitsioon: deduktiivne järeldus, mis tuletatakse kolme mõistet siduvast kahest otsustusest
Mõiste: aheljäreldus
Ülemmõiste: järeldus
Mõiste: aheljäreldus
Ülemmõiste: järeleaimus
Mõiste: aheljäreldus
Ülemmõiste: konsekvents