Với n là số tự nhiêm, xét đinh lí " nếu n là số tự nhiên lẻ, thì n^2-1 chia hết cho 8". Định lí trên được viết dưới dạng P->Q
a. hãy xác định mệnh đề P và Q
b. Phát biểu định lý trên bằng cách sử dụng điều kiện cần