hw2(2) - CMPSC 360 Discrete Mathematics for Computer...

Info iconThis preview shows pages 1–2. 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: 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

This note was uploaded on 10/04/2009 for the course CMPSC 360 taught by Professor Haullgren during the Fall '08 term at Penn State.

Page1 / 2

hw2(2) - CMPSC 360 Discrete Mathematics for Computer...

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