Professional Documents
Culture Documents
Group Ex 1
Group Ex 1
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.
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.
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.