Logic

This chapter divides into three sections: truth tables, logicalBoolean logic premises and set theory. The reader is introduced to truth tables using a tabular form of expressing logical outcomes. The section on logical premises introduces the idea of logical reasoning using constructs such as material equivalence, implication and reductio ad absurdum. The third section is an introduction to set theory including set building, empty sets, subsets, supersets and universal sets, etc. The chapter concludes with some worked examples.