This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CMPSC 360 Discrete Mathematics for Computer Science Fall 2009 Penn State University Assignment #2 Due: 9 September 1. Give the truth set of each predicate. (a) predicate: 1 ≤ x 3 ≤ 100; domain: Z (b) predicate 1 ≤ x ≤ 12 and 12 /x 6∈ Z ; domain: Z 2. Let S be the set of students, C ( x ) be “ x is a CS major,” E ( x ) be “ x is an Engineering student,” A ( x ) be “ x is an Art major,” H ( x ) be “ x is an Honors student.” Rewrite each of the following statements using quantifiers. (a) Every CS major is also an engineer. (b) Some engineers are not CS majors (c) No one is double majoring in CS and Art. (d) No Art majors are Honor students. (e) At least one Honors student is a CS major. Now assume that C , E , A , and H are the domains for CS majors, Eningeering students, Art majors, and Honors students. Without using S , rewrite each of the above. 3. Let the domain of x be Z (integers). Let Even ( x ), Odd ( x ), Prime ( x ), have their obvious meaning. Let Power...
View Full Document
- Fall '08
- Logic, English-language films, Alice, Alice and Bob, CS majors