Slide 1 CS2013 Maths for Computing Science Proof (part b) Adam Wyner University of Aberdeen Computing Science Slide 2 October 2014CS2013 Maths for Computing2 Topics Equivalences…