TMUA Logic and Logical Reasoning

This is certainly the most common 'subject' tested in TMUA, usually in Paper Two where up to half the question may be logic/reasoning based. As such, we have split our logic and reasoning revision materials into four sub-topics for more efficient study and revision, namely 'Counterexamples and Negations'; 'Necessary and Sufficient';  'Proofs'; and 'True and False Logic' (including contrapositive, inverse and converse and if, only if and if and only iff). 

For those so interested, we offer both one to one TMUA coaching on logic and logical reasoning, as well as online group coaching via Zoom - 'TMUA Proofs' is Session #17 of 20; 'TMUA Necessary/Sufficient Questions' is Session #18 of 20; 'TMUA True/False; If/Only If/Iff; and Contrapositive' is Session #19 of 20; and 'TMUA Counterexamples, Negations and Other Logic' is Session #20 of 20. Check our TMUA Group Coaching Schedule page for dates when these sessions are available - details of what we cover in each group session can be found on our TMUA Coaching Sessions Overview page. For more general information on our online sessions check out our  'Online Coaching FAQ'.

Feel free to contact us if you require more information regarding any of the above.

Free Revision Resources

The free revision resources on logic and reasoning appear on the 'Counterexamples and Negations'; 'Necessary and Sufficient';  'Proofs'; and 'True and False Logic' pages - please visit those pages for an abundance of revision help. 

Below are some teasers on Boolean Logic (not directly tested on TMUA) in case anybody is interested


  • Teaser #223 - tests ability to manipulate and simplify a Boolean logic expression - Standard
  • Teaser #7 - tests understanding of converting a word statement to Boolean logic - Standard
  • Teaser #5 - tests how to prove a tautology using a truth table - Standard
  • Teaser #4 - tests how to negate a Boolean logic statement -  Standard
  • Teaser #469 - tests understanding of different forms of expressing necessary and sufficient logic - Medium
  • Teaser #457 - tests equivalence of various logic statements - Medium
  • Teaser #455 - tests how to negate a fairly complex Boolean logic statement - Medium
  • Teaser #219 - tests negation of a Boolean logic expression - Medium
  • Teaser #433 - tests negation of a Boolean logic expression - Medium
  • Teaser #475 - tests ability to negate a word statement on subsets - Medium
  • Teaser #471 - tests which function provides a counterexample to an integral statement - Medium
  • Teaser #470 - tests sufficiency of various inequality and modulus statements, often using counterexamples to disprove - Medium
  • Teaser #439 - tests which Boolean statements are necessary for another Boolean statement - Medium
  • Teaser #450 - tests which logic inequalities are necessary for y>3 to be true - Medium
  • Teaser #239 - tests whether a Boolean logic expression is always true/false - Medium
  • Teaser #235 - tests how to simplify a Boolean logic statement more simply with a Venn Diagram - Quite Tough
  • Teaser #499 - tests how to establish which of six statements is true, given that exactly one is - Quite Tough
  • Teaser #485 - tests understanding of converse, inverse and contrapositive - Quite Tough
  • Teaser #479 - tests understanding of which functional equations are sufficient for an integral to hold true - Quite Tough


Practice makes perfect - good luck in your studies!