Asked 73 times in 3 exams across 14 years. Newest first.
Practise Logic and proof techniques, easy to hard →
Statements, truth values and how if-then statements are negated, reversed and chained.
Telling apart what must hold from what is enough to guarantee a result.
Statements with 'for all' and 'there exists', and how they change when negated or reordered.
The standard ways to prove or disprove a claim.
Deduction problems that ask what must follow from a set of constraints.