Skip to content
Full TMUA practice test

Free · original questions · 75 minutes · no calculator

TMUA Paper 2 practice: Mathematical Reasoning

20 questions on logic, necessary and sufficient conditions, proof, counterexamples and finding the error in an argument. Same number of questions and time limit as the real TMUA Paper 2.

All questions are written by Keiko Study in the official format; they are not official TMUA papers.

Take the TMUA Paper 2 section

20 questions, 75 minutes. Start the timer for real exam conditions, or answer at your own pace. When you submit, you get your score, the correct answers and a worked solution for every question.

Go to question 1

Question 1

Necessary and sufficient conditions

Let x be a real number.

Which one of the following conditions is necessary but not sufficient for x2>4?

Answer options for question 1

Question 2

Converse and contrapositive

Consider the statement:

S: Every student who passed the test attended the revision session.

Which of the following statements is/are logically equivalent to S?

I: Any student who did not attend the revision session did not pass the test.

II: Every student who attended the revision session passed the test.

III: A student passed the test only if they attended the revision session.

Answer options for question 2

Question 3

Counterexamples

Consider the claim:

For every real number x, if x2>x then x>1.

Which of the following values of x is a counterexample to the claim?

Answer options for question 3

Question 4

Proof by contradiction

A student wants to prove the following statement by contradiction.

For every integer n, if n2+2n is odd, then n is odd.

Which of the following should the student assume at the start of the proof?

Answer options for question 4

Question 5

Errors in proofs: inequalities

Consider the claim:

For every non-zero real number x, x+1x≥2.

Here is an attempted proof.

(I) Let x be any non-zero real number. Since a square is never negative, (x−1)2≥0.

(II) Expanding the bracket gives x2−2x+1≥0.

(III) Adding 2x to both sides gives x2+1≥2x.

(IV) Dividing both sides by x gives x+1x≥2.

(V) Since x was any non-zero real number, the claim is proved.

Which of the following best describes this proof?

Answer options for question 5

Question 6

Checking a proof

Consider the claim:

For every integer n, if n2 is a multiple of 3, then n is a multiple of 3.

A student offers this argument.

'Suppose n is a multiple of 3, so n=3k for some integer k. Then n2=9k2=3(3k2), which is a multiple of 3. This proves the claim.'

Which of the following best describes the argument?

Answer options for question 6

Question 7

Testing a conditional rule

Each of five cards has a whole number on one side and a colour, either red or blue, on the other side. The cards lie on a table, and the faces you can see are:

4, 7, red, blue, 9

You are told this rule:

'A card is red on one side only if it has an even number on the other side.'

Which cards must be turned over to check whether the rule holds for all five cards?

Answer options for question 7

Question 8

Negating quantified statements

Consider the statement:

For every integer n≥2, there is a prime number p with n<p<2n.

Which of the following is the negation of this statement?

Answer options for question 8

Question 9

Quadratics and implications

In this question b and c are real numbers.

Which of the following statements is/are true?

I: If the equation x2+bx+c=0 has two distinct real roots, then c<0.

II: If c<0, then the equation x2+bx+c=0 has two distinct real roots.

III: If the equation x2+bx+c=0 has two distinct positive roots, then b<0 and c>0.

Answer options for question 9

Question 10

Errors in proofs: trigonometry

Consider the claim:

The equation sin⁡2x=sin⁡x has exactly two solutions with 0∘≤x<360∘.

Here is an attempted proof.

(I) Using the double-angle formula, the equation becomes 2sin⁡xcos⁡x=sin⁡x.

(II) Dividing both sides by sin⁡x gives 2cos⁡x=1.

(III) So cos⁡x=12.

(IV) For 0∘≤x<360∘, the solutions of cos⁡x=12 are x=60∘ and x=300∘.

(V) Hence the equation has exactly two solutions in this range.

Which of the following best describes the attempted proof?

Answer options for question 10

Question 11

Logarithms: 'for all' and 'there exist'

In this question a, b and c are positive real numbers, none of which is equal to 1.

Which of the following statements is/are true?

I: If log⁡ab>1, then b>a.

II: For all such a and b, log⁡a(b2)=(log⁡ab)2.

III: There exist such a, b and c for which log⁡a(b+c)=log⁡ab+log⁡ac.

Answer options for question 11

Question 12

Coordinate geometry and conditions

The line y=mx and the circle (x−3)2+y2=5 are drawn on the same axes.

Which one of the following conditions on m is sufficient, but not necessary, for the line to meet the circle at two distinct points?

Answer options for question 12

Question 13

Sequences: 'if' and 'only if'

A sequence is defined by u1=k and un+1=un2−2un+2 for n≥1, where k is a real number.

Which of the following statements is/are true?

I: The sequence is constant if k=2.

II: For every value of k, un≥1 for all n≥2.

III: If u2=u3, then k=1 or k=2.

Answer options for question 13

Question 14

Integration and implications

In this question f and g are polynomials.

Which of the following statements is/are true?

I: If ∫01f(x) dx=0, then f(x)=0 for at least one value of x with 0≤x≤1.

II: If ∫01f(x) dx>∫01g(x) dx, then f(x)>g(x) for every x with 0≤x≤1.

III: If ∫02f(x) dx=2∫01f(x) dx, then f is a constant function.

Answer options for question 14

Question 15

Order of quantifiers

Let f(x)=x3−3x.

Which of the following statements is/are true?

I: There is a real number a such that f(x)≥a for every real number x.

II: For every real number a, there is a real number x such that f(x)>a.

III: There is a real number x such that f(x)>a for every real number a.

Answer options for question 15

Question 16

Combining statements

The real number x makes exactly one of the following three statements true.

P: x2>4

Q: x3>8

R: x>1

Which of the following describes all the possible values of x?

Answer options for question 16

Question 17

Calculus and necessary or sufficient conditions

Let f be a polynomial. Consider the following three conditions.

P: f′(x)>0 for every real number x.

Q: f(b)>f(a) for all real numbers a and b with b>a.

R: f′(x)≥0 for every real number x.

Which one of the following is true?

Answer options for question 17

Question 18

Errors in proofs: number theory

Consider the claim:

For every odd integer n, n2−1 is divisible by 16.

Here is an attempted proof.

(I) Let n be odd. Then n=2k+1 for some integer k.

(II) So n2−1=4k2+4k=4k(k+1).

(III) Of the two consecutive integers k and k+1, one is even, so k(k+1) is even. Write k(k+1)=2m, where m is an integer.

(IV) Then n2−1=4×2m=8m.

(V) Now m=k(k+1)2, and one of k and k+1 is even, so m is even.

(VI) Writing m=2j gives n2−1=16j, which is divisible by 16.

Which of the following best describes this proof?

Answer options for question 18

Question 19

Roots of quadratics and conditions

In this question p and q are real numbers. Consider the equation x2+px+q=0 and the condition

C: q(1+p+q)<0.

Which of the following is true?

Answer options for question 19

Question 20

Proof by cases: Pythagorean triples

The positive integers a, b and c satisfy a2+b2=c2.

Which of the following statements must be true?

I: At least one of a and b is even.

II: At least one of a, b and c is a multiple of 3.

III: If a is prime, then c=b+1.

Answer options for question 20

0 of 20 answered