Yea and Nay: Propositional Logic

Abstract

We have been using logic on every page of this book—in every proof , verification and informal justification. In the first four chapters we inserted some ‘logic boxes’ ; they gave just enough to be able to follow what was being done. Now we gather the material of these boxes together and develop their principles. Logic thus emerges as both a tool for reasoning and an object for study.