«first-order-logic» 태그된 질문

영어의 'implies'는 일상적인 언어 사용에서 대부분의 경우 'OR'단어가 'Exclusive OR'을 의미하는 것과 비슷한 방식으로 논리 연산자 'implies'와 동일한 것을 의미하지는 않습니다. 두 가지 예를 들어 보자. 오늘이 월요일이면 내일은 화요일입니다. 이다 사실 . 그러나 우리가 말한다면 : 태양이 녹색이면 잔디는 녹색입니다. 이것은 또한 사실로 간주됩니다. 왜? 이 뒤에 자연 영어의 …

24 terminology  logic  first-order-logic  propositional-logic 

나는 최근에 모순에 의한 증거의 타당성을 생각하고있었습니다. 나는 지난 며칠 동안 직관 논리와 Godel의 이론에 관한 것들을 읽어 내 질문에 대한 답을 줄 수 있는지 읽었습니다. 지금은 여전히 ​​궁금한 점이 있으며 (아마도 내가 읽은 새로운 자료와 관련이있을 것입니다.) ( 경고 : 당신은 논리에서 매우 혼란스러운 기초를 가진 내용을 읽고, 소금 …

19 logic  first-order-logic  propositional-logic  incompleteness 

일관성과 완전성이 건전성을 암시 하는 질문을 읽고 있었습니까? 그리고 첫 번째 진술은 다음과 같습니다. 건 전함은 일관성을 의미한다는 것을 이해합니다. 나는 건전성이 일관성보다 약한 진술이라고 생각했기 때문에 매우 당황했습니다 (즉, 일관된 시스템은 건전해야한다고 생각했지만 사실은 아닌 것 같습니다). 나는 Scott Aaronson이 일관성과 건전성을 위해 MIT의 6.045 / 18.400 과정에서 사용하고있는 …

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

나는 다음 운동을 해결하려고 노력했지만 모든 중요한 쌍 을 찾으려고 노력하면서 막혔습니다 . 다음과 같은 질문이 있습니다. 어떤 중요한 쌍이 새로운 규칙을 생성했는지 어떻게 알 수 있습니까? 중요한 쌍을 모두 찾은 것을 어떻게 알 수 있습니까? 보자. 여기서 는 이진, 는 단항, 는 상수이다. Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e …

10 logic  first-order-logic