集合從屬命題

已知：x是集合A的元素

故，~(x是集合A的元素) 有以下推論：
1. x不是集合A的元素
2. x是集合A'的元素

這是因為，
1. ~(x是集合A的元素)，即是 "不是(x是集合A的元素)" ，因此(x不是集合A的元素)
2. 已知(x不是集合A的元素)，那麼 (x是集合A'的元素)，因為A+A'是所有(ALL的集合，即是Entire Set)

至於(非x元素是集合A的元素)，可否由~(x是集合A的元素) / (x不是集合A的元素) 推論出來呢？
是不可以的。
舉例，y是非x元素，但我們不知y是不是在集合A中的。

我認為是(a)和(c)。