檢視充要条件的原始碼

{| class="wikitable" align="right"
|-
|<center><img src=https://p8.itc.cn/q_70/images01/20230624/5d85576bf5e14ccbb0a1ce0cc18205b7.jpeg width="350"></center>
<small>[https://www.sohu.com/a/690122076_121451301 来自 搜狐网 的图片]</small>
|}

'''充要条件'''是中国科技名词。

世界三大汉语词典分别是[[中国]]大陆的《 汉语大词典<ref>[https://www.sohu.com/a/576642268_121145181 中国汉字博大精深，作为中国人的你知道有多少个嘛？]，搜狐，2022-08-14</ref>》(共13册，5.6万词条，37万单词)、中国台湾的《 中文大辞典 》(共10册，5万词条，40万单词)以及日本的《 大汉和辞典 》(共13册，4.9万词条，40万单词)。汉字是记录汉语的文字<ref>[https://www.sohu.com/a/500696857_121089534?_trans_=000019_wzwza 汉语的发展史，你了解多少：你真的会说汉语吗？]，搜狐，2021-11-12</ref>，它已有六千年左右的[[历史]]，是世界上最古老的文字之一。

==名词解释==

充分必要条件也即充要[[条件]]，[[意思]]是说，如果能从命题p推出命题q，而且也能从命题q推出命题p ，则称p是q的充分必要条件，且q也是p的充分必要条件。

如果有事物情况A，则必然有事物情况B；如果有事物情况B，则必然有事物情况A，那么B就是A的充分必要条件 ( 简称：充要条件 )，反之亦然 。

说明

假设A是条件，B是结论，设C、D分别为A、B所描述对象的集合，则有下列定义和推论：

（1）由A可以推出B，由B可以推出A，则A是B的充分必要条件；

（2）由A可以推出B，由B不可以推出A，则A是B的充分不必要条件；

（3）由A不可以推出B，由B可以推出A，则A是B的必要不充分条件；

（4）由A不可以推出B，由B不可以推出A，则A是B的既不充分也不必要条件。

举例

1. A=“三角形的三条边都相等”；B=“三角形的三个角都相等”。

2. A=“某人触犯了法律”；B=“应当依照刑法对他处以刑罚”。

3. A=“付了足够的钱”；B=“买到商店里的东西”。

例1中A是B的充分必要条件；

例2中A是B的必要不充分条件；（A触犯法律包含各种法，有刑法有民法；B已经确定是刑法。B属于A所以A是B的必要不充分条件）

例3中A是B的必要不充分条件；（ A付够了钱 可以买的是车、房子等；但是B能买到商店里的东西一定是要付够钱）

生活中

1.生活中表达充分必要条件的情况不太常见。在逻辑学和数学中一般用“当且仅当”来表示充分必要条件。例如：当且仅当竞争对手甲退出投标时，乙才会报一个较高的价位。a、b为任意实数时，a²+b² ≥ 2ab 成立，当且仅当a=b时取等号。

2.其他常见的表示充分必要条件的说法还有：“需要且只需要”、“唯一条件”的情况。例如：任何两个端节点之间的转发需要且只需要经过三次交换。为了防止圆管内流动的水发生结冰，则需要且只需要保持圆管内壁面的最低温度在某一温度以上。俄军逼近格首都称停火唯一条件是乌军放弃武力。

逻辑学中

定义：如果有事物情况A，则必然有事物情况B；如果没有事物情况A，则必然没有事物情况B，A就是B的充分必要条件。

充分必要条件是逻辑学在研究假言命题及假言推理时引出的。

陈述某一事物情况是另一件事物情况的充分必要条件的假言命题叫做充分必要条件假言命题。充分必要条件假言命题的一般形式是：p当且仅当q。符号为：p←→q(读作“p等值q”) 。

例如：“三角形等边当且仅当三角形等角。”是一个充分必要条件假言命题。

根据充分必要条件假言命题的逻辑性质进行的推理叫充分必要条件假言推理。

数学中

有命题p、q，如果p推出q且q推出p，则p是q的充分必要条件，简称充要条件。

p推出q，p是q的充分条件，同时q是p的必要条件，此时p是q的子集。

例如：a、b一正一负推出ab<0，ab<0推出a、b一正一负，则a、b一正一负和ab<0互为充要条件。

简单的说就是在证p与q时,前面那个推出后面那个就是充分条件；后面那个推出前面那个就是必要条件；前面能推出后面、后面也能推出前面就是充要条件。

对于“若p则q”形式的命题，如果已知pq，那么p是q的充分条件，q是p的必要条件。

例如，如果a+i²=-1，则a=0，因此，a+i²=-1是a=0的充分条件，a=0是a+i²=-1的必要条件。（注：i²=-1，i为虚数。）

如果既有p推出q，又有q推出p，则记作p=q，就说p是q的充要条件，也可以说q是p的充要条件，或者若p推出q，但q推不出p，则p是q的充分不必要条件，q是p的必要不充分条件。

例如“两个三角形全等”是“两个三角形面积相等”的充分不必要条件，|x|=|y|是“x²=y²”的充要条件。

==参考文献==
[[Category:800 語言學總論]]