Natural Deduction for Android

پروف جنریٹر کو آپ کے لیے ثبوت تیار کرنے دیں۔

پروف چیکر کے ساتھ اپنی قدرتی کٹوتی کی مہارتوں کی مشق کریں۔ اپنی مشقیں ڈیوائس پر محفوظ کریں اور بعد میں ان پر واپس جائیں۔

سچائی سے چلنے والی کلاسیکی منطق اور (اختیاری طور پر) موڈل منطق S5 پر مشتمل ہے۔