Cho hai mệnh đề P và Q. Mệnh đề “Nếu P thì Q” được gọi là mệnh đề kéo theo, kí hiệu là \(P \Rightarrow Q\).
Trong toán học, định lí là mệnh đề đúng, thường có dạng \(P \Rightarrow Q\).
Khi đó, ta nói:
- P là điều kiện đủ để có Q.
- Q là điều kiện cần để có P.
Ngoài ra, P là giả thiết, Q là kết luận của định lí.
Đặc biệt, nếu cả \(P \Rightarrow Q\) và \(Q \Rightarrow P\) đều đúng thì P, Q là điều kiện cần và đủ của nhau.