Cho định lí "Cho số tự nhiên n, nếu n^5 chia hết cho 5 thì n chia hết cho 5
Đề bài: Cho định lí "Cho số tự nhiên n, nếu n5 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 đủ".