Mathematical Logics with Truth

يتضمن تطبيق Maticatical Logic المواضيع التالية:

> نفي - لتحديد بيان كحقيقة ، كاذبة أو مفتوحة. لسرد نفي بيان في رمزي وفي شكل جملة. لسرد قيم الحقيقة لبيان معين ونفيها.

> Conjunction - لتعريف الرابط المنطقي ، البيان المركب ، والتزامن. لإدراج اقتران في شكل رمزي وفي شكل. لبناء جدول الحقيقة للاقتران.

> فصل - لتحديد الاختزال. لسرد انفصال في رمزي وفي شكل جملة. لبناء جدول الحقيقة لانفصال.

> البيانات الشرطية -لتعرف على فرضية وإبرام شرط مشروط. لسرد شرطي في شكل رمزي وفي شكل. لسرد قيمة الحقيقة لأي مشروط ، مع الأخذ في الاعتبار قيمة كل جزء.

> بيانات Biconditional - لسرد ثنائية في شكل رمزي وفي شكل. لتحديد الفرضية والاستنتاج. لتقييم جملة لتحديد ما إذا كانت غير مشروطة أم لا.

Tautologies لتحديد الأجزاء الفردية من بيان مركب. لإنشاء جدول الحقيقة لبيان مركب لتحديد ما إذا كان من الحشو أم لا.

التناقض

> طوارئ

> جدول الحقيقة مع 3 متغيرات

> فين الرسم