Mathematical Logics with Truth

गणितीय तर्क एप्लिकेशन में निम्नलिखित विषय शामिल हैं:

> नकारात्मकता - किसी कथन को सत्य, असत्य या खुले के रूप में पहचानना। प्रतीकात्मक और वाक्य रूप में एक कथन की उपेक्षा को सूचीबद्ध करना। किसी दिए गए कथन और उसकी उपेक्षा के लिए सत्य मूल्यों को सूचीबद्ध करना।

> Conjunction- तार्किक संबंधक, यौगिक कथन और संयोजन को परिभाषित करता है। प्रतीकात्मक और वाक्य रूप में एक संयोजन को सूचीबद्ध करने के लिए। एक संयोजन के लिए एक सत्य तालिका का निर्माण करने के लिए।

> Disjunction -To dejunction को परिभाषित करना। प्रतीकात्मक और वाक्य रूप में एक अव्यवस्था को सूचीबद्ध करने के लिए। अव्यवस्था के लिए एक सत्य तालिका का निर्माण करना।

> सशर्त कथन - एक सशर्त की परिकल्पना और निष्कर्ष की पहचान करते हैं। एक सशर्त को प्रतीकात्मक और वाक्य रूप में सूचीबद्ध करना। एक सशर्त के सत्य मूल्य को सूचीबद्ध करने के लिए, प्रत्येक भाग का मूल्य दिया जाता है।

> द्विसंयोजक कथन- प्रतीकात्मक और वाक्य रूप में एक द्विसंयोजक सूची के लिए। परिकल्पना और निष्कर्ष की पहचान करने के लिए। यह निर्धारित करने के लिए एक वाक्य का मूल्यांकन करने के लिए कि क्या यह द्विसंयोजक है या नहीं।

टॉटोलॉजी एक यौगिक कथन के अलग-अलग हिस्सों की पहचान करने के लिए। एक यौगिक कथन के लिए एक सत्य तालिका का निर्माण करना यह निर्धारित करने के लिए कि यह एक तनातनी है या नहीं।

> विरोधाभास

> आकस्मिकता

> 3 चर के साथ सत्य तालिका

> वेन आरेख