استنتاج بی‌واسطه

استدلالی که در آن نتیجه از مقدمه‌ای واحد به ‌دست می‌آید، مانند نقض محمول و عکس مستوی و عکس نقیض