Giúp mik bài mệnh đề này vs nha cần gấp

Bài 1

`+` Mệnh đề phủ định `overline(P)`: `forall n in NN | 3n + 1 \ "là một số chẵn"`

`+` Phát biểu bằng lời: "Tồn tại một số tự nhiên `n` sao cho `3n+1` là một số lẻ"

Bài 2

Ta có: `x^2+2x+4 = (x+1)^2 + 3 > 0 \ forall \ x in RR`

`=>` Mệnh đề `C` là mệnh đề đúng

Mệnh đề phủ định `overline(C)`: `exists x in RR | x^2 + 2x + 4 <= 0`

$\\$

Ta có: `x^2=1` `<=>` `x=-1` hoặc `x=1`

Thêm vào đó, `1` và `-1` đều là số nguyên

`=>` Mệnh đề `D` là mệnh đề đúng

Mệnh đề phủ định `overline(D)`: `forall x in ZZ | x^2 ne 1`