Xét hai mệnh đề: P: “Hai tam giác ABC và A’B’C’ bằng nhau”;
Giải thích
a) Mệnh đề P ⇒ Q được phát biểu như sau:
P ⇒ Q: “Nếu hai tam giác ABC và A’B’C’ bằng nhau thì hai tam giác ABC và A’B’C’ có diện tích bằng nhau”.
b) Mệnh đề P ⇒ Q là mệnh đề đúng. Do đó mệnh đề P ⇒ Q là một định lí.
Hai tam giác ABC và A’B’C’ bằng nhau là điều kiện đủ để có hai tam giác ABC và A’B’C’ 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 để có hai tam giác ABC và A’B’C’ bằng nhau.