“\(P\) merupakan syarat perlu bagi \(Q\)” berarti \(Q \imp P\text{.}\)

“\(P\) merupakan syarat cukup bagi \(Q\)” berarti \(P \imp Q\text{.}\)

Jika \(P\) merupakan syarat perlu dan cukup bagi \(Q\text{,}\) maka \(P \iff Q\text{.}\)