Date: Mon, 02 Dec 1996 16:00:03 GMT Server: NCSA/1.4.2 Content-type: text/html
Due Monday, April 22 in class.
This assignment involves no computer programming!
Note: It has been called to my attention that there is a miswording in problem 16. Please make the following change, and answer the resulting question.
Replace the phrase "However, if the symbol P were replaced by the identifier 'Raining' " by the phrase
However, if the symbols 'Weather', 'Today', and 'Raining' were replaced by the symbols 'P', 'a', and 'b', "
At the end of Chapter 5, do exercise 6, and either 8 or 9.
Now encode the English sentences in the predicate calculus. You should end up with: (1) several simple facts of the form P(a) (but using more descriptive "non-standard" notation), (2) at least one rule using a universal quantifier, (3) at least one formula using an existentially quantified variable, and (4) at least one use of each of the logical connectives Or, And, Implies, and Not. You may need to adjust your English paragraph in order to be able to obtain all of these features in your formulas.
Identify and describe the domain you are assuming for your formulas.
State your intended meaning for each predicate symbol, function symbol, and constant that you use.
How well do you feel your logical formulas represent the information in the English paragraph? Is anything missing in the logical version? Does the logical version say anything that the English version does not?