首页 >
≡
✍ dations ◷ 2025-10-09 22:57:34 #≡
↔⇔≡当且仅当的逻辑符号当且仅当(英语:if and only if,iff),在数字逻辑中,逻辑算符反异或闸(exclusive or)是对两个运算元的一种逻辑分析类型,符号为XNOR或ENOR或
⇔
{displaystyle Leftrightarrow }
。与一般的逻辑或非NOR不同,当两两数值相同为是,而数值不同时为否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立,并且仅在这个条件成立时”之意。当命题
p
,
q
{displaystyle p,q}
满足“当
p
{displaystyle p}
则
q
{displaystyle q}
”且“仅当
p
{displaystyle p}
则
q
{displaystyle q}
”时,称为“当且仅当
p
{displaystyle p}
则
q
{displaystyle q}
”,其他等价的说法有“
q
{displaystyle q}
当且仅当
p
{displaystyle p}
”;“
p
{displaystyle p}
是
q
{displaystyle q}
的充分必要条件(充要条件)”;“
p
{displaystyle p}
等价于
q
{displaystyle q}
”。一般而言,当我们看到“当且仅当
p
{displaystyle p}
则
q
{displaystyle q}
”,我们可以知道“如果
p
{displaystyle p}
成立时,则
q
{displaystyle q}
一定成立;如果
q
{displaystyle q}
成立时,则
p
{displaystyle p}
也一定成立”;“如果
p
{displaystyle p}
不成立时,则
q
{displaystyle q}
一定不成立;如果
q
{displaystyle q}
不成立时,则
p
{displaystyle p}
也一定不成立”。与此相对应的逻辑符号是
↔
{displaystyle leftrightarrow }
和
⇔
{displaystyle Leftrightarrow }
。这两个通常被当作是相等的。但是,一些数学教科书,特别是那些关于一阶逻辑而非命题逻辑对此有所区别,在那里前者被用来表示逻辑公式,后者表示那些公式的推理(譬如说在元逻辑中)。设
p
{displaystyle p}
与
q
{displaystyle q}
为两命题,在证明“当且仅当
p
{displaystyle p}
则
q
{displaystyle q}
”时,这相当于去同时证明陈述“如果
p
{displaystyle p}
成立,则
q
{displaystyle q}
成立”和“如果
q
{displaystyle q}
成立,则
p
{displaystyle p}
成立”。另外,也可以证明“如果
p
{displaystyle p}
成立,则
q
{displaystyle q}
成立”和“如果
p
{displaystyle p}
不成立,则
q
{displaystyle q}
不成立”,后者作为对偶,等价于“如果
q
{displaystyle q}
成立,则
p
{displaystyle p}
成立”。在出版物中,英语iff的表示标记最早出现在约翰·L·凯利的《一般拓扑学》中。它的发明通常被认为是归于数学家保罗·哈尔莫斯,但在哈尔莫斯的自传中却声明该标记另有出处,他只是首先在数学领域使用。简单地,如下的两个例子可以说明这两者的不同:第1句指小王一定会吃香草口味的冰淇淋,但没有排除他会吃香草口味以外冰淇淋的可能性,能肯定的是他不会拒绝香草口味的冰淇淋。第2句指小王一定吃且只吃香草口味的冰淇淋,他不会吃其它口味的冰淇淋。用“当且仅当”连接两个句子造成的句子被称为是“双条件句”。“当且仅当”把两个句子结合成新的句子。它不应该跟描述两个句子之间关系的“逻辑等价”混淆。双条件句“当且仅当
p
{displaystyle p}
则
q
{displaystyle q}
”,是用
p
{displaystyle p}
和
q
{displaystyle q}
来陈述
p
{displaystyle p}
和
q
{displaystyle q}
所描述的事件状况之间的关系。相对照的,“
p
{displaystyle p}
逻辑等价于
q
{displaystyle q}
”则注重两个句子:它只是陈述两个句子之间的关系,而不是它们所介绍的什么事情。这里的区别非常容易混淆,已经使得很多哲学家迷惑。当然,在“
p
{displaystyle p}
逻辑等价于
q
{displaystyle q}
”时,“当且仅当
p
{displaystyle p}
则
q
{displaystyle q}
”为真,但是它的逆并不成立。让我们重新考虑上面的句子:很清楚,对于这个特定的双条件句,两个半句之间并没有逻辑等价。如想了解更多的差异,请参照W. V. Quine的《数理逻辑,第5节》。在哲学和逻辑学中,“当且仅当”通常用作定义,因为定义被认为是全称量化的双条件句。但在数学中,相比起“当且仅当”,如果通常被用于定义。这里给出一些使用到“当且仅当的”真陈述,也是真双条件句(第一句是一个定义的例子):“当且仅当”在逻辑领域以外,在数学出版物或者普通的谈话中也会用到。如同上面所说,它指的是某个陈述是另外一个的充分必要条件。这是一个数学术语的例子。
相关
- 肾上腺素肾上腺素(Epinephrine或Adrenaline), 3,4-三羟基-N-甲基苯乙胺。是肾上腺髓质分泌的激素及神经传导物质,也是一种药物。肾上腺素被应用于治疗多项疾病,包含全身性过敏反应、心搏
- 细菌分类表本表以LPSN网站的分类为基础(当前版本2008年1月7日),本分类代表原核生物分类的权威杂志IJSEM的分类系统,同时参考NCBI Taxonomy,但目前其它中文维基分类表可能依照其它标准,请注意
- 温室气体温室气体(英语:Greenhouse Gas, GHG)或称温室效应,是指大气中促成温室效应的气体成分。自然温室气体包括二氧化碳(CO2)大约占所有温室气体的26%,其他还有臭氧(O3)、甲烷(CH4)、氧化亚氮
- 喉痛咽喉痛(sore throat、throat pain,又称喉咙痛或喉痛),是指咽喉出现痛楚的症状,最主要的成因是咽喉炎(喉咙发炎),但可由其他原因引致,例如白喉和伤风感冒威胁。 服用非类固醇消炎止痛
- 常务副总干事联合国常务副秘书长是联合国秘书处的一个事务首长。这一职位是在第七任联合国秘书长科菲·安南的提议下,于1998年联合国大会通过的《第51/12B号决议》所设立。虽然常务副秘书
- ST节段ST节段(ST segment)为心电图学术语,表示QRS复合波(英语:QRS complex)至T波之间的间期,一般介于 0.005 至 0.150 秒之间(5 至 150 毫秒)。ST节段始于J点(英语:J-point)(即QRS复合波的终点),
- 雌三醇雌三醇(Estriol , oestriol, E3)是人类三种主要的雌激素之一。雌二醇和雌酮的代谢产物。在雌酮、雌二醇、雌三醇中,以雌三醇的活性最弱。存在于尿中,在怀孕期尿中含量更高。未怀孕
- 雌二醇雌二醇(Estradiol,E2)是卵巢分泌的类固醇激素。是主要的雌性激素,负责调节女性特征、附属性器官的成熟和月经-排卵周期,促进乳腺导管系统的产生。雌二醇等雌激素的血清浓度在月经
- 倭黑猩猩倭黑猩猩(学名:Pan paniscus),又名倭猩猩、僰猿、矮黑猩猩或巴诺布猿,是黑猩猩属下的两种动物之一,起先倭黑猩猩被认为和黑猩猩是同种生物,直到1920年代,才有人察觉两者的不同,而将之
- 日文日语书写系统汉字假名使用罗马字日文是指为了用文字来记载日语文章等的系统方法。现代日文由几种文字构成:起源于中国形意文字的汉字;表音文字(音节文字)平假名(文法型式上也常用