1. 어빙코피 - 논리학입문 / 이병덕 - 논리적 추론과 증명
1회독씩했습니다 (논리학 입문은 예제 다 못풀.. 솔루션 있으신 분 공유 부탁드립니다 ㅠㅠ)
기호논리학/현대논리학 쪽 입문서 추천해주시면 감사하겠습니다.
2. → / ⇒ / ├ 이 기호들이 의미하는게 정확하게 어떤건가요?
1번은 조건문 기호 / 2번은 함축기호 정도로 알고있는데
3번 기호는 P├Q 이면 P에서 Q를 추론할 수 있다 뭐 이런거로 나오던데 정확한 의미를 모르겠습니다..
그리고 이 세가지 기호의 용법에서 vacuous truth의 해석도 첨해주시면 감사하겠습니다.
3번 기호인 ├ 은 turnstile로, 증명론적 기호입니다. 말씀하신 것과 크게 다른 게 없습니다. 나머지는 대강 맞습니다. 일단 교재는 이병덕 교수님 교재를 완독하셨으니, 개인적으로는 Derek Goldrei, <Propositional and Predicate Calculus>를 추천합니다만, 도서관에 없다면 Chiswell & Hodges의 <Mathematical Logic>을 권합니다. 그나마 싸고 적당한 분량과 솔루션을 포함한 교재입니다.
turnstile에 대한 vacuous truth의 해석을 정확히 무엇을 뜻하는지는 저도 모르겠으나, 그냥 ∅를 공집합으로 두었을 때, ∅├G일 때 G는 tautology, ∅├~G일때, G는 contradiction이긴 합니다. 다만 vacuous truth가 이것도 뜻하는지는 잘 모르겠군요.
유드비히님이 댓글달아주시다니 운이 참 좋은 것 같습니다. 추천해주신 책은 꼭찾아보겠습니다. Vacuous truth는 저도 막연히 물어본거라 지금봐도 뭘 궁금해했는지 모르겠네요.. 좀더 공부하면서 생각해봐야겠습니다. 혹시 괜찮으시다면 조건기호 함축기호 turnstile의 용법에 관해 더 여쭤봐도 되겠습니까?
본문에 나와있는 것 말고의 용법이 또 따로 있는지는 잘 모르겠네요. 함축기호를 entailment라고 하는지 아니면 똑같이 implication이라고 하는지는 기억이 가물가물하네요.
http://pakebi.com/philosophy/logic/imply.html?PHPSESSID=6fcc3f2452c2b17871f6acb92b9e64ca
에 가면 여러 함축들에 대한 설명이 나와있습니다.