Cho định lí dạng P ⇒ Q . Phát biểu nào sau đây đúng ?

\(P\) là điều kiện cần để có \(Q\).

\(P\) là điều kiện đủ để có \(Q\).

\(Q\) là điều kiện đủ để có \(P\).

\(Q\) là giả thiết của định lí.