तो, जॉन चेज एक प्रिडिकेट बन जाता है और मैं कहूंगा कि जॉन चेजीज x और x पहले ही बैट के रूप में परिभाषित कर चुके हैं और इसी तरह मैं परिभाषित करूंगा, मैं अपनी नेचुरल लैंग्वेज एक्सप्रेशन को इस लॉजिकल रूप में कैसे बदल दूँगा और फिर मेरे पास नियम भी होगा कि इस लॉजिकल एक्सप्रेशन से मैं कैसे अनुमान लगा सकता हूं?
x ஏற்கனவே ஒரு வவ்வால் ஆக வரையறுக்கப்பட்டுள்ளது. எனது இயல்பான மொழி வெளிப்பாட்டை இந்த தர்க்க வடிவத்திற்கு எவ்வாறு மாற்றுவது? இந்த தர்க்கரீதியான வெளிப்பாடுகளிலிருந்து நான் எவ்வாறு ஊகிப்பது என்பதற்கான விதிகளும் என்னிடம் இருக்கும்.