استدلال استنتاجی
در منطق بدست آوردن یک گزاره از دنباله‌ای از یک مجموعه گزاره‌ها است. دنبالهٔ گزاره استفاده شده مفروضات و گزارهٔ بدست آمده نتیجه نامیده می‌شود. استدلال یا گواه آوردن قیاسی، منطق قیاسی نیز نامیده می‌شود. این روش استدلال کردن یا گواه آوردن از بحث‌های قیاسی به دست می‌آید. در این گونه بحث، تلاش می‌شود تا نشان داده شود که نتیجه به‌طور بایسته و ضروری، از مجموعه‌ای از پیش فرض‌ها یا فرضیه‌ها به دست می‌آید. بحث قیاسی هنگامی معتبر است که نتیجه به‌طور بایسته و ضروری، از پیش فرض و فرضیه به دست آید. گواه آوری یا استدلال قیاسی در کنار گواه آوری استقرایی (inductive reasoning)، یکی از دو روش رایج در شناخت و رسیدن به دانایی یا معرفت است.
منطق
این استدلال را نمی‌توان به اشکال Aها B هستند و غیره درآورد. از قدیم تلاش‌هایی برایِ این کار انجام شده و به شکست منجر گردیده بود. فرگه منطق را از این قبیل صورت‌ها آغاز نمود. او نمادهایی مانند P و Q و غیره را به عنوانِ جانشین گزارهها (p اولِ proposition به معنیِ گزاره‌است) و نشانه‌های دیگر را به عنوانِ پیوند دهنده جملات به کار برد. اگر P و Q گزاره باشند P~ خوانده می‌شود «نقیضِ P» و P→Q خوانده می‌شود «اگر P آنگاه Q». منطقِ فرگه و راسل قادر است به بررسیِ روابطِ بینِ گزاره‌ها و استدلال‌هایی که به دلیلِ چینشِ این روابط معتبر اند بپردازد. به همین دلیل آن را حسابِ گزاره‌ها یا منطقِ جملات می‌نامند. در مقابل به آنچه با منطقِ ارسطویی آغاز گردید منطقِ محمولات گفته می‌شود (زیرا گزاره‌ها را به موضوع و محمول تقسیم می‌کند).