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