Mệnh đề: “Nếu một tứ giác là hình bình hành thì nó là hình thang” có thể được phát biểu lại là
Mệnh đề: “Nếu một tứ giác là hình bình hành thì nó là hình thang” có thể được phát biểu lại là “Một tứ giác là hình thang là điều kiện cần để nó là hình bình hành”.