المنطق الافتراضي هو منطق غير رتيب يقترحه ريموند رايتر لإضفاء طابع رسمي على الاستدلال مع افتراضات افتراضية. يمكن للمنطق الافتراضي أن يعبر عن الحقائق مثل “بشكل افتراضي ، شيء ما صحيح” ؛ على النقيض من ذلك ، لا يمكن للمنطق القياسي إلا أن يعبر عن حقيقة أن شيء ما صحيح أو…