선언화/조건화 증명과정에서 오류 질문입니다!!

[익명(210.98)]

P > Q 와 ~P V Q 상호 변환이 가능한걸로 알고있는데

P > Q 에서 ~P V Q 쪽은 증명이되는데

~P V Q에서 P > Q 쪽 증명할때

이 그림에서 ~P V Q인 부분이 P > Q인 부분이 아닌데 어떻게 상호 변환이 가능한건가요? ~P V Q 이다가 더 큰 명제 아닌가요?

[익명(211.187)]

이런건 벤 다이어그램 보다는 진리표로 나타내야지 이해하기 쉬움. 그리고 벤 다이어그램 P랑 Q가 절반만 겹쳐져있는 식으로 그려야됨. p=>q랑 ~pVq가 모든 모형에서 같은 진리값을 지니기 때문에 논리적 동치라고 부름. 다이어그램에서 p=>q를 P⊂Q 나타낼 때 보통 Q 안에 P가 들어있는 그림으로 나타내긴 하지만 진리값으로 따졌을 때는 둘이 같은 영역을 나타냄. 벤 다이어그램은 이해를 돕기위한 그림이지 증명은 아니야

[익명(182.210)]

p를 가정하면 선언제거돼서 q니까 p->q지