Cho định lí "Cho số tự nhiên n, nếu n⁵ chia hết cho 5 thì n chia hết cho 5". Định lí này được viết dưới dạng P ⇒ Q.

Phát biểu định lí trên bằng các dùng thuật ngữ "điều kiện đủ".

Phát biểu định lí trên bằng các dùng thuật ngữ "điều kiện đủ" như sau:

Với n là số tự nhiên, n⁵ chia hết cho 5 là điều kiện đủ để n chia hết cho 5.