Math 2090.03 N Assignments 4& 5
due April 5th, 1999
INSTRUCTIONS: This assignment is due April 5th 1999, in class. Groups may hand in a single
assignment paper. The maximum group size is 4.
The assignments must have the name and York number of all group members listed at the top of the
paper.
Any axiom may be used. Lower numbered theorems may be used in the proof of a higher numbered
theorem.
- Translate the following english sentences into quantified expressions in predicate logic. First
construct suitable types, then a suitable 2-place predicate, and then write the quantified expressions.
- You can fool some of the people some of the time.
- You can fool all of the people some of the time.
- You can't fool all the people all the time.
- You can't fool a person all the time
- For every occurrence of an object variable in the following expression state whether it is free or bound
- Let our domain be the set of non-negative integers (i.e. ). Let + and
have their usual meaning of addition and multiplication. Let us also have the following predicates
- Axy means x is less than y.
- Bxy means x is greater than y.
Prove that the following are true, false, or may be true in a certain state, and may be
false in another. In the latter case if possible give a state for which it is true and a
state for which it is false, otherwise justify why all states either give true or give
false.
- .
- .
- .
- .
- Give a bullet proof that ().
- Give a bullet proof that
()
Stephanie van Willigenburg