진리함수적 조건문 p->q 의 진리표에 대해서 무슨의미인지 여기저기에서 질문하러 다니고있습니다..


자세한 내용은 첨부한 메모장파일에 상세하게 쓰여있어요.


이 p->q의 배경/맥락/기능등에 대해서 상세하게 서술된 책을 찾고있습니다.


그런 책을 찾는데 도와주신다면 반드시 사례해드릴게요.


교수들한테도 물어보고다녔는데... 하 교수들한테 메일 10개 보내면 제대로오는건 1개도 안됩니다. 그냥 안와요.


오히려 강사님들한테 질문하면 친절하게 답변해주시더군요.. 그런데 도움이 되진않았습니다.



ps. 추가


고전논리책을 하나 추천받아서 읽었는데 역시 p->q의 진리표 정의방식이 납득이 안갑니다.


그래서 독자적으로 논증의 타당성과 연관해서 이해해보려고했는데 논리 허점이나 수정할부분이있으면 지적해주시겠어요?

제 생각은 아래와같습니다.



1. p가 거짓일 경우


p가 거짓일 경우에는 폭발의 원리(principle of explosion)가 적용된다.


p

p∨q

~p

-

q


이 논증은 타당하며 따라서 p가 거짓일 경우 임의의 명제 q에 대해, p->q의 진리값은 참이다.



2. p가 참이고, q가 거짓일 경우


이 경우에는 타당한논증의 정의가 적용된다.


타당한 논증에서는 참인 전제로부터 거짓인 결론이 유도될수없다. 따라서 이 경우의 p->q 진리값은 거짓이다.



3. p가 참이고 q가 참일 경우


p

p∧q

-

q


이는 타당한 논증이며 따라서 p->q의 진리값은 참이다.



근데 2번을 제외하곤 자신이 없네요...