İsim, Mantık (a) içerme: mantıksal sonuç olarak bir şeyin başka bir şeyi kendi kapsamı içine alması, (b) çıkarım,
istidlâl: biri öbüründen mantıkî olarak çıkarılabilecek iki önerme arasındaki bağıntı. The implication is that: Bundan şu sonuç çıkar ki, bunun demek istediği şu ki …