. #قضایای_مباشر_حملیه_شرطیه یک ابزار کوچک برای استدلال مباشر با وارد کردن یک قضیه منطقی(اعم از حملیه یا شرطیه)، موارد زیر را یکجا نشان می دهد: - عکس مستوی - عکس نقیض موافق/مخالف - نقض موضوع/مقدم - نقض محمول/تالی - نقض طرفین اگر آیات و روایات که صدقشان مقبول است را تبدیل کرده و در این ابزار وارد کنیم، می‌توانیم تمام گزاره‌های متفرع از این منابع را که لزوما صادق هستند بدست آوریم در حالی که چه بسا قبل‌تر، به این متفرعات توجه نداشتیم: https://sadegh-zr.github.io/immediate-inference/fa/ #طراح_برادر_عزیز #صادق_زرین_مهر #حوزه_امیرالمومنین_لویزان •┈┈••✾▪️◾️▪️✾••┈┈• ✍ به #پژوهش_البرز بپیوندید: 🆔 @pazhoohesh_alborz