"If a and b are consecutive odd numbers, then a+b is an even number." I was thinking it was "If a+b is an odd number then a or b is a nonconsecutive even integer". I thought this mean the same as "If a+b is an odd number then a and b are not consecutive odd integers"? I was thinking these two sentences mean the same thing because either a or b or both are nonconsective even integers?