[일반] 어떤 명제의 대우가 원래 명제와 동치인 이유가 뭐예요?

[익명(211.36)]

벤 다이어그램으로 생각해서 이해했는데 원래 어떤 방법으로 설명을 하나요?

[ExHentai.org(nsa15464)]

일계논리 - dc App

[기괴공학도(mecheng98)]

명제논리로 설명할 수 있지 않습니까?

[ExHentai.org(nsa15464)]

일계나 명제나..아무렇게나 하면 어때 ㅋㅋ 양화사 차이인데 뭐

[기괴공학도(mecheng98)]

그렇긴 하죠 ㅋㅋ

[기괴공학도(mecheng98)]

p → q가 참인 상황에서 ¬q가 참이라면 p가 참일 수 없죠. 따라서 p → q가 성립하면 ¬q → ¬p가 성립합니다.

[기괴공학도(mecheng98)]

¬q → ¬p가 성립할 때 p → q가 성립하는 것은 연습문제로 남기겠습니다.

[기괴공학도(mecheng98)]

힌트: 명제 p → q에서 p와 q를 적절히 치환하면 ¬q → ¬p가 되네요.