当且仅当

当且仅当(英文:If and only if, 或者:iff)，或称若且唯若，在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示在，并且仅仅在这些条件成立的时候的缩写，在英语中的对应标记为iff。虽然P当且仅当Q是一个标準用法，但是公认的其他同样说法还有P是Q的充分必要条件，或者P成立，正当Q。

当且仅当q(命题)成立时，p(命题)成立。

也可表示成:p(命题)成立时，q(命题)成立 ;q(命题)成立时，p(命题)成立。即p(命题)等价于q(命题)。