更多操作
无编辑摘要 |
|||
| 第34行： | 第34行： | ||
4. <math>p \Rightarrow q</math>， <math>q \Rightarrow p</math>, 则 <math>p \Leftrightarrow q</math>, 象征 <math>A = B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分必要条件'''，简称'''充要条件'''； | 4. <math>p \Rightarrow q</math>， <math>q \Rightarrow p</math>, 则 <math>p \Leftrightarrow q</math>, 象征 <math>A = B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分必要条件'''，简称'''充要条件'''； | ||
=== 含有量词的命题 === | |||
对 <math>M</math> 的任意一个元素 <math>x</math>，有 <math>p(x)</math> 成立： | |||
<math>\forall \; x \in M , \; p(x)</math> | |||
上面这种命题叫'''全称量词命题'''. 在数学上，“任意”“每一个”等'''全称量词'''用符号 <math>\forall</math> 表示. | |||
对 <math>M</math> 的某个元素 <math>x</math>，使 <math>p(x)</math> 成立： | |||
<math>\exists \; x \in M, \; p(x)</math> | |||
上面这种命题叫'''存在量词命题'''. 在数学上，“存在某个”“至少有一个”等'''存在量词'''用符号 <math>\exists</math> 表示. | |||
[[分类:数学]] | [[分类:数学]] | ||