استقرا
استدلال کل به جزء یا استدلال قیاسی (deductive reasoning) یکی از دو استدلال معروف در منطق (استدلال کل به جزء و استدلال جزء به کل {the deductive and inductive approaches}) می‌باشد . استدلال کل به جزء هنگامی است که در استدلال از یک نظریه (تئوری) کلی استفاده کنیم و به فرضیه یا فرضیه‌های جزئی برسیم. در پژوهش ها، زمانی که پژوهشگر از نظریه استفاده می‌کند و فرضیه می‌سازد و برای ازمون فرضیه‌ها داده جمع‌آوری می‌کند و نتیجه می‌گیرد می گوییم پژوهشگر از روش استدلال کل به جزء استفاده کرده‌است. روش استدلال جزء به کل (inductive approaches) بر عکس این روش می‌باشد یعنی پژوهشگر داده جمع‌آوری می‌کند و الگو بین داده‌ها و متغیرها کشف می‌کند سپس فرضیه می‌سازد و فرضیه را آزمون می‌کند و در نهایت نظریه می‌دهد. روش‌های جز به کل و کل به جز از دو روش مهم در پژوهش می‌باشد (the deductive and inductive methods).
استدلال خودکار
در حال حاضر توسعه‌یافته‌ترین زیرشاخه این علم اثبات قضیه خودکار و بررسی برهان خودکار هستند. نرم‌افزارهای اثبات قضیه خودکار قادرند برخی مسائل و قضایای ریاضی را اثبات نمایند و حتی در مواردی موفق به کشف اثبات‌های کوتاه تر برای برخی از قضایای ریاضی شده‌اند. مشکلی که یک برنامهٔ استدلال خودکار ملزم به حل آن است، دارای دو بخش است. اول فرض مسئله که شامل داده‌هایی‌ست که در مواجهه با مسئله به دست می‌آید. بخش دوم هم نتیجه‌ای است که از استدلال داده‌ها به دست می‌آید. حل مسئله به معنای اثبات حکم آن از روی فرض، بر پایهٔ اصول استتاجی است که در بدنهٔ برنامهٔ استدلال وجود دارد. فرآیند حل مسئله زمانی پایان می‌یابد که اثبات مسئلهٔ موجود پیدا شده باشد یا برنامه عدم وجود اثبات را تشخیص داده باشد.