Necessary and Sufficient.

• “\(P\) is necessary for \(Q\)” means \(Q \imp P\text{.}\)

• “\(P\) is sufficient for \(Q\)” means \(P \imp Q\text{.}\)

• If \(P\) is necessary and sufficient for \(Q\text{,}\) then \(P \iff Q\text{.}\)