HW03 - CSE260 Solutions to Homework Set#3 23 Translate in...

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

View Full Document Right Arrow Icon
CSE260 Solutions to Homework Set #3 23. Translate in two ways each of these statements into logical expressions using predicates, quantifiers, and logical connectives. First, let the domain consist of the students in your class and second, let it consist of all people. Let C(x) be the propositional function “x is in your class”. a) Someone in your class can speak Hindi. 5 xH(x) and 5 x(C(x) /\ (H(x)), where H(x) is “x can speak Hindi”. b) Everyone in your class is friendly. 2200 F(x) and 2200 x(C(x) → F(x)), where F(x) is “x is friendly”. c) There is a person in your class who was not born in California. 5 x¬B(x) and 5 x(C(x) /\ ¬B(x)), where B(x) is “x was born in California”. d) A student in your class has been in a movie. 5 xM(x) and 5 x(C(x) /\ M(x)), where M(x) is “x has been in a movie”. e) No student in your class has taken a course in logic programming. 2200 x¬L(x) and 2200 x(C(x) → ¬L(x)), where L(x) is “x has taken a course in logic programming”. 41. Express each of these system specifications using predicates, quantifiers, and logical connectives. a) At least one mail message, among the nonempty set of messages, can be saved if there is a disk with more than 10 kilobytes of free space. ( 5 xF(x, 10)) → 5 xS(x), where F(x, y) is “Disk x has more than y kilobytes of free space”, and S(x) is “mail message x can be saved”. b)
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 01/29/2012 for the course CSE 260 taught by Professor Saktipramanik during the Spring '08 term at Michigan State University.

Page1 / 3

HW03 - CSE260 Solutions to Homework Set#3 23 Translate in...

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