Abstract
This chapter provides a brief introduction to propositional logic. Propositional logic is the foundation of mathematical logic. It uses simple statements as logical variables and connectives as logical operators. Operators connect simple statements to form compound statements, and a logical function usually contains multiple compound statements. Propositional logic investigates the logical characteristics and rules associated with logical statements.
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
References
Barnes, D., Mac, J.: An Algebraic Introduction to Mathematical Logic. Springer, New York (1975)
Hamilton, A.: Logic for Mathematicians. Cambridge University Press, Cambridge (1988). Revised edn.
Liu, Z., Liu, Y.: Fuzzy Logic and Neural Network. BUAA Press, Beijing (1996) (in Chinese)
Rade, L., Westergren, B.: Mathematics Handbook. Studentlitteratur, Lund (1989)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Cheng, D., Qi, H., Li, Z. (2011). Propositional Logic. In: Analysis and Control of Boolean Networks. Communications and Control Engineering. Springer, London. https://doi.org/10.1007/978-0-85729-097-7_1
Download citation
DOI: https://doi.org/10.1007/978-0-85729-097-7_1
Publisher Name: Springer, London
Print ISBN: 978-0-85729-096-0
Online ISBN: 978-0-85729-097-7
eBook Packages: EngineeringEngineering (R0)