The Logic Calculator

يتيح هذا التطبيق المجاني لمستخدمي المنطق الإفتراضي القيام بعمليات بنفس السهولة التي توفرها الآلة الحاسبة الرياضية. فإنه يسهل المتعلمين من المنطق من خلال توفير ردود فعل كبيرة. للتعبير الدقيق ، باستخدام هذا التطبيق ، يمكن للمرء تحديد ما إذا: (1) المدخلات جيدة التنسيق ، وإذا لم يكن الأمر كذلك ، فلماذا لا ، (2) الجمل عبارة عن tautologies أو تناقضات أو متتالية ، (3) مجموعات من الجمل متسقة أو غير متسقة و (4) الوسائط صالحة أو غير صالحة. كما أنها تنتج جداول الحقيقة التي يمكن نسخها إلى تطبيقات أخرى. اعتبارا من هذا الإصدار ، فإن الآلة الحاسبة تقتصر على العمليات الدلالية.