[일반] 논리기호로 나타내는 귀류법 이해가...

[vv(218.235)]

잘 되지 않습니다.

전제 p에 대한 결론 q를

p -> q 로 나타내고 이는 다음과 동치이다.

~p v q 

(드모르간 법칙)

~(p^~q)

여기서 p -> q 라는 조건명제가 ~p v q와 동치라는걸 어떻게 파악하고 이해하면 좋을까요

[vv(218.235)]

p -> q 라는 조건 명제가 참이라면, (벤다이어 그램을 떠올리면,) p는 q에 포함 되어있고 ~p와 q의 합집합은 전체집합이 되므로 이를 참으로 보면 될까요?

[vv(218.235)]

다시 거꾸로 ~p와 q의 합집합이 전체집합이 되려면 q가 p를 포함하고 있어야하고 이는 p⊆q ≡ p -> q 이렇게?

[vv(218.235)]

오 맞는거 같다

[익명(223.39)]

물은 100도 이상에서 끓는다 = 물은 100도 미만이거나 끓는다