 | التدقيقواجهة رسومية غنية تستخدم للتفاعل مع APROS |
| التحميل الان | |
التدقيق الترتيب والملخص
الإعلانات
التدقيق العلامات
التدقيق وصف
يستخدم APROS طريقة الضوابط للبحث عن البراهين الخصم الطبيعية العادية في منطق الكتلة الكلاسيكية والمنطق المسند. تم تكييف الطريقة للبحث أيضا في المنطق غير الحكومي والحد الأدنى، في الأجزاء الأولية من نظرية المحددة وفي metamatheematics الرسمي. اقترح Gentzen الخصم الطبيعي Calculi كأدوات منطقية التي تلتقطها، مباشرة، كيف سبب البشر من خلال دليل. وهي تسمح، الأكثر تميزا، والمنطق مع الافتراضات والمقدمة وكذلك قواعد القضاء على الضوابط المنطقية. تستغل طريقة الواجهة بشكل منهجي الفكرة الأساسية التي تسمح قواعد القضاء على تحلل الصيغ المعقدة وأن قواعد المقدمة تسمح بتشييد تلك المعقدة. الميزة الأكثر تميزا لإجراءات البحث المنفذة في APROS هي أن البناء الدليل يمكن فصله استراتيجيا إلى ثلاث وحدات متميزة: استخراج أو استخدام الأهداف الأمامية للقواعد القضاء أو الانقلاب أو الاستخدام الخاطئ لقواعد المقدمة، وأخيرا، استخدام جدال غير مباشر. في التدقيق، يمكن للمرء عرض كل من الإثبات الناتج وكل خطوة في البحث في عدد من التنسيقات. أداة البحث والدليل التلقائي لمنطق الطلب الكلاسيكي والحليسي. يستخدم محرك البحث والدليل على APROS الأساسي. احصل على التدقيق وإعطائها محاولة لمعرفة ما يدور حوله!
التدقيق برامج ذات صلة
