逻辑用语：修订间差异

（未显示同一用户的1个中间版本）

第27行：

== 充分条件和必要条件 ==

1. <math>p \Rightarrow q</math>, 象征 <math>A \subseteq B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分条件'''；

# <math>p \Rightarrow q</math>, 象征 <math>A \subseteq B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分条件'''；

# <math>p \Rightarrow q</math>， <math>q \not\Rightarrow p</math>, 象征 <math>A \subsetneqq B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分不必要条件'''；

2. <math>p \Rightarrow q</math>， <math>q \not\Rightarrow p</math>, 象征 <math>A \subsetneqq B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分不必要条件'''；

# <math>q \Rightarrow p</math>， <math>p \not\Rightarrow q</math>, 象征 <math>B \subsetneqq A</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分不必要条件'''；

# <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> 的'''充分必要条件'''，简称'''充要条件'''；

3. <math>q \Rightarrow p</math>， <math>p \not\Rightarrow q</math>, 象征 <math>B \subsetneqq A</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> 的'''充分必要条件'''，简称'''充要条件'''；

== 含有量词的命题 ==

第74行：

第71行：

否定命题：<math>\forall \; x, \; \neg p(x)</math>

=== 示例 ===

原命题：<math>\exists \; x \in R, \; - 2x^2 + 4x - 3 > 0</math>

否定命题：<math>\forall \; x \in R, \; - 2x^2 + 4x - 3 \le 0</math>

[[分类:数学]]

@@ 第27行： / 第27行： @@
 == 充分条件和必要条件 ==
-. <math>p \Rightarrow q</math>, 象征 <math>A \subseteq B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分条件'''；
+# <math>p \Rightarrow q</math>, 象征 <math>A \subseteq B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分条件'''；
+# <math>p \Rightarrow q</math>， <math>q \not\Rightarrow p</math>, 象征 <math>A \subsetneqq B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分不必要条件'''；
-. <math>p \Rightarrow q</math>， <math>q \not\Rightarrow p</math>, 象征 <math>A \subsetneqq B</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分不必要条件'''；
+# <math>q \Rightarrow p</math>， <math>p \not\Rightarrow q</math>, 象征 <math>B \subsetneqq A</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分不必要条件'''；
+# <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>q \Rightarrow p</math>， <math>p \not\Rightarrow q</math>, 象征 <math>B \subsetneqq A</math>, 则 <math>p</math> 是 <math>q</math> 的'''充分不必要条件'''；
-. <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> 的'''充分必要条件'''，简称'''充要条件'''；
 == 含有量词的命题 ==
@@ 第74行： / 第71行： @@
 否定命题：<math>\forall \; x, \; \neg p(x)</math>
+=== 示例 ===
+原命题：<math>\exists  \; x \in R, \; - 2x^2 + 4x - 3 > 0</math>
+否定命题：<math>\forall  \; x \in R, \; - 2x^2 + 4x - 3 \le 0</math>
 [[分类:数学]]