P ⇒ Q: “ Nếu tam giác ABC có hai góc bằng 60o thì ABC là một tam giác đều”
Giả thiết: “Tam giác ABC có hai góc bằng 60o ”
Kết luận: “ABC là một tam giác đều”
Phát biểu lại định lí này dưới dạng điều kiện cần: “ABC là một tam giác đều là điều kiện cần để tam giác ABC có hai góc bằng 60o”
Phát biểu lại định lí này dưới dạng điều kiện đủ : “Tam giác ABC có hai góc bằng 60o là điều kiện đủ để ABC là tam giác đều”