대우명제가 이해가 안돼요

[zi존수학왕(175.223)]

p 이면 q이다의 대우 q가아니면 p가 아니다를 집합으로 설명하잖아요 (Q여집합이 P여집합에포함)
그러면 집합으로나타내기 애매한
치킨을 먹으면 설사를 한다 -> 설사를 안하면 치킨을 안먹은거다 이런건 어떻게 집합으로 증명하나요?

- dc official App

[Lpile(125.134)]

치킨을 먹은 사람은 설사를 하는 사람에 포함된다. 설사를 하지 않는 사람은 치킨을 먹지 않는 사람에 포함된다. 가 되겠지.

[익명(175.223)]

사람 이라는걸 덧붙이는식으로해서 억지로 원소형태로 만들어야되나요? - dc App

[익명(58.127)]

치킨을 먹는다를 P, 설사를 한다를 Q로 놓고 똑같이 집합으로 그리고 여집합써 - dc App

[익명(175.223)]

그러면 집합의 원소를 뭐로 지정해요 - dc App

[익명(58.127)]

원소랑 뭔상관이야 - dc App

[익명(175.223)]

집합이니까 원소있어야대는거아닌가여 - dc App

[익명(58.127)]

원소를 정확히 몰라도 대우명제는 이해가 될텐데 - dc App

[Lpile(125.134)]

아니 p의 진리집합과 q의 진리집합의 관계를 p,q 에 대한 관계로 설명하는거라고. 치킨을 먹는 것들의 모임P 설사한것들의 모임Q의 상관관계를 p->q 라고 하면 명제논리로는 p->q = ~p or q = ~(~q) or ~p = ~q->~p 이렇게 증명하는 거고.