當且僅當
if and only if / 維基百科,自由的 encyclopedia
當且僅當(英語:if and only if,iff),在數位邏輯中,邏輯算符反互斥或閘(英語:Exclusive NOR)是對兩個運算元的一種邏輯分析類型,符號為XNOR或ENOR或。與一般的邏輯或非NOR不同,當兩兩數值相同為是,而數值不同時為否。在數學、哲學、邏輯學以及其他一些技術性領域中被用來表示「在這個條件成立,並且僅在這個條件成立時」之意。若命題
滿足「若
則
」且「僅當
則
」時,稱為「當且僅當
則
」,其他等價的說法有「
當且僅當
[註 1]」;「
是
的充分必要條件(充要條件)」;「
等價於
」。
此條目需要補充更多來源。 (2020年9月19日) |
Quick Facts 「當且僅當」的各地常用名稱, 中國大陸 ...
「當且僅當」的各地常用名稱 | |
---|---|
中國大陸 | 當且僅當 |
臺灣 | 若且唯若 |
港澳 | 當且僅當 |
Close
↔⇔≡
當且僅當的邏輯符號
當且僅當的邏輯符號
一般而言,當我們看到「當且僅當則
」,我們可以知道「如果
成立時,則
一定成立;如果
成立時,則
也一定成立」;「如果
不成立時,則
一定不成立;如果
不成立時,則
也一定不成立」。