Xét hai mệnh đề:
P: “Hai tam giác ABC và A’B’C’ bằng nhau”.
Q: “Hai tam giác ABC và A’B’C’ có diện tích bằng nhau”.
a) Phát biểu mệnh đề \(P \Rightarrow Q\).
b) Mệnh đề \(P \Rightarrow Q\) có phải là một định lí không? Nếu có, sử dụng thuật ngữ “điều kiện cần”, “điều kiện đủ” để phát biểu định lí này theo cách khác nhau.
a) Mệnh đề \(P \Rightarrow Q\): “Nếu hai tam giác ABC và A’B’C’ bằng nhau thì chúng có diện tích bằng nhau”
b) Mệnh đề \(P \Rightarrow Q\) đúng nên nó là một định lí. Hai cách phát biểu định lí là:
Hai tam giác ABC và A’B’C’ bằng nhau là điều kiện đủ để có diện tích bằng nhau.
Hai tam giác ABC và A’B’C’ có diện tích bằng nhau là điều kiện cần để chúng bằng nhau.