Abstract
This chapter divides into three sections: truth tables, logical premises and set theory. In truth tables the reader is introduced to 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Vince, J. (2020). Logic. In: Foundation Mathematics for Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-030-42078-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-42078-9_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-42077-2
Online ISBN: 978-3-030-42078-9
eBook Packages: Computer ScienceComputer Science (R0)