Natural Deduction 1.5
लाइसेंस: मुफ्त फ़ाइल आकार: 1.15 MB
उपयोगकर्ताओं की रेटिंग: 0.0/5 - 0 वोट
कृपया प्रतीक्षा करो।।। दुर्भावनापूर्ण सामग्री के लिए आपका डाउनलोड लिंक सत्यापित किया जा रहा है.
आप 5 सेकंड में डाउनलोड कर सकेंगे।
आप 5 सेकंड में डाउनलोड कर सकेंगे।
करीबन Natural Deduction
इस ऐप के साथ खेलें और प्राकृतिक कटौती शैली में कुछ सबूत बनाएं। किसी फॉर्मूले पर क्लिक करने से यह संभावित नियमों के साथ अपने आप फैलता है। मान्यताएं नीले रंग में मुद्रित होती हैं। उनमें से चयनित एक नया उपवृक्ष उत्पन्न करता है। दो पेड़ों को संलग्न करने के लिए पहले एक की जड़ को दूसरे के पत्ते पर खींचकर किया जाता है। यदि केवल एक ही संभावना है, तो यह लगाव अपने आप किया जाता है। इसका प्रमाण तब किया जाता है जब पेड़ लाल आयत से घिरा होता है।
आनंद लो! तर्क मजेदार है