سلام 👋 در این برنامه می‌توانید با وارد کردن یک قضیه منطقی(اعم از حملیه و شرطیه) تمام قضایای صحیحی که به وسیله استدلال مباشر از آن استخراج می‌شود را ملاحظه کنید.
هدف اصلی بنده از توسعه این برنامه آن بوده که قضایای مذکور در قرآن و روایات که صدق آن‌ها مقبول است را وارد این برنامه کرده و همه گزاره‌های صادق متفرع بر آن‌ها را به راحتی استخراج کنیم. مثل کاری که ملاصدرا(ره) انجام داد؛ ایشان با استفاده از عكس نقیض و يك آیه از قرآن، روایت «من عرف نفسه فقد عرف ربه» را ثابت نمود.(فتأمل)
برای نظرات، پیشنهادات و انتقادات، می‌توانید از طریق ایمیل و پیامرسان ایتا با من در ارتباط باشید.
این برنامه به صورت PWA توسعه داده شده است؛ بنابراین می‌توانید با نصب آن حتی به شکل آفلاین از آن استفاده کنید.
بسیار خب!