We have the predicates E and O describing integers, defined by E(n) is true if n is even, and O(n) is true if n is odd.
(a) Express in predicate calculus notation the sentence the sum of two odd integers is even.
(b) Give the negation of the predicate http://img3.imageshack.us/img3/9336/matho.jpg
Can any please please help me with this question.
Sorry if this is in the wrong section im new here