These are supplementary notes for Week 1’s lectures. It does not cover all of the material discussed in lectures, but rather is intended to provided extra explanations of material related to the lectures. The required text is Peter J. Eccles’ book An Introduction to Mathematical Reasoning. The section - Proof calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	These are supplementary notes for Week 1’s lectures. It does not cover all of the material discussed in lectures, but rather is intended to provided extra explanations of material related to the lectures. The required text is Peter J. Eccles’ book An Introduction to Mathematical Reasoning. The section Add to Reading List Document Date: 2013-01-10 01:32:55 Open Document File Size: 146,49 KB Share Result on Facebook IndustryTerm distributive law / / Movie If ... / / Person Peter J. Eccles / / SocialTag Propositional calculus Boolean algebra Mathematical logic If and only if Truth table Converse Mathematical proof Logical connective Negation Mathematics