当且仅当

✍ dations ◷ 2025-10-23 14:32:52 #逻辑联结词,数学术语,二元运算,必然性

↔⇔≡
当且仅当的逻辑符号

当且仅当（英语：if and only if，iff），在数字逻辑中，逻辑算符反异或闸（exclusive or）是对两个运算元的一种逻辑分析类型，符号为XNOR或ENOR或 $\Leftrightarrow$ 通常被用于定义。这里给出一些使用到“当且仅当的”真陈述，也是真双条件句（第一句是一个定义的例子）：

“当且仅当”在逻辑领域以外，在数学出版物或者普通的谈话中也会用到。如同上面所说，它指的是某个陈述是另外一个的充分必要条件。这是一个数学术语的例子。

相关

哺乳动物哺乳动物是指脊椎动物亚门下哺乳纲（学名：Mammalia）的一类用肺呼吸空气的温血脊椎动物，因能通过乳腺分泌乳汁来给幼体哺乳而得名。按照《世界哺乳动物物种》（Mammal Species of th
心跳过速心跳过速（tachycardia、tachyarrhythmia），也称心动过速、心跳过快。是指心跳速度超出了正常范围，达到每分钟一百次以上的现象。剧烈的体育运动、紧张、焦虑或服用某些药物等可能
科尔萨科夫综合症科尔萨科夫氏症候群（Korsakoff's syndrome），又称健忘综合征，为一种大脑缺乏硫胺（维生素B1）而引起的精神障碍。其疾病由俄国神经学家谢尔盖·科尔萨科夫最先发现而命名。科尔萨科夫
机师飞行员（英语：pilot）或称飞机师。是指出于职业或非盈利性需要（例如：娱乐）驾驶航空器的人员。在民用航空领域，除满足特定要求的情况外，各国民航当局一般都要求航空器驾驶员需持有相应
反社会人格反社会人格障碍（英语：Antisocial personality disorder，缩写为ASPD）是人格障碍的一种，在《精神疾病诊断与统计手册》中归类于第二轴发育障碍/人格异常类别B，必须超过18岁才能够被
田鼠亚科见内文田鼠亚科（Arvicolinae），又名水䶄亚科。是啮齿目仓鼠科下的一个亚科，包括了：田鼠、旅鼠、麝鼠等。同在仓鼠科底下的近亲有仓鼠及美洲鼠类.田鼠亚科是鼠总科其下仓鼠科的一个
20072007年欧洲歌唱大赛（Eurovision Song Contest 2007）为欧洲歌唱大赛之第52届比赛，赛期由5月10日~5月12日，比赛场地坐落于芬兰赫尔辛基，由芬兰广播公司主办，主持人则是芬兰电视名主
第一次牛奔河之役第一次马纳萨斯战役（First Battle of Manassas）也称第一次布尔河战役（First Battle of Bull Run）于1861年7月21日发生在弗吉尼亚的马纳萨斯和布尔河附近，是第一场南北战争中的重
道森市道森市（Dawson City），或称道森市镇，是加拿大育空地区的一个镇，当地人一般简称道森，但旅游业上一般称为道森市。该地面积32.45 平方公里，人口1,319（2011年统计），每年有60,000 游客。道
约翰·柯廷约翰·柯廷（英语：John Curtin；1885年1月8日－1945年7月5日）是澳大利亚著名政治家、第14任澳大利亚总理。二次大战时，澳大利亚北部受到日本的直接军事威胁，他率领了澳大利亚军人与美