定义和含义

表示一个论断的语句叫作命题。一个命题里面通常包含两个概念，两个已经各自定义好的含义明确的概念，然后论断就是这两个东西之间有某种关系。

辅助理解的解释

现在，我们知道的关系有等号、大于、小于、大于等于、小于等于、属于、包含于、约等于。相应的关系运算符分别为=,>,<,≥,≤,∈,⊆,≈。

可以借助“白马非马”的例子来领悟集合、命题。

陈述都可以表述成如下的形式:A具有性质B，记作 [math]\displaystyle{ A\Rightarrow B }[/math](读作A推出B、A导出B、A具有B等)，表示如果一个东西具有性质A则这个东西肯定具有性质B。有了集合的语言和集合之间的关系，我们可以用集合直观地展示命题和否命题、逆命题和逆否命题的关系。