Consider the statement “All integers are rational numbers but some rational numbers are not integers.”
a. Write this statement in the form “x, if _____ then _____ , but _____ x such that _____.”
b. Let Ratl(x) be “x is a rational number” and Int(x) be “x is an integer.” Write the given statement formally using only the symbols Ratl(x), Int(x), , ~, and →.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.