طاولات الحقيقة للمنطق الكلاسيكي وعدد من الأنظمة غير الكلاسيكية
الغرض الوحيد من هذا البرنامج هو توليد وعرض Truth Tables .
يدعم هذا الإصدار المجاني جميع الروابط المعتادة للمنطق الكلاسيكي ، وهو النفي ، والاقتران ، والانفصال (الشامل) ، والوكالات (الآثار المادية) ، والثنائي (المعادلة المادية) ، وكذلك الثوابت 1 و 0 التي تشير إلى الحقيقة والباطل ، على التوالي. الشيء الرائع هو أنه ، إلى جانب التدوين المعياري الممل إلى حد ما للمنطق ، يمكنك استخدام الترميز البولندي المبطن للبولندية المبطنة بالدفقات اللامعة أيضًا.
ولا يتوقف هنا. إذا كنت من نوع شخص ما ، فستجد أنه يطمئن أنه ، بشكل افتراضي ، يستخدم البرنامج منطقًا كلاسيكيًا وذات القيمة. ولكن إذا كنت أكثر من نوع المغامرة ، ولا تتوقف أبدًا عن المؤسسة ، فستسعدك أن تتعلم أن Truth Tables لنظام Android تدعم عددًا من الأنظمة غير المقابلة للمنطق ، أيضًا. لا تدخل نهرًا مرتين ، ولا تقوم سلبيتان بتأكيد ، إذا جاز التعبير!
تحميل