当且仅当

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

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

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

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

相关

帚虫动物门帚虫动物门（学名：Phoronida）是动物界的一个小门，当中的动物为滤食性，以由几丁质组成的小管支撑。目前仅存2个属，10几个种，全部都是海洋底栖动物，能在南冰洋外的各大洋中约四百米深的
HBrOsub4/sub高溴酸，或称过溴酸，化学式为HBrO4，是溴的含氧酸之一，其中溴的氧化态为+7。与高氯酸和高碘酸不同，高溴酸不稳定，不能通过溴酸盐热分解反应或卤素间的置换反应制备。首次制得利用的
凹透镜本条目介绍的是光学设备，其他领域的透镜不在此处讨论。透镜是一种将光线聚合或分散的设备，通常是由一片玻璃构成，但用于其他电磁辐射的类似设备通常也称为透镜，例如：由石蜡制成的
皮特凯恩群岛面积国家领袖皮特凯恩群岛（英语：Pitcairn Islands、诺福克语：Pitkern Ailen），正式名称为皮特凯恩、亨德森、迪西和奥埃诺群岛，是由4座岛屿组成的南太平洋群岛，其中只有第二大岛屿皮
2020年1月及2月除特别注明外，本文所有时间均以东九区时间（UTC+9）为准。
美国联邦法规联邦规则汇编（英语：Code of Federal Regulations，缩写：CFR）是由美国联邦政府执行部门的联邦公报发布的一般性和永久法律法规的汇编，通过不同的主题把联邦规则分为50个主题。联邦规
飞岛飞岛（日语：飛島／とびしま Tobishima）是位于日本山形县日本海海域中的一个岛屿。在行政区划上属于属于山形县酒田市。飞岛面积2.7平方公里，周长10.2公里。岛上最高点是高森山，标高
TIMTIM是腾讯推出的办公版聊天软件，前身为腾讯QQ轻聊版。可用QQ号登录，软件风格比腾讯QQ更简约且更方便办公使用，并且能够更好地管理在线文档和日程，同时可邀请他人同时编辑。消息
同帅战役美国等国正式介入之后美国撤出至南越灭亡同帅战役，（越南语：Trận Đồng Xoài，英语：Battle of Dong Xoai）是越南战争早期的一场战斗。最终战斗以越共胜利而告终。
亡人节亡人节或称祖先日，是柬埔寨的一个重要节日，相当于华人社会的清明节，于每年的佛历10月1日至15日举行。头十四天，死者家属会到寺院布施，又会准备糯米团供奉未能投胎的亡灵，寺院的主