Logic: Deduction

एक तर्क की वैधता साबित करने के लिए कटौती का उपयोग करना कई बोर्ड गेमों में से एक को खेलने के विपरीत नहीं है। चेकर्स में, उदाहरण के लिए, एक बोर्ड और टोकन का एक सेट है। आप एक विशिष्ट लक्ष्य को प्राप्त करने के लिए नियमों के एक सेट के अनुसार बोर्ड पर टोकन को स्थानांतरित करते हैं। एक कटौती के सबूत में परिसर का एक सेट और एक निष्कर्ष है। लक्ष्य निष्कर्ष निकालना नियमों के एक सेट के साथ परिसर में हेरफेर करना है। इस ऐप का उपयोग करने के लिए किसी और चीज की आवश्यकता नहीं है। इसमें उपयोगकर्ता के लिए पर्याप्त दस्तावेज हैं।

एप्लिकेशन का आनंद लें।