IAS 2213: Discrete Mathematics Tutorial 1

1. Determine the following either as a proposition or not proposition.

i) ii) iii) iv) v) vi)

2. Construct truth tables for the given statement forms.

2 + 5 = 19 Waiter, will you serve the dessert. Peel me the grape. Every even integer greater than 4 is the sum of two primes. 2+24 Evaluate the sum 2+ 2 p (q r) (p q) r p (q r)

i) ii) iii)

3. Show that p (q p) q is a contradiction. 4. Given If a solution exists, then the program terminates. Find:

i) ii) iii)

The converse of the above statement. The contrapositive of your answer in i) The inverse of your answer in ii)

5. Verify that p (q r) (p q) r 6. Verify that p q p q

7. Write the following statements efficiently using quantifiers and standard notation.

i) ii) iii) iv)

The square of every odd integer is even. For all real numbers x with 2 x 5, we have 4 x2 25. There is an integer n such that 2n = 1024. There is a natural number n such that, for every real number x, xn is nonnegative. End of Questions

Prepared by: Madam Rasidah Sardi