कोई तर्क नहीं (और) टी

Question

दोनों सीएल और योजना (and) को t (या #t) वापस करने के लिए परिभाषित करने के लिए परिभाषित करता है।

मैं इसके लिए तर्क को समझने की कोशिश कर रहा हूं। मेरी भरोसेमंद धारणा यह है कि एक खाली सेट झूठा है, और शून्य तर्कों में गुज़रने से ऐसा कुछ भी नहीं हो रहा है जो सच हो सकता है।

संपादित करें: क्लोजर एक ही सम्मेलन का पालन करता है। मुझे कुछ बुनियादी लिस्प धारणा याद आ रही है।

Answer 1

खाली उत्पाद 1 है। कारण यह है कि 0 * के लिए एक तटस्थ तत्व है।

आप कुछ नहीं के उत्पाद द्वारा 2 और 3 के उत्पाद और फिर गुणा है, तो आप 2 * 3 * 1 = 6. हम

(product (product 2 3) (product)) 
= (product 6 1) 
= 6 

and साथ लिख सकते हैं एक ही गणना मिल जाएगा:

(and (and #t #t) (and)) 
= (and #t ?) 
= #t 

हम खाली (and) एक मूल्य ? कि परिणाम को प्रभावित नहीं करता देना चाहते हैं। उत्तर #t है क्योंकि #t एक तटस्थ तत्व है।

(and x #t) = x for all boolean x 

Answer 2

यहाँ एक अधिक सहज जवाब है: एक "और" एक चेकलिस्ट की तरह है: आप "हो गया" (जो है, सच) जब सूची पर चीजों के सभी सही हैं कर रहे हैं। मान लीजिए कि किसी ने आपको खाली चेकलिस्ट दी है; उस स्थिति में, आपके पास जांच करने के लिए कुछ भी नहीं है, और आप तीन बार कर रहे हैं।

Answer 3

यहां जितना संभव हो सके इसे सरल करने का मेरा प्रयास है: and अभिव्यक्ति झूठी है और केवल कम से कम एक तर्क गलत है, अन्यथा यह सच है। इसलिए यदि कोई तर्क नहीं है तो यह मामूली सच है।