I. Which among the following expressions are sentential functions, and which are designatory functions:
a) x is divisible by 3
b) the sum of the numbers x and 2
g) the mother of x and z
h) x is the mother of z?
Problem 2: Give examples of sentential and designatory functions from the field of geometry.
Problem 3: The sentential functions which are encountered in arithmetic and which contain only one variable (which may, however, occur at several different places in the given sentential function) can be divided into three categories : (1) functions satisfied by every number; (ii) functions not satisfied by any number; (iii) functions satisfied by some numbers, and not satisfied by others.
To which of these categories do the following sentential functions belong:
(e) or or
Problem 4:Give examples of universal, absolutely existential and conditionally existential theorems from the fields of arithmetic and geometry.
Problem 5: By writing quantifiers containing the variables “x” and “y” in front of the sentential function: it is possible to obtain various sentences from it, for instance:
for any numbers x and y, ;
for any number x, there exists a number y such that ;
there is a number y such that, for any number x, .
Formulate them all (there are six altogether) and determine which of them are true.
Problem 6: Do the same as in problem 5 for the following sentential functions:
and ” x is the father of y.”
(assuming that the variables x and y in the latter stand for names of human beings.)
Problem 7: State a sentence of every day language that has the meaning as:
For every x, if x is a dog, then x has a good sense of smell.
And, your sentence must not contain any quantifier or variables.
Replace the following sentence: “some snakes are poisonous” by one which has the same meaning but is formulated with the help of quantifiers and variables.
Differentiate, in the following expressions, between the free and bound variables:
(a) x is divisible by y.
(b) for any x,
(c) if , then there is a number z such that and ;
(d) for any number y, if , then there is a number z such that
(e) if and , then for any number z, ;
(f) if there exists a number y such that , then, for any number z, .
Formulate the above expressions by replacing the quantifiers by the symbols introduced in Section 4.
Problem 10*: If, in the sentential function, (e) of the preceding exercise, we replace the variable “z” in both places by “y”, we obtain an expression in which “y” occurs in some places as a free and in others as a bound variable; in what places and y?
(In view of some difficulties in operating with expressions in which the same variable occurs both bound and free, some logicians prefer to avoid the use of such expressions altogether and not to treat them as sentential functions.)
Problem 11*: Try to state quite generally under which conditions a variable occurs at a certain place of a given sentential function as a free or as a bound variable.
Problem 12: Which numbers satisfy the sentential function: there is a number y such that , and which satisfy: there is a number y such that ?