[일반] p->q가 not p or q라는게 이해가 안됨

[익명(211.228)]

p->q이면 P가Q의 부분집합이란 소리고

not p와 q를 합치면 전체집합이 되는데

왜 전체집합이 되야되는거임??

- dc official App

[익명(1.46)]

정의임

[익명(153.246)]

진리표 그려봐 둘이 똑같이 나옴

[익명(211.228)]

진리표 알아내는것도 좀 이상한거같음 - dc App

[AKIRAx(chrislee93)]

두개가 같으니까 전체집합이 되겠지

[익명(211.187)]

not P 와 P를 합치면 전체집합이지?

[익명(211.187)]

근데 모든 P는 Q야. 그래서 not P와 Q를 합치는 건, (not P)와 (P인 Q)와 (P가 아닌 Q)를 합친 거와 같음

[익명(211.187)]

(P가 아닌 Q)는 (not P)에 포함되고 (P인 Q)는 (P)이기에 전체집합임

[ultraproduct(ultraproduct)]

정의상 당연함.

[익명(222.100)]

대우명제 생각해보면, q가 아니면 p가 아니므로 q가 아닌 것은 p가 아닌 것의 부분이고, 따라서 q가 아닌 것과 q의 합집합임

[여친구함(psychonerd199)]

그 상황을 생각해보면 둘이 동치임을 알수있고 진리표 상으로도 그렇고

[익명(221.163)]

그냥 진리값이 같아서 그런 겁니다. 가정이 거짓이면 참이 나오게 하셔야 해요.

[익명(182.31)]

둘 다 같은 결과를 가리키니까. 구분할 필요가 없어서 그런거임. 천원 50장 하고 오만원 1장이 있다고 해보자. 부피의 차이, 번거로움 분실우려 등등 차이가 있을 수도 있지만 만약 내가 사고 싶은 물건이 딱 오만원 이라면? 둘의 구분이 의미 없겠지? P->Q, ㄱPVQ 역시 구분할 수 없어서 같다고 하는 거임