Biểu diễn mệnh đề bằng logic vị từ

[tahn98 (Tran Nhat)]

Em mới học toán rời rạc, em chưa hiểu lắm mong ai giỏi giúp đỡ em câu này với ạ!
Tổng của 2 số nguyên lẻ luôn là 1 số nguyên chẵn.
Hãy biễu diễn bằng logic vị từ.
Em cảm ơn ạ

[rogp10]

P = For_all: x, y: Integer, Odd(x) && Odd(y) => Even(x+y)
L = For_all: x: Integer, Even(x) = ~Odd(x)
# A_EM = For_all: P, ~~P = P
De_Morgan (P)
apply (L)
For_all: x, y: Integer, Even(x) || Even(y) || Even(x+y)