일본이라 한국 책 못구해서 뇌피셜 좀 싸지르던 와중에
p→q 질문하신 분이 이거 읽어보셨다는 얘기듣고 한국갔다온 친구한테 부탁해서 책을 입수하게 됐는데(딱 코로나 심해지기 직전에 갔다옴)
자연연역을 제대로 다룬다는 것만으로도 고평가하는 중입니다

저도 증명이론 베이스의 기호논리학 교과서..라기보단 렉처노트 비슷한거 만들고 있는데 참고할 부분이 많을 것 같습니다.


뭐 아무래도 좋은 불만도 몇 개 있긴 한데
수리논리 책이 아니라서 그런지 술어표시할때 Fx Gxy 이렇게 나타내는 것도 있고(덤으로 and가 &인 것도)

왜 뜬금없이 레몬 표기가 나왔는지 설명이 부족한 것도 있는 거 같아요. 그냥 시퀀트를 한줄로 써내려간 증명을 기본으로 하고, 전제를 하나하나 다 적으면 번거로우니까 번호로 표기했다는 설명 정도는 있으면 좋았겠네요.

암튼 여러분 코로나 조심하세요 ㅜ