[일반] 헷갈리는 게 있는데 대답 좀 해주셈

[익명(222.101)]

논증 다루면서 이런 예가 나왔는데

C ⊂ A

C ⊄ B

∴ A ≢ B 

이 논증이 틀렸다면서 결론은 A ≢ B일 수도 있고, A ≡ B일 수도 있다고 하는데 그게 가능한 일인가?