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

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

24 terminology  logic  first-order-logic  propositional-logic 

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

19 logic  first-order-logic  propositional-logic  incompleteness 

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

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

मैंने निम्नलिखित अभ्यास को हल करने की कोशिश की है, लेकिन सभी महत्वपूर्ण जोड़े को खोजने की कोशिश करते हुए मैं फंस गया । मेरे पास निम्नलिखित प्रश्न हैं: मुझे कैसे पता चलेगा कि किस महत्वपूर्ण जोड़ी ने एक नया नियम बनाया है? मुझे कैसे पता चलेगा कि मुझे सभी …

10 logic  first-order-logic