“如果且僅”在邏輯上是什麽意思？

在邏輯學中，當且僅當(簡寫為iff)是用來表示兩個命題等價的邏輯連詞。當且僅當意味著兩個命題必須同時為真或假，如果壹個命題為真，另壹個命題為假，則兩個命題之間不存在等價。

比如假設P表示壹個整數是偶數，Q表示這個整數能被2整除，那麽P成立當且僅當Q成立，因為壹個整數是偶數當且僅當它能被2整除。所以P和Q之間存在等價關系，可以用“P當且僅當Q”來表示。