a14a1d68f5dc3f8650bbd58b3682776443c6




나는 밥을 먹는다(p) : 참

나는 배가 부르다(q) : 참


p->q(내가 밥을 먹으면 나는 배가 부르다) : ????

q->p(내가 배가 부르면 나는 밥을 먹는다) : ????


둘다 참인가요??

p->q는 밥을 먹으면 배가부른게 정상이니까 참인거같은데


q->p는 배가부르기때문에 밥을 먹는게 참일 이유는 없는거같은데



아니면 


나는 밥을 먹었었다(p)

나는 배가 부르다(q)


p->q(내가 밥을 먹었기에 나는 배가 부르다)

q->p(내가 배가 부르면 밥을 먹었었던 것이다)


이렇게 해석해야하나요??


아니면


지구는 행성이다(p)

태양은 빛난다(q)


p->q(지구가 행성이면 태양은 빛난다) : 참?

q->p(태양이 빛나면 지구는 행성이다) : 참?


지구가 행성이라고 해서 그게 태양이 빛나는 이유가 되지는 못하는거 아닌가요??

또 태양이 빛난다고 해서 지구가 행성일 이유는 없지않나요??



지금 제가 궁금한게 뭔지도 헷갈리네요