수학 서적은 아니고 컴퓨터과학 책인데 명제 논리를 조금 다루고 있음
명제 논리의 공리계 중 하나라는데 (실은 공리는 없고 도출 규칙으로 명제들이 도출되는 방식인듯?)
수학, 논리학을 잘 몰라서 먼 소린지 모르겠음...
그래서 질문
1. 저 도출 규칙이 실제로 수학(명제 논리학)에서 쓰이는 규칙들임? 저자가 열심히 썼겠지만 아무래도 프로그래머가 쓴 책이지 수학자가 쓴 책은 아닌지라 의구심이 듦 ㅎㅎ;;,
2. 저 규칙들이 직관적으로 이해가 안되는데 찾아볼 자료가 있는지 궁금함.. 예시같은게 있으면 좋겠는데 어떤 키워드로 찾아봐야할지 모르겠음요
읽어주서셔 감사합니다 횐님덜
좋은 하루 보내십쇼
아 저 집합 포함 관계 나타내는 기호는 imply(=>)임 나는 저렇게 쓰는 거 처음 봐서 혹시나 해서 댓글 남김...
Rules of inference 참고하세요. subset기호를 material conditional로 써서 헷갈리네;
https://en.wikipedia.org/wiki/Propositional_calculus#Example_2._Natural_deduction_system
저거를 활용해서 증명하는 방법을 natural deduction이라고 함.
와 감사합니다 ㄷㄷ 읽어보겠습니다
저런 노태이션은 철학적안 맥락에서 구분이 필요해서 쓰는거라 뭐... - dc App