मैं पहले क्रम तर्क में भविष्यवाणी और कार्य के बीच अंतर के बारे में हाल ही में उलझन में हूं।प्रथम क्रम तर्क में भविष्य बनाम कार्य
मेरे समझ अब तक है,
विधेय एक तुलना या जैसे दो वस्तुओं के बीच एक रिश्ता दिखा दिखाने के लिए है,
President(Obama, America)
कार्य क्या एक विशेष वस्तु ऐसी,
के रूप में निर्दिष्ट करने के लिए कर रहे हैंHuman(Obama)
अब मैं इन दो शर्तों को अलग करने के लिए सही रास्ते पर जा रहा हूं या मैं पूरी तरह से गलत हूं और एक संक्षिप्त स्पष्टीकरण की आवश्यकता है, मैं राय करना चाहता हूं मेरे ज्ञान को स्पष्ट करने के लिए ओम विशेषज्ञ (या मेरी समझ को मंजूरी दे दीजिए)। अग्रिम धन्यवाद
क्रियो
ध्यान दें कि predicates गणनीय नहीं हो सकता है, उदाहरण के लिए, हॉल्टिंग समस्या। –
या हम कह सकते हैं: एक फ़ंक्शन एक अनुमान है कि ** ऑब्जेक्ट देता है **। (स्रोत: एआईएमए) – KouchakYazdi