CS130-02 Group Exercises #1 (20 points)

Due Date: see blackboard assignment.

First, form a group of 2-3 members (3 preferred, 4 with instructors approval.) Post a thread on
blackboard Discussion Board under the forum of Group Formation with a group name and names
of all members.
Each group should meet and discuss all the problems and then work out the solution together
of one of the problems each group will be assigned a problem. However, each team only needs
to turn in one copy of final solution (write group name and names of all members on the final
work.) A group evaluation form should be filled up by each group member and turned in (at the
end of the quarter) to the instructor separately from the group exercise solution.
Problem Specification
Problem 1: You have been selected to serve on jury duty for a criminal case. The attorney for
the defense argues as follows:

If my client is guilty, then the knife was in the drawer. Either the knife was not in the
drawer or Jason Pritchard saw the knife. If the knife was not there on October 10, it
follows that Jason Pritchard didnt see the knife. Furthermore, if the knife was there on
October 10, then the knife was in the drawer and also the hammer was in the barn. But
we all know that the hammer was not in the barn. Therefore, ladies and gentlemen of the
jury, my client is innocent.

Question: Is the attorneys argument sound? How should you vote?

Please try to use propositional form to represent the above argument. If it is a valid argument,
please prove it (show detailed proof sequence). If it is not a valid argument, please revise
some facts and then prove it to be a valid argument.
Problem 2: The Greek philosopher Aristotle (384-322 B.C.) studied under Plato and tutored
Alexander the Great. His studies of logic influenced philosophers for hundreds of years.
Below are his four perfect syllogisms. Please formulate the argument in predicate logic and
then provide a proof. Also, for each argument, use an example to illustrate (i.e. All M are P:
all flowers are plants.)
1.
2.
3.
4.

All M are P. All S are M. Therefore, all S are P.

No M are P. All S are M. Therefore no S are P.
All M are P. Some S are M. Therefore, some S are P.
No M are P. Some S are M. Therefore, some S are not P.

Problem 3: Every computer science student works harder than somebody, and everyone who
works harder than any other person gets less sleep than that person. Maria is a computer
science student. Therefore, Maria gets less sleep than someone else. Please formulate the
argument in predicate logic and then provide a proof.

Group evaluation form

Evaluator____________________

Criteria:
(1) Participation 0 100%. If a group member didnt participate at all, please assign 0%. If a group
member fully participates in all discussions and final report, please assign 100%.
(2) Quality of contribution. If a group member provides good and positive contribution towards the
final solution or report, assign A. If a group member provides some contribution towards the final
solution or report, assign B. If a group members comments or work doesnt provide much help
towards the final solution or report, assign C.

Group Exercise #1 (note: evaluate yourself as a member too.)

Members
Participation (0
Quality of Contribution Note
name
100%)
(A, B, or C)

Group Exercise #2 (note: evaluate yourself as a member too.)

Members
Participation (0
Quality of Contribution Note
name
100%)
(A, B, or C)

Group Exercise #3 (note: evaluate yourself as a member too.)

Members
Participation (0
Quality of Contribution Note
name
100%)
(A, B, or C)