Let us Assume that p and q be the statements given by

p: x and y are odd integers.

q: x + y is an even integer

since the given statement can be written as :

if p, then q.

Let p be true . then,

x and y are odd integers

x = 2m+1, y = 2n+1 for some integers m,n

x+y = (2m+1)+(2n+1)

x+y = (2m+2n+2)

x+y = 2(m+n+1)

x + y is an integer

q is true.

Therefore, p is true q is true

Hence, “if p, then q “ is a true statement.”