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\).
Tuỳ theo nội dung cụ thể, đôi khi người ta phát biểu mệnh đề \(P \Rightarrow Q\) là:
- “P kéo theo Q”.
- “P suy ra Q”.
- “Vì P nên Q”.
Ví dụ minh hoạ:
Các bài khác cùng chuyên mục