Abstract
This chapter briefly recapitulates the main ingredients of Booleans, propositional logic, first-order logic, set theory, functions, and relations. The main purpose of this chapter is to provide a quick reference for formal notation used in later chapters; for more detailed information, examples, and intuition, we refer the reader to textbooks on this topic, such asĀ [154].
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
Ā© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Huisman, M., Wijs, A. (2023). First-Order Logic and Set Theory. In: Concise Guide to Software Verification. Texts in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-30167-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-30167-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-30166-7
Online ISBN: 978-3-031-30167-4
eBook Packages: Computer ScienceComputer Science (R0)