मैं पहले क्रम तर्क में भविष्यवाणी और कार्य के बीच अंतर के बारे में हाल ही में उलझन में हूं। मेरे समझ अब तक है, विधेय एक तुलना या जैसे दो वस्तुओं के बीच एक रिश्ता दिखा दिखाने के लिए है, President(Obama
में मैं हास्केल में प्रोपोज़िशनल तर्क के प्रतिनिधित्व के लिए निम्न डेटा संरचना का उपयोग किया गया है: data Prop
= Pred String
| Not Prop
| And Prop Prop
| Or Prop Prop
| Impl P
मैंने एक ऐसे वर्ग के लिए साइन अप किया जो मेरे पास नहीं होना चाहिए था। तो अब मैं थोड़ा खराब हूं क्योंकि जब मेरे प्रोफेसर पहले ऑर्डर तर्क की व्याख्या कर रहे थे तो मुझे किसी भी नोटेशन का उपयोग नहीं हुआ।