COMSATS Institute of Information Technology, Islamabad Campus

Department of Computer Science

Discrete Structures – CSC102

BCS – II A, B

Assignment #3 Marks: 10 Mapped to CLO4

(chapter 1, section 1.7)

Q1: Direct Proof (2 marks)

a) Prove that for all integers a, b and c if a|b and a|c then a|(b+c)

Q2: Proof by contradiction (2 marks)

a) Prove that √2 is irrational by giving a proof by contradiction.

Q3: Proof or disprove by Counter Example (2 marks)

b) Prove or give counter example to disprove the statement. For all integers n,
n2 - n + 11 is a prime number.

(chapter 5, section 5.1)

Q4: Proof by Induction (4 marks)

a) Use mathematical induction to show that