集合论的公式和条件
3.1 集合论的公式
除了 = = = 和 ∈ \in ∈ 这两个基本关系，集合论中还有7种逻辑关系：
| 符号 | 含义 |
|---|---|
| ∧ \land ∧ | 与 |
| ∨ \lor ∨ | 或 |
| ¬ \lnot ¬ | 非 |
|    ⟹    \implies ⟹ | 蕴含 |
|    ⟺    \iff ⟺ | 当且仅当 |
| ∀ ( ) \forall () ∀() | 对于任何 / 每个 / 一切 ()，都有 |
| ∃ ( ) \exists () ∃() | 存在某个()，使得 |
现在规定哪些语句是集合论的公式：
- 对于任意两个集合 a , b , a, b, a,b, 有 ( a = b ) (a = b) (a=b) 和 ( a ∈ b ) (a \in b) (a∈b)是公式，被称为原子公式。
- 如果 φ , ϕ \varphi, \phi φ,ϕ 是公式，则 ( φ ∧ ϕ ) , ( φ ∨ ϕ ) , ( ¬ φ ) , ( φ    ⟹    ϕ ) (\varphi \land \phi), (\varphi \lor\phi), (\lnot \varphi), (\varphi \implies \phi) (φ∧ϕ),(φ∨ϕ),(¬φ),(φ⟹
最低0.47元/天 解锁文章
570
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
