COMP 1002 Winter 2019
Homework Assignment \# 3
Due: Feb 16, by 10pm
(Type it up and upload on D2L)
**YOUR NAME HERE**
-----
1. **Predicate logic** \[50\]
Consider the following statements.
- "For every number there is a larger number such that there are
no numbers between them."
- "Some person has exactly one cousin\".
1. Write the first statement as a predicate logic formula
with"$x=y$\" and "$x