数学基础 · 零基础补课

集合、逻辑符号与证明方法

集合与 {x | …} 记号、交集、n 维空间，任意与存在，推出与当且仅当，反证法与反例。

这一页正在编写中。

set

（编写中）

set-builder

（编写中）

subset

（编写中）

intersection

（编写中）

real-space

（编写中）

quantifiers

（编写中）

implication

（编写中）

iff

（编写中）

proof-methods

（编写中）

counterexample

（编写中）