270
2015-07-18 17:31:35
1
잘 읽었습니다.
빠르게 읽다가 중간에 살짝 헷갈린 부분이 있었습니다. 명제를 가리킬 때, 명제 변항 p0, p1, p2...과 메타 변항 phi, psi, ki... 두가지로 표현되는 것이 약간 헷갈렸습니다. 원자명제는 p0, p1, p2로 주로 표현되고 메타명제는 모든 명제를 포함하는 임의의 명제이기 때문에 phi, psi 등을 사용한다는 것은 다시 읽고 이해했습니다. 명제 논리 어휘 마지막 정리에 메타변항에 대해서 한 줄만 추가해주시면 저같은 사람들이 조금 더 빨리 이해하고 넘어갈 수 있을 것 같습니다.