p -> -q 는 항상참인가요?

[익명(39.117)]

혹은 항상 거짓인가요? 이유도좀..

[ㅇㅇㅇ(58.140)]

P와 Q가 참일 때 : F P가 참이고 Q가 거짓일 때 : T P가 거짓이고 Q가 참일 때 : T P가 거짓이고 Q가 거짓일 때 : T

[익명(39.117)]

감사합니다. 혹시 다른질문이 있는데 대당관계표에서 두 명제의 양립가능성은 논리적 반대와 논리적 소반대 말하는걸까요?

[ㅇㅇㅇ(58.140)]

두 명제가 양립 가능하다는 것은 두 명제가 동시에 참일 수 있다는 것인데, 대당사각형 잘 기억이 안나지만 반대관계는 동시에 참일 수 없으나 동시에 거짓일 수는 있는 것 / 소반대는 동시에 거짓일 수는 없으나 동시에 참일 수는 있는 것 아님? 그렇게 따져보면, 반대관계라면 양립 불가능하겠즤?