propositional-logic पर टैग किए गए जवाब

मुझे ऐसा लगता है कि अंग्रेजी भाषा में 'इंप्लीज़' का मतलब वही नहीं है जो लॉजिकल ऑपरेटर 'इंप्लीज़' का होता है, उसी तरह से ज्यादातर मामलों में 'ओआर' शब्द का मतलब हमारी रोजमर्रा की भाषा में 'एक्सक्लूसिव ओआर' से है। आइए दो उदाहरण लेते हैं: अगर आज सोमवार है तो …

24 terminology  logic  first-order-logic  propositional-logic 

मैं यह जानना चाहूंगा कि क्या यह साबित करने का कोई नियम है। उदाहरण के लिए, यदि मैं वितरण कानून का उपयोग करता हूं तो मुझे केवल मिलेगा ।(A∨A)∧(A∨¬B)(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic  propositional-logic 

मैं हाल ही में विरोधाभास द्वारा सबूत की वैधता के बारे में सोच रहा था। मैंने पिछले कुछ दिनों से अंतर्ज्ञानवादी तर्क और गोडेल के प्रमेयों के बारे में पढ़ा है, यह देखने के लिए कि क्या वे मुझे मेरे प्रश्नों के उत्तर प्रदान करेंगे। अभी मेरे पास अभी भी …

19 logic  first-order-logic  propositional-logic  incompleteness 

मैं प्रश्न पढ़ रहा था संगति और पूर्णता स्पष्टता लग रहा है? और इसमें पहला कथन कहता है: मैं समझता हूं कि ध्वनि से तात्पर्य है संगति। जिसके बारे में मैं काफी हैरान था क्योंकि मुझे लगता था कि ध्वनि स्थिरता की तुलना में एक कमजोर बयान था (यानी मुझे …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness