当且仅当

✍ dations ◷ 2025-10-02 11:58:57 #逻辑联结词,数学术语,二元运算,必然性

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

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

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

相关

小支气管小支气管是空气由鼻或口到肺的肺气泡之间的通道，而分支下层不再包含软骨或腺体。小支气管是支气管的分支。小支气管具有微丝血管。Template:Lower respiratory system anatom
拔牙拔牙术，在牙医学中指从口腔中去除牙齿的手术。术前给予口腔局部麻醉。一般使用牙槽部浸润麻醉，或对有关的神经干做阻滞麻醉。拔除前需要先分离牙龈组织，以免发生手术中撕裂。必
互联网以下是截至2017年互联网用户数量的国家列表。互联网用户定义为过去12个月内从任何设备（包括移动电话）访问互联网的人员。注1：渗透率是每个国家/地区中互联网用户占总人口的百分
全新世纪年全新世纪年或人类纪年（Holocene calendar或Human Era），与公元相对应，简称人元（HE），是一种由现时采用的公历（即格里历）改良而来的纪年方法，它引入0年，并在公历年数上多加 10000 。例如公
南回归线南回归线（拉丁语：Capricorni tropicus、法语：tropique du Capricorne、西班牙语、葡萄牙语：tropico de Capricornio、英语：tropic of capricorn、德语：südlicher Wendekreis）是太
慢动作摄影慢动作是在电影制作，由此产生影响的时间似乎减慢。它是在20世纪初由奥地利牧师August Musger（英语：August Musger）发明的。通常情况下，这种风格是在每个电影帧以比播放速度快得多
苏拉威西野猪苏拉威西野猪（学名：Sus celebensis）是猪属的一种，原产于印尼苏拉威西岛与部分邻近岛屿。本种猪自远古时代即为当地居民所驯化利用，近年来其族群数量因栖地破坏与过度捕猎等原因而
米格-15比斯战斗机米格－15战斗机（俄语：МиГ-15，拉丁字母转写：MiG 15）由苏联米高扬-格列维奇飞机设计局设计的，北约给予的绰号是“柴捆（Fagot）”，是苏联第一代战机的代表。米格15也被认为是第一代后掠
中华人民共和国国家标准中华人民共和国国家标准，简称国标（汉语拼音：Guóbiāo，GB），由在国际标准化组织和国际电工委员会代表中华人民共和国的会员机构中国国家标准化管理委员会发布，有时也简称中国国家标
庐江郡庐江郡，中国古代的郡。在元狩二年（前121年）七月，设在长江南岸的庐江郡废郡，东部划属丹阳郡，西部划属豫章郡，尔后在江北的衡山郡东部与九江郡南部地区，重设庐江郡。郡治设在舒县，共辖1