Truth Tables

الحقيقة الجداول للمنطق الكلاسيكي وبالنسبة لعدد من النظم غير التقليدية

الغرض الوحيد من هذا البرنامج هو توليد، وعرض، وجداول الحقيقة.

هذه نسخة مجانية تدعم جميع أدوات الوصل المعتاد من المنطق الكلاسيكي، وهذا هو النفي، بالتزامن، (ضمنا) انفصال، conditonal (ضمنا المادية)، وbiconditional (التكافؤ المادي)، وكذلك الثوابت 1 و 0 تدل على الحق والباطل، على التوالي. والشيء هو أن تبرد، بالإضافة إلى تدوين القياسية مملة نوعا من المنطق، يمكنك استخدام تيار مبطنة، تدوين البولندية لامعة وكاسفيز، أيضا.

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