논리 고수님들 ..... 헬프...

[익명(39.7)]

"P이면 Q이다" 명제가 참이라 하면

P ㅡ> Q

 

대우

~Q ㅡ> ~P

 

가정이 거짓이면 결론의 진리값에 상관없이 해당 조건문은 참이다.

Q ㅡ> P 

 

?? P와 Q과 동치관계 ??

 

확실하게 알려주실 논리고수님들....

[익명(223.62)]

머가 궁금함?

[ㅁㄴㅇㄹ(122.38)]

조건문이 참이라는것이 후건이 참이라는것을 보장해주진 않습니다 -Q->-P에서 Q->P가 도출되는것이 아니라 Q->(-Q->-P)가 도출되야죠