MỆNH ĐỀ KÉO THEO VÀ MỆNH ĐỀ ĐẢOCHO HAI MỆNH ĐỀ P VÀ Q. MỆNH ĐỀ &#34...

3. Mệnh đề kéo theo và mệnh đề đảoCho hai mệnh đề P và Q. Mệnh đề "Nếu P thì Q" được gọi là mệnh đề kéo theo và kíhiệu là P ⇒Q. Mệnh đề P ⇒Q sai khi P đúng, Q sai và đúng trong các trường hợp cònlại.Mệnh đề P ⇒ Q được phát biểu là "P kéo theo Q", "P suy ra Q", "Vì P nên Q"...Các định lí toán học là những mệnh đề đúng và thường có dạng P ⇒ Q. Khi đó ta nói:P là giả thiết, Q là kết luận của định lí, hoặcP là điều kiện đủ để có Q, hoặcQ là điều kiện cần để có P.Cho mệnh đề kéo theo P ⇒ Q. Mệnh đề Q ⇒ P được gọi là mệnh đề đảo của mệnh đềP ⇒ Q.Mệnh đề đảo của một mệnh đề đúng không nhất thiết là đúng.