क्यों (हर? स्ट्रिंग? []) सच साबित करना चाहिए?

Question

every? के लिए स्रोत कोड को देखते हुए स्पष्ट बनाता है क्यों

(every? string? []) => true 

इसका कारण यह है every? रिकर्सिवली लागू किया और प्रत्यावर्तन समाप्त करने के लिए (nil? (seq coll)) का उपयोग करता है। लेकिन, मेरा सवाल यह है कि, इस व्यवहार से क्या अर्थ होता है? बस उस पर फिसल गया।

मैं अपने मुद्दे

(and (seq x) (every? string? x)) 

Answer 1

क्योंकि यह फोरल-क्वांटिफायर के समान कार्य करता है। यही है, इसे शुरू में सच माना जाता है और भविष्यवाणी का प्रत्येक आवेदन इसे झूठा साबित करने का प्रयास है। अस्तित्व के लिए क्लोजर में any? के बजाय के बजाय some कहा जाता है) विपरीत तरीके से काम करता है - यह गलत लगता है और भविष्यवाणी के प्रत्येक आवेदन को यह साबित करने का प्रयास है।

दूसरे शब्दों में, यह हमेशा सच है कि किसी के लिए कुछ सच नहीं है, और यह हमेशा झूठा है कि किसी के लिए कुछ सच नहीं है।

Answer 2

या बेहतर पूछना क्यों (every? string? []) उपज false का उपयोग कर हल कर लिया है? दोनों भिन्नताओं में कुछ आवश्यकताओं में गलत जवाब होता है। लेकिन स्पष्ट रूप से खाली अनुक्रम पर त्रुटि प्राप्त करने से बेहतर है।

Answer 3

फ़ंक्शन every?universal quantification लागू करता है।

(every? string? []) => false से इसे का पालन होता है कि [] एक वस्तु x ऐसी है कि (string? x) => false शामिल (यह सार्वभौमिक परिमाणक के negation कैसे काम करता है)। इससे विरोधाभास होता है, इसलिए (every? string? []) को true वापस करना होगा।

Answer 4

यह गणित में परिभाषित किया गया है कि इसके लिए एक अच्छा कारण है। every? को किसी अन्य तरीके से परिभाषित किया गया तो यह एक स्थिरता आपदा होगी।

वर्तमान परिभाषा के साथ concatenation का परिणाम every? foo को संतुष्ट करता है यदि केवल और यदि सभी समेकित संग्रह every? foo को संतुष्ट करते हैं। खाली सूची पर every? वापसी false बनाना इस सुविधाजनक तुल्यता और दूसरों के एक मेजबान टूट जाएगा (जैसे एक तत्व को हटाने कभी कभी true से every? स्विचिंग false करने के लिए नेतृत्व करेंगे।)

Answer 5

मेरा जवाब vacuous truth है।
विकी यह अच्छी तरह से शामिल किया गया है तो मैं केवल वर्तमान पहले पैराग्राफ बोली होगी:

गणित और तर्क में, एक हलका सच्चाई एक बयान है कि कि खाली सेट के सभी सदस्यों को एक निश्चित संपत्ति है इस बात पर ज़ोर है। उदाहरण के लिए, "कमरे में सभी सेल फोन बंद कर दिए गए हैं" कथन " कमरे में कोई सेल फ़ोन होने पर भी सत्य होगा। इस मामले में, कथन "कमरे में सभी सेल फोन चालू हैं" भी स्पष्ट रूप से सत्य होंगे, जैसा कि दोनों के संयोजन के रूप में होगा: "कक्ष में सभी सेल फ़ोन चालू और बंद कर दिए गए हैं"।

Answer 6

यह "और" और "या" संचालन के लिए पहचान मानों पर आता है। किसी भी बुलियन बी के लिए, यह मामला है कि बी के समान मूल्य B & T है। इस प्रकार, किसी भी मूल्य का "और" सत्य होना चाहिए। इसी प्रकार, यह भी सच है कि B | F के समान मूल्य है बी, इसलिए कोई मान नहीं है या "" कोई मान गलत नहीं है।

इसी तरह से, किसी भी शब्द का उत्पाद 1 नहीं है और कोई शब्द नहीं है 0, जो गुणा और अतिरिक्त ऑपरेटरों के लिए पहचान मान हैं।