请选择
当且仅当是充要条件。"当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。