当且仅当

✍ dations ◷ 2025-12-03 06:42:32 #逻辑联结词,数学术语,二元运算,必然性

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

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

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

相关

萨格勒布大学萨格勒布大学(克罗地亚语：Sveučilište u Zagrebu，拉丁语：Universitas Studiorum Zagrabiensis)是克罗地亚最大的大学，同时也是维也纳以南的中欧地区及东南欧持续办学时间最长
阳离子离子（英语：Ion）是指原子或原子基团失去或得到一个或几个电子而形成的带电荷的个子。得失电子的过程称为电离，电离过程的能量变化可以用电离能来衡量。在化学反应中，通常是金属元
奥西里斯欧西里斯（Osiris）是埃及神话中的冥王，九柱神之一，是古埃及最重要的神祇之一。他是一位反复重生的神，而他身上的绿色皮肤就有这种意思。他最后被埋在阿拜多斯（Abydos）城，是那里的守护
通货膨胀通货膨胀（英语：inflation，简称通胀）本意为货币流通数量增加，但也指向因货币流通数量增加，而使得物价水准在某一时期内，连续性地以相当的幅度上涨，也就是物价上升，货币购买力下降的现
生化需氧量生化需氧量（Biochemical oxygen demand，简写为BOD），是水体中的好氧微生物在一定温度下将水中有机物分解成无机质，这一特定时间内的氧化过程中所需要的溶解氧量。虽然生化需氧量并
秀丽·布丝雪莉·布思（英语：Shirley Booth，1898年8月30日－1992年10月16日），美国女演员，曾获得奥斯卡最佳女主角奖。
双曲几何双曲几何又名罗氏几何（罗巴切夫斯基几何），是非欧几里德几何的一种特例。与欧几里德几何的差别在于第五条公理（公设）－平行公设。在欧几里德几何中，若平面上有一条直线R和线外的一点P
施世榜施世榜（1671年11月26日－1743年1月27日），字文标，号澹亭，为福建省泉州府晋江县安平（今日晋江市安海镇）人，祖籍河南固始，后随父亲施启秉来台在台湾凤山县落籍，为凤山县拔贡生:23。是清代台
范蠡范.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{f
济南铁路运输中级法院济南铁路运输中级法院是中华人民共和国山东省的铁路运输中级法院。1955年，济南铁路运输法院成立。1957年9月，根据中华人民共和国国务院《关于撤销铁路、水上运输法院的决定》，