CECS 228 – Group Exercise on 9/9/04
Due Tuesday, 9/14/04
Group members:____________________________________________________________________________
1. Problem 16 in Section 1.4
Define P(s,c,m) “x has a a class standing c, and majors in m”,
where the universe of discourse for variable s consists of _________________________________________
the universe of discourse for variable c consists of _________________________________________
and the universe of discourse for variable m consists of _____________________________________
a) There is a student in the class who is a junior
b) Every student in the class is a computer science major
c) There is a student in the class who is neither a mathematics major nor a junior.
d) Every student in the class is either a sophomore or a computer science major.
e) There is a major such that there is a student in the class in every year of study with that major.
2. Problem 6 in Section 1.5
Analyze the following argument, translate it into predicates and show in detailed steps the rules of inference
used in the argument.
“No man is an island. Manhattan is an island. Therefore, Manhattan is not a man.”
Define M(x) “x is a man”, and
I(x) “x is an island”,
where the universe of discourse _____________________________________________________________
Statement | Logical expression | Reason/Rule of inference applied
---------------------------------------------------------------------------------------------------------------------------------------
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
…/Turn over to continue
