25+Review+session+problems

25+Review+session+problems - Handout #25 April 19, 2011...

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

View Full Document Right Arrow Icon
Handout #25 CS103 April 19, 2011 Robert Plummer CS103 Review Session Problems Here are the problems from the review sessions on Tuesday. Solutions are also posted on CourseWork. Logic Give a formal proof for the following. Use numbered steps and refer to those numbers in the justification you give for each step. 1. ¬ x (R(x) S(x)) 2. y (S(y) M(y) L(y)) x (R(x) (L(x) M(x)))
Background image of page 1

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

View Full DocumentRight Arrow Icon
2 Translations 4. Translate each of the following sentences into first-order logic. The questions describe events occurring at a Halloween party. The domain of discourse includes exactly the people who attended the party. You may only use the following predicates: M(x) x wore a mask to the party. S(x, y) x scared y at the party. F(x, y) x and y are friends Notes: F should be considered to be symmetric, i.e. F(x, y) F(y, x). It is possible to scare yourself. It is possible to be friends with yourself. 1) Nobody who didn’t wear a mask scared a friend. 2) A person who wore a mask and who had no friends scared everybody else at the party.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 06/01/2011 for the course EE 103 taught by Professor Plummer during the Spring '11 term at Stanford.

Page1 / 6

25+Review+session+problems - Handout #25 April 19, 2011...

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