exam1-S07-sol - Exam # _ Name_ Score _/ 64 CS 1502 Spring...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Exam # _______ Name_______________________________ Score _________/ 64 CS 1502 Spring 2007 Exam 1 Solutions . There are 9 problems on 8 pages with a total score of 64 . Page 8 contains some proof rules that you can refer to. Do all problems. 1. (8 points) Translate the following sentences into logic. (a) Object a is in front of b if b is small. If b is small, then a is in front of b . Small(b) FrontOf(a,b) (b) Object c is large only if d is between object b and object a . If c is large, then d is between b and a . Large(c) Between(d,b,a) (c) If a is a tetrahedron, then it is neither in the same row as b nor the column as c . Tet(a) ¬ (SameRow(a,b) \/ SameCol(a,c)) (d) Neither a nor b is cube, but they have the same shape as c . ¬ (Cube(a) \/ Cube(b)) /\ SameShape(a,c) /\ SameShape(b,c) 2. (6 points) Consider the argument below. Determine whether the conclusion is a tautological consequence of the premises. Support your answer using a truth table and an interpretation of the result from the truth table. Your answer must show that you understand
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 09/17/2011 for the course PHILOSOPHY 250 taught by Professor Neiltennant during the Spring '11 term at Ohio State.

Page1 / 8

exam1-S07-sol - Exam # _ Name_ Score _/ 64 CS 1502 Spring...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online