35 Practice Midterm Solutions

35 Practice Midterm Solutions - Handout #63 December 2,...

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

View Full Document Right Arrow Icon

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

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

Unformatted text preview: Handout #63 December 2, 2009 CS 103 Robert Plummer CS103 Midterm Solutions - Autumn 2009 Problem 1 - Logic 1 x (( C ( x ) T ( x )) P ( x )) 2 x ( O ( x ) C ( x )) 3 x ( O ( x ) P ( x )) 4 O ( c ) P ( c ) existential instantiation of object c line 3 5 O ( c ) C ( c ) universal instantiation for object c line 2 6 O ( c ) simplification line 4 7 C ( c ) modus ponens line 5,6 8 ( C ( c ) T ( c )) P ( c ) universal instantiation for object c line 1 9 P ( c ) ( C ( c ) T ( c )) Table 7 - 2 line 8 10 P ( c ) simplification line 4 11 ( C ( c ) T ( c )) modus ponens line 9, 10 12 C ( c ) T ( c ) demorgans law line 11 13 T ( c ) disjunctive syllogism line 12, 7 14 xT ( x ) existential generalization line 13 Problem 2 - Translations Problem 2a Div ( x,y ) z ( y = zx ) Problem 2b Acceptable solutions were generally of the following form. Prime ( x ) x 6 = 1 z ( Div ( z,x ) z 6 = x z 6 = 1) x 6 = 1 z ( Div ( z,x ) ( z 6 = x z 6 = 1)) x 6 = 1 z ( Div ( z,x ) ( z = x z = 1)) x 6 = 1 z ( Div ( z,x ) ( z = x z = 1)) Problem 2c Every number greater than 1 has at least on prime factor . x ( x > 1) y ( Prime ( y ) Div ( y,x )) Problem 2d There is only one even prime. You were not allowed to use the fact that the constant 2 is prime....
View Full Document

Page1 / 5

35 Practice Midterm Solutions - Handout #63 December 2,...

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

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