p이면 q이다

<프로그래머, 수학으로 생각하라>라는 책을 읽다가 갑자기 나온 명제, "p이면 q이다"의 진리표를 보며 이해가 잘 되지 않아서 구글 검색을 해봤다.

그나마 이해가 되도록 설명된 글이 이 질문의 첫번째 답변.

http://k.daum.net/qna/view.html?qid=0uqPT

그런데 사실 이 책의 저자가 하는 말을 보면, 논리라는 것은 하나의 약속이기 때문에 말로 이해하려 하기보다는 규칙으로 받아들이라고 한다. 나도 그래야 할까...