«استقراء» يكى از اقسام سه‌‏گانه حجت و استدلال است. و آن استدلالى است كه در آن از مطالعه‌ی امور جزئى به نتيجه‌‏اى كلى دست‌يابند. مثلا از ملاحظه‌ی حيوانات مختلف كه هريک هنگام جويدن غذا فکّ پایین را ح

برهان افتراض، یا قیاس افتراض، یا دلیل افتراض، يكی از روش‌هـای منطـقی اسـت که در موارد متعددی به کار می‌رود؛ یکی از کاربردهای آن، اثبات برخی از اقسام شکل دوم و سوم قیاس است.

از نظر منطقی‌ها،

«تصور» یعنی آنکه به چیزی فکر کنیم، بدون آنکه در صدد اثبات و یا نفی موضوعی باشیم، مانند تفکر به آسمان، اما «تصدیق» به معنای فکر کردن به چیزی به همراه حکم به اثبات و یا نفی می‌باشد، مانند آنکه «آسمان

«تمثيل»‏ در دانش منطق، يكى از اقسام سه‌‏گانه «حجت» است، و آن عبارت است از: «حكم كردن بر چيزى به سبب حكمى كه درباره‌ی امر مشابه آن كرده باشند».

مانند اين‌كه از حرمت شراب انگور حكم به حرمت شر

حد تام ،‌ حد ناقص ، رسم تام ، رسم ناقص