p->q 라는 명제가 있으면

p가 q를 함축한다고 이해하고 있는데

그런데 p가 거짓이면 p->q는 참이되는데

그럼 p가 거짓이고 q가 참이면

거짓이 참을 함축하는건가요

- dc official App