شرح تطبيق Natural Deduction وكيفية استخدامه
لعب مع هذا البرنامج، وبناء بعض البراهين في الاسلوب خصم الطبيعي.
بالضغط على الصيغة تلقائيا يوسع مع قواعد الممكنة.
تطبع الافتراضات في الزرقاء. اختيار واحد منهم يولد شجرة فرعية جديدة.
ربط اثنين من الاشجار يتم عن طريق سحب جذر أول من ورقة من ثانية واحدة.
إذا كان هناك احتمال واحد فقط، يتم تنفيذ هذا المرفق تلقائيا.
ويتم إثبات عندما تحيط الشجرة التي كتبها مستطيل أحمر.
إستمتع! المنطق هو
.
تنزيل APK الاصدار 1.5 المجانية Free Download
يمكنك تنزيل Natural Deduction APK 1.5 لـ Android مجاناً Free Download الآن عبر أبك داون مود.