Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Problem 1
a) TRUE.
This states that for every x, there is a y greater than x. Since the natural numbers do not
have an upper bound, there will always be a number larger than any other number, so
this is TRUE.
b) FALSE.
This states that for any number x, there is a value y that is less than x. The natural
numbers are bounded below, and if x = 0, then there is no y in N that is less than x, so
this statement is FALSE.
c) TRUE.
This states that there is a number y for every number x that is either less than or equal
to x. Because there is always a number y that is equal to x (they can just be the same
number!) this statement is TRUE.
d) TRUE. This states that for every x and y, there are numbers z and w such that x+y = z or
x+y = w. Because every sum of natural numbers x and y is itself a natural number, it is
equal so some number w and z (where w and z are both set to the value of the sum of x
and y).
e) TRUE. By the transitive property, if (x+y) = z and w = (x+y), then w=z. Thus, there can be
no value z and w where they are both equal to (x+y) but not equal to each other. (The
problem asked for an explanation, but a rigorous proof can be constructed by
contradiction.)
f) TRUE. This states that there exists an x and y such that x is less than y, and for any value
z, if z is also less than y, then it implies that x = z. All we need to do to show that it is true
is to find one pair of x,y values where it is the case for all z < y.
Problem 2
a) ∃x(2 * x = 12)
Problem 3
This will be done in parts:
Our final result is: For a number x, either it is not even or it is the sum of two primes (in
other words, if x is even -> it is the sum of two primes)