A와 B의 여집합의 교집합이 공집합일 때

[익명(211.36)]

(Ex)(Ax&~Bx)는 무조건 거짓이고

(Ex)(Ax->~Bx)는 참일 수도 있는 거 맞냐?

[익명(220.79)]

~(A&~B) = ~AvB = A->B니까 그렇지 않을까 후자는 A가 공집합이면 될거같은데 - dc App

[익명(118.235)]

A의 여집합과 B의 여집합이 아니라 A, 그리고 B의 여집합을 말하는 거지? ㅇㅇ 맞아