逻辑用语：修订间差异

第36行：

=== 含有量词的命题 ===

全称量词命题：

对 <math>M</math> 的任意一个元素 <math>x</math>，有 <math>p(x)</math> 成立：

第43行：

第45行：

上面这种命题叫'''全称量词命题'''. 在数学上，“任意”“每一个”等'''全称量词'''用符号 <math>\forall</math> 表示.

例如：对于任意实数 <math>a , \; a^2 + 1 > 0</math>.

用符号表示是：<math>\forall \; x \in R , \; a^2 + 1 > 0</math>

存在量词命题：

对 <math>M</math> 的某个元素 <math>x</math>，使 <math>p(x)</math> 成立：

第51行：

第57行：

上面这种命题叫'''存在量词命题'''. 在数学上，“存在某个”“至少有一个”等'''存在量词'''用符号 <math>\exists</math> 表示.

例如：存在某个整数 <math>a</math>, 使得 <math>a^2 - 1 </math> 是 <math>5</math> 的倍数.

用符号表示是：<math>\exists \; x \in Z, \; \frac{a^2 - 1}{5} \in Z</math>

[[分类:数学]]

@@ 第36行： / 第36行： @@
 === 含有量词的命题 ===
+全称量词命题：
 对 <math>M</math> 的任意一个元素 <math>x</math>，有 <math>p(x)</math> 成立：
@@ 第43行： / 第45行： @@
 上面这种命题叫'''全称量词命题'''. 在数学上，“任意”“每一个”等'''全称量词'''用符号 <math>\forall</math> 表示.
+例如：对于任意实数 <math>a , \; a^2 + 1 > 0</math>.
+用符号表示是：<math>\forall \; x \in R , \; a^2 + 1 > 0</math>
+存在量词命题：
 对 <math>M</math> 的某个元素 <math>x</math>，使 <math>p(x)</math> 成立：
@@ 第51行： / 第57行： @@
 上面这种命题叫'''存在量词命题'''. 在数学上，“存在某个”“至少有一个”等'''存在量词'''用符号 <math>\exists</math> 表示.
+例如：存在某个整数 <math>a</math>, 使得 <math>a^2 - 1 </math> 是 <math>5</math> 的倍数.
+用符号表示是：<math>\exists  \; x \in Z, \; \frac{a^2 - 1}{5} \in Z</math>
 [[分类:数学]]