This University logic, sets and proof techniques worksheet with answers has 20 questions for pupils aged 18-19, from short skills practice to real-life problems. The worked answers are on a separate page, so you can try every question first.
Question 1 β Negating statements (Section A Β· Skills practice)
Write the negation of each statement in words, without using the phrase "it is not the case that". Then say whether the original statement or its negation is true.
- For all real numbers \(x\), \(x^2>0\). [3 marks]
- There exists an integer \(n\) such that \(n^2=2\). [3 marks]
- For every integer \(n\), if \(n\) is prime then \(n\) is odd. [3 marks]
Question 2 β Truth tables (Section A Β· Skills practice)
Complete a truth table (or reason carefully) to answer each question.
- Show that \(P\Rightarrow Q\) is logically equivalent to \(\neg P\vee Q\). [3 marks]
- Show that \((P\Rightarrow Q)\wedge(Q\Rightarrow R)\Rightarrow(P\Rightarrow R)\) is a tautology. [4 marks]
Question 3 β Converse and contrapositive (Section A Β· Skills practice)
Consider the statement S: "If \(n^2\) is even, then \(n\) is even", where \(n\) is an integer.
- Write the converse of S. [1 mark]
- Write the contrapositive of S. [2 marks]
- Which of S, its converse and its contrapositive are true? Justify briefly. [4 marks]
Question 4 β Sets (Section A Β· Skills practice)
Let \(A=\{1,2,3,4,5,6\}\), \(B=\{2,4,6,8\}\) and \(U=\{1,2,\dots,10\}\).
- Find \(A\cup B\), \(A\cap B\) and \(A\setminus B\). [3 marks]
- Find \(A^c\) and \(A\triangle B\) (the elements in exactly one of \(A\), \(B\)). [3 marks]
- How many subsets does \(A\) have? How many have exactly 2 elements? [3 marks]
Question 5 β Direct proofs (Section A Β· Skills practice)
Prove each statement directly. Define your integers clearly.
- The sum of two odd integers is even. [3 marks]
- If \(n\) is odd then \(n^2-1\) is divisible by 8. [4 marks]
- The product of two consecutive integers is even. [3 marks]
Question 6 β Proof by induction (Section A Β· Skills practice)
Prove each statement by induction for all integers \(n\ge1\).
- \(1+2+\cdots+n=\dfrac{n(n+1)}2\) [5 marks]
- \(\displaystyle\sum_{i=1}^ni^2=\dfrac{n(n+1)(2n+1)}6\) [6 marks]
Question 7 β The four-card puzzle (Section B Β· Real-life practice)
Four cards lie on a table. Each has a letter on one side and a number on the other. You can see E, K, 4 and 7. A teacher claims: "If a card has a vowel on one side, then it has an even number on the other side." You may turn over some cards to test the claim.
- Write the claim in the form \(P\Rightarrow Q\).
- Which cards could possibly break the claim, if turned over?
- Which cards must you turn over to check the claim? Explain.
- Why is turning over the 4 a waste of time?
Question 8 β A student survey (Section B Β· Real-life practice)
In a class of 40 students, 25 study maths, 18 study physics and 8 study both.
- Draw a Venn diagram in words, and find how many study only maths and only physics.
- How many study at least one of the two subjects, and how many study neither?
- Check with the formula \(|M\cup P|=|M|+|P|-|M\cap P|\).
- One student is picked at random. Find the probability that the student studies exactly one of the two subjects.
Question 9 β Pizza toppings (Section B Β· Real-life practice)
A pizzeria offers 6 toppings. A customer chooses any set of toppings (including none). Two orders are the same if they have the same set of toppings.
- How many different orders are possible?
- How many orders have at least one topping?
- How many orders have exactly 3 toppings?
- How many have at most 2 toppings? What fraction of all orders is that?
Question 10 β Rain and the match (Section B Β· Real-life practice)
A sports club announces: "If it rains, the match is cancelled." Let \(R\): it rains, \(C\): the match is cancelled.
\(R\) \(C\) Announcement kept? true true ? true false ? false true ? false false ? - Complete the last column.
- Write the contrapositive in words. If the match was not cancelled, what can you conclude?
- The match was cancelled. Can you conclude that it rained? Explain.
- Write the converse and give a real-life reason why it might be false.
Question 11 β Saving a pound more each week (Section B Β· Real-life practice)
Maya puts Β£1 in her money jar in week 1, Β£2 in week 2, Β£3 in week 3, and so on, adding one pound more each week.
- How much has she saved after 5 weeks? After 20 weeks?
- Prove by induction that after \(n\) weeks she has saved Β£\(\dfrac{n(n+1)}2\).
- After how many weeks does she first have more than Β£500?
- How much does she put in during week 32, and how does it compare with the total saved by the end of week 31?
Question 12 β The Tower of Hanoi (Section B Β· Real-life practice)
In the Tower of Hanoi puzzle, \(n\) discs of different sizes are moved from one peg to another, one disc at a time, never placing a larger disc on a smaller one. The minimum number of moves is \(M_n=2^n-1\).
- Check the formula for \(n=1,2,3\).
- Prove by induction that \(M_n=2^n-1\) satisfies \(M_{n+1}=2M_n+1\) and hence that the formula holds.
- Find \(M_{10}\) and \(M_{20}\).
- If one move takes one second, how many days does \(M_{20}\) take to the nearest tenth of a day?
Question 13 β Clock arithmetic (Section B Β· Real-life practice)
On a 12-hour clock, define \(a\sim b\) if \(12\mid(a-b)\), that is, if the hours \(a\) and \(b\) show the same time on the dial.
- Show that \(\sim\) is an equivalence relation on the integers.
- What are the equivalence classes?
- It is 9 o'clock now. What time will the clock show in 100 hours?
- What time did it show 250 hours ago?
Question 14 β Birthdays and pigeonholes (Section B Β· Real-life practice)
The pigeonhole principle states that if more than \(n\) objects are placed into \(n\) boxes, then some box contains at least two objects.
- Show that among any 13 people, two share the same birth month.
- Show that in a lecture of 367 students, two share a birthday (counting 29 February).
- How many people must you pick to be sure that at least 3 share a birth month?
- Prove the principle by contradiction.
Question 15 β Euler's prime-generating polynomial (Section C Β· Problem solving)
In 1772 Euler observed that \(f(n)=n^2+n+41\) is prime for many small values of \(n\). Consider the conjecture C: "\(n^2+n+41\) is prime for every integer \(n\ge0\)".
\(n\) 0 1 2 10 39 40 41 \(f(n)\) 41 43 47 151 1601 1681 1763 - Check three of the values in the table.
- Show that \(f(40)\) is not prime. What does this show about the conjecture?
- Show that \(f(41)\) is not prime without a calculator.
- Explain why no number of successful examples can prove C, but a single failure can disprove it.
Question 16 β The temperature converter (Section C Β· Problem solving)
The function \(F:\mathbb R\to\mathbb R\), \(F(C)=\dfrac95C+32\) converts Celsius to Fahrenheit, and \(K(C)=C+273.15\) converts Celsius to kelvin.
- Show that \(F\) is injective and surjective, and find its inverse.
- Find the composite function that converts Fahrenheit to kelvin: \(K\circ F^{-1}\).
- Find the temperature at which \(F(C)=C\).
- Is \(F\) a bijection when restricted to \(C\ge-273.15\) with codomain \(\mathbb R\)? Explain.
Question 17 β Dealing cards into three piles (Section C Β· Problem solving)
Cards numbered by the integers are dealt into three piles according to the rule: cards \(a\) and \(b\) go to the same pile if \(3\mid(a-b)\).
- Prove that "same pile" is an equivalence relation on \(\mathbb Z\).
- List the three equivalence classes.
- In which pile does card 100 go? Card \(-7\)?
- Show that if \(a\sim b\) and \(c\sim d\) then \(a+c\sim b+d\) and \(ac\sim bd\).
Question 18 β Irrational numbers (Section C Β· Problem solving)
A rational number can be written as \(\dfrac pq\) in lowest terms. Prove the following by contradiction.
- \(\sqrt2\) is irrational.
- \(\sqrt2+1\) is irrational (you may use part (a)).
- There are no positive integers \(a,b\) with \(2^a=3^b\).
- Deduce that \(\log_23\) is irrational.
Question 19 β Divisibility and growth by induction (Section C Β· Problem solving)
The table compares \(2^n\) and \(n^2\) for small \(n\).
\(n\) 1 2 3 4 5 6 10 \(2^n\) 2 4 8 16 32 64 1 024 \(n^2\) 1 4 9 16 25 36 100 - For which \(n\) in the table is \(2^n>n^2\) false?
- Prove by induction that \(2^n>n^2\) for all integers \(n\ge5\).
- Prove by induction that \(7^n-1\) is divisible by 6 for all \(n\ge1\).
- An algorithm takes \(2^n\) steps and another takes \(n^2\) steps. What does part (b) mean for large inputs?
Question 20 β Challenge: prime factorisation by strong induction (Section D Β· Challenge)
Prove that every integer \(n\ge2\) can be written as a product of primes (a prime on its own counts as a product of one prime).
- State the base case and the strong induction hypothesis.
- Prove the induction step by considering two cases: \(n\) prime and \(n\) not prime.
- Apply the idea to write 360 as a product of primes.
- Why is ordinary induction (using only the case \(n-1\)) not enough for this proof?
How to use this University logic, sets and proof techniques worksheet with answers
First, read the logic, sets and proof techniques lesson so that the methods are fresh in your mind. Then answer the questions in order, because they start easy and get harder. Show your working on paper; afterwards, compare it with the worksheet answers. If a question goes wrong, look back at the matching example before you try again. Finally, when you feel confident, try the logic, sets and proof techniques test or the quiz.
You can also download this University logic, sets and proof techniques worksheet with answers as a PDF and print it for homework. Moreover, all the pages of this chapter work together, so you can move between them at any time. For example, many pupils read the lesson on Monday, practise on Wednesday and test themselves on Friday. In short, this University logic, sets and proof techniques worksheet with answers prepares you well for the test.


















