एक माफी आवश्यक शर्तें के बारे में एक और सवाल पूछने के कारण हो सकती है, लेकिन मैं शुरुआती बिंदुओं के बारे में उलझन में था। मैं "मोडल लॉजिक", "टेम्पोरल लॉजिक", "फ़र्स्ट-लॉजिक लॉजिक", "सेकंड ऑर्डर लॉजिक" और "हायर ऑर्डर लॉजिक" जैसे कई शब्दों के साथ आया हूँ।
इस संदर्भ में वास्तव में "लॉजिक" का क्या अर्थ है? हम शब्द "तर्क" को कठोरता से कैसे परिभाषित करते हैं?
कुछ पुस्तकों के शुरुआती पन्नों से गुजरने के बाद, मैं मोटे तौर पर यह निष्कर्ष निकाल सकता हूं कि "तर्क यह तय करने का एक तरीका है कि प्रोग्रामिंग भाषाओं को डिजाइन करने में क्या महत्वपूर्ण है और यह महत्वपूर्ण है क्योंकि यह स्वचालित रूप से कार्यक्रमों को समझने और कार्यक्रमों को डिजाइन करने की सुविधा प्रदान करता है। दूसरे बिंदु के बारे में थोड़ा विस्तार से समझने के लिए।
अब इन लॉजिक्स पर आ रहे हैं।
क्या ये सभी लॉजिक्स, "टेम्पोरल लॉजिक", "मोडल लॉजिक", "फर्स्ट ऑर्डर लॉजिक", "हायर ऑर्डर लॉजिक" एक दूसरे से स्वतंत्र हैं या हमें इस समूह में कुछ अन्य लोगों को समझने के लिए इनमें से कुछ तर्क समझने की जरूरत है? संक्षेप में, उनके लिए आवश्यक शर्तें क्या होंगी? (यह बहुत अच्छा होगा अगर मुझे कुछ सामग्रियों पर भी सुझाव मिल सकते हैं।)
पुनश्च: आपकी दया के लिए एक टन धन्यवाद