Sheet4 - McMaster University Department of Computing and...

Info iconThis preview shows page 1. Sign up to view the full content.

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

Unformatted text preview: McMaster University Department of Computing and Software Dr. W. Kahl COMP SCI 1FC3 Exercise Sheet 4 COMP SCI 1FC3 Mathematics for Computing 1February 2009 Exercise 4.1 Predicates, formal and English Translate each of these formulae into an English statement that expresses a mathematical fact. The domain in each case consists of all real numbers. (a) x y ( x + y = y ) (b) x y ( xy = y ) (c) x y ( yx = y ) (d) x y ( yx = x ) (e) x y ((( x 0) ( y 0)) ( x- y > 0)) (f) x y ((( x 0) ( y 0)) ( x- y > 0)) (g) x y (( x = / 0) ( y = / 0) ( xy = / 0)) (h) x y z ( x + y = z ) Exercise 4.2 Predicates, formal and English Use quantifiers and predicates with more than one variable to express each of the following statements. (a) There is a student in this class who speaks Hindi. (b) Every student in this class plays some sport....
View Full Document

Ask a homework question - tutors are online