Professional Documents
Culture Documents
Please staple your assignment together, with this cover sheet. Give full working for all answers,
unless the question says otherwise. Untidy or badly set-out work will not be marked, and will be
recorded as unsatisfactory. This assignment must be submitted before the end of your tutorial in
week 5.
Question 1.
Use the list of logical equivalences given on pages 55-56 of your notes and the rules of Substitution
and Substitution of Equivalence to simplify the following statements. Justify your answers.
(i) Q ~(~Q ~P)
(ii) ~(~P Q) (P Q)
(iii) ~( (~P Q) (P ~Q) ) (~P ~ Q)
Question 2.
Write each of the following statements in symbols using quantifiers and variables.
(i) Some natural number greater than 2 is equal to the sum of two primes.
(ii) All students in WUCT121 can correctly solve some assigned problem.
Question 3.
Write the each of the following statements in words without using quantifiers or variables.
(i) n N, n is odd ( k N, n = 2k - 1 ).
(ii) S (S is a WUCT121 student), P (P is an assigned problem), S can correctly solve P.
Question 4.
Write down the negations of the statements in question 3 in both simple conversational English and
in the notation of predicate logic.
Page 1 of 2
Question 5.
i (i !) = (n + 1)! 1 .
i =1
Question 6.
43 + 4 4 + 45 + K + 4 n =
(
4 4 n 16).
3
Question 7.
Page 2 of 2