راستش یک ابزار کوچیک در مورد استدلال مباشر طراحی کردم برای اینکه یه قضیه منطقی(اعم از حملیه یا شرطیه) رو بهش بدیم و موارد زیر رو یکجا نشون بده: - عکس مستوی - عکس نقیض موافق/مخالف - نقض موضوع/مقدم - نقض محمول/تالی - نقض طرفین آیات و روایات که صدقشون مقبوله رو اگه تبدیل کنیم و تو این ابزار بذاریم، همه گزاره‌های متفرع از آیه که لزوما صادق هستن و چه بسا بهشون توجه نداشتیم رو میتونیم بدست بیاریم. https://sadegh-zr.github.io/immediate-inference/fa/