Winter 2012 Master of Science in Information Technology (MScIT-NEW) Semester 3 MT0043 : Discrete mathematics 2 Credits

(Book ID: B0583)

Assignment Set (30 Marks)

Answer the following : Each question carries 05 marks 1. Prove that ~ p (p q) is a tautology. 65=30

2. Explain Peanos Axioms with suitable example. 3. Let A=Z+ , the set of positive integers and let R = {(a, b)AAa divides b} Is R symmetric, asymmetric, and antisymmetric? 4. Let A={a, b, c, d} R={(a, a), (a, d), (d, a), (d, d), (b, b), (b, c), (c, b), (c, c)} Write the matrix of R and check if the matrix is equivalence.
5. Let a, b, c be the elements in a lattice (A, ). Show that a(bc) (ab)(ac) (ab)(ac) a(b c)s 6. Show that semigroup (Z,+) and the equivalence relation R on Z defined by aRb if and only if a b (mod 2) is a congruence relation.