mệnh đề phủ định : tồn tại x thuộc N: (n^2 +2019)(n^2+ 2020) không chia hết cho 4
ta có số chính phương khi chia cho 4 dư 0 hoặc 1 ( cái này đặt n= 4k,4k+1,4k+2,4k+3 để chứng minh)
nếu n^2 chia cho 4 dư 0 thì n^2+ 2020 chia hết cho 4
nếu n^2 chia 4 dư 1 thì n^2+2019 chia hết cho 9
=> mđ phủ...