This part of MATH0005 is about logic: the study of how we can reason and make deductions, of methods of argument, and of methods of proof.