Advertisement
Published in:
2020 | OriginalPaper | Chapter
8. Yea and Nay: Propositional Logic
Author : David Makinson
Published in: Sets, Logic and Maths for Computing
Publisher: Springer International Publishing
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.
