Hãy phát biểu một định lí toán học ở dạng mệnh đề kéo theo \(P \Rightarrow Q\).
Hướng dẫn giải chi tiết
Phương pháp giải
Mệnh đề kéo theo (\(P \Rightarrow Q\)) thường là các mệnh đề dạng: “Nếu P thì Q” hoặc cũng có thể là “P kéo theo Q”, “P suy ra Q”, “Vì P nên Q”.
Hướng dẫn giải
Chẳng hạn
1. Định lí Ta-lét “Nếu 1 đường thẳng song song với 1 cạnh của tam giác đó và cắt 2 cạnh còn lại thì nó định ra trên 2 cạnh đó những đoạn thẳng tương ứng tỉ lệ”
2. Định lí Ta-lét đảo “Nếu một đường thẳng cắt hai cạnh của tam giác và định ra trên hai cạnh này những đoạn thẳng tương ứng tỉ lệ thì đường thẳng đó song song với cạnh còn lại của tam giác.”
3. Định lí: “Nếu hai đường thẳng cùng song song với đường thẳng thứ ba thì hai đường thẳng đó song song”
— *****
Trả lời