Give an example of a statement of predicate calculus that co

Give an example of a statement of predicate calculus that contains a least two quantifiers. Translate that statement into ordinary English. Write the negation of that statement.

Solution

P(x) = x is an odd integer

x is a natural number

x is not divisible by 2

In English, this means that all natural numbers not a multiple of 2 are odd.

Negation statement is all number divisible by 2 are not odd (even)