Forgik

Forgik هو تطبيق تعليمي لإثبات التسلسل باستخدام خصم طبيعي.

Forgik هو تطبيق تعليمي لتعلم وممارسة الاستنتاج الطبيعي.

باستخدام قواعد الاستدلال ، يكون هدفك هو إثبات الاستنتاج عن طريق افتراض أماكن متعددة.

يستخدم Forgik مجموعة محددة من قواعد الاستدلال ، بما في ذلك قانون الوسط المستبعد.

تسمى هذه المجموعة من القواعد المنطق الكلاسيكي وتسمح بالبراهين بالتناقض.

حاليًا ، لا يدعم Forgik سوى المنطق المقترح.

ولكنه سيدعم قريبًا منطق الترتيب الأول ، والذي يسمى أيضًا المنطق الأصلي.