[일반] 집합 문제 질문

[익명(223.39)]

저 명제 부정이랑 대우 좀 알려주세요(한글도 괜찮음)

그리고 참인지 거짓인지 알려주세요

[익명(115.21)]

p->q 랑 (not p) or q 가 동치인거 활용하셈

[익명(223.39)]

그럼 not(p->q) 는 p and (not q) 로 하면 됨?

[익명(115.21)]

ㅇㅇ 그게 귀류법임

[pseudo(kimbabsa)]

당연히 거짓임

[익명(223.39)]

좀 헷갈리는데 결론 부정할때 for some을 for all로 바꿔야됨?