proactools.
التحميل الان

proactools. الترتيب والملخص

proactools. العلامات

proactools. وصف

Prooftools هو تطبيق رسومي مجاني مكتوب في كل من GTK + و QT، ومصمم ليتم استخدامه للجيل التلقائي والرسمي من TableAux الدلالي، والمعروف أيضا باسم الأشجار إثبات، أو تطبيقات تحليلية، أو الأشجار الدلالية. يمكن استخدام التطبيق لاختبار ما إذا كانت هناك حجة أو إثبات صالحة بشكل متقطع، أو ما إذا كانت الصيغة هي حقيقة منطقية. Projectools قادرة على التحقق من صحة مقترح، وسيطة منطق الوسائد أو الحقيقة المنطقية باستخدام طريقة الإثبات شجرة. Proactools هو تطبيق مستقل منصة يدعم أنظمة التشغيل Linux و Microsoft Windows و Mac OS X. يتم توفير ثنائيات GTK و QT في قسم التنزيل أعلاه، ودعم كل من البنيات 32 بت و 64 بت.

proactools. برامج ذات صلة