TEMSİL
Tikelden tikele giden akıl yürütme yöntemi için kullanılan mantık terimi.
İSTİDLÂL
Bir veya birden çok önermeden başka bir önerme çıkarma, akıl yürütme anlamında mantık terimi.
TA‘LÎL
Tümelden tikele giderek hüküm çıkarma anlamında bir istidlâl türü olan mantık terimi, tümdengelim.
KIYAS
Bilinenden hareketle bilinmeyene ulaşmayı ifade eden mantık, fıkıh ve dil bilimi terimi.