अव्यवहित अनुमान
अव्यवहित अनुमान (Immediate inference) वह अनुमान है जो केवल एक कथन या प्रतिज्ञप्ति से निकाला जा सकता है। उदाहरण के लिए, "सभी टोड हरे हैं" कथन से, अव्यवहित अनुमान लगाया जा सकता है कि "ऐसा नहीं है कि कोई भी टोड हरा नहीं है " या "कोई भी टोड गैर-हरा नहीं है" (प्रतिवर्तित, Obverse)। ऐसे कई अव्यवहित अनुमान हैं जो तार्किक प्रचालन का उपयोग करके वैध रूप से किए जा सकते हैं, जिसका परिणाम दिए गए कथन के तार्किक रूप से समकक्ष कथन रूप है। ऐसे अमान्य अव्यवहित अनुमान भी हैं जो कि न्यायवाक्य तर्कदोष हैं।