當且僅當是充要條件嗎

當且僅當是充要條件。"當A成立時，B成立"，則A是B的充分條件;B是A的必要條件。"僅當A成立時，B成立"，則A是B的必要條件;B是A的充分條件。所以，"當且僅當A成立時，B成立"，則A是B的充分必要條件。

A,B是充分必要條件則A<->B即A->B,B->A

"A當B"表示B->A，"A僅當B"表示只有B成立A才有可能成立即 非B -> 非A，即A->B

非B -> 非A的解釋是對于任意C≠B，則C->非A。不是你說的什么C不能蘊含A。

對于充分必要條件同樣成立，C≠B，則C->非A。