طاولات الحقيقة للمنطق الكلاسيكي وعدد من الأنظمة غير الكلاسيكية. الغرض الوحيد من هذا البرنامج يولد ، وعرض Truth Tables
إصدار
3.43
اسم الحزمة
at.ac.univie.phl.logik.android.truthtables
الفئة
التعلم التعليمي
الحجم
207.08KB
تاريخ الإصدار
March 16, 2025
طاولات الحقيقة للمنطق الكلاسيكي وعدد من الأنظمة غير الكلاسيكية
الغرض الوحيد من هذا البرنامج هو توليد وعرض Truth Tables .
يدعم هذا الإصدار المجاني جميع الروابط المعتادة للمنطق الكلاسيكي ، وهو النفي ، والاقتران ، والانفصال (الشامل) ، والوكالات (الآثار المادية) ، والثنائي (المعادلة المادية) ، وكذلك الثوابت 1 و 0 التي تشير إلى الحقيقة والباطل ، على التوالي. الشيء الرائع هو أنه ، إلى جانب التدوين المعياري الممل إلى حد ما للمنطق ، يمكنك استخدام الترميز البولندي المبطن للبولندية المبطنة بالدفقات اللامعة أيضًا.
ولا يتوقف هنا. إذا كنت من نوع شخص ما ، فستجد أنه يطمئن أنه ، بشكل افتراضي ، يستخدم البرنامج منطقًا كلاسيكيًا وذات القيمة. ولكن إذا كنت أكثر من نوع المغامرة ، ولا تتوقف أبدًا عن المؤسسة ، فستسعدك أن تتعلم أن Truth Tables لنظام Android تدعم عددًا من الأنظمة غير المقابلة للمنطق ، أيضًا. لا تدخل نهرًا مرتين ، ولا تقوم سلبيتان بتأكيد ، إذا جاز التعبير!
تحميل APK(207.08KB)