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”