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