Propositional Logic

Part of the Communications and Control Engineering book series (CCE)


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.


Normal Form Boolean Logic Logical Operator Propositional Logic Simple Statement 


  1. 1.
    Barnes, D., Mac, J.: An Algebraic Introduction to Mathematical Logic. Springer, New York (1975) MATHCrossRefGoogle Scholar
  2. 2.
    Hamilton, A.: Logic for Mathematicians. Cambridge University Press, Cambridge (1988). Revised edn. MATHGoogle Scholar
  3. 3.
    Liu, Z., Liu, Y.: Fuzzy Logic and Neural Network. BUAA Press, Beijing (1996) (in Chinese) Google Scholar
  4. 4.
    Rade, L., Westergren, B.: Mathematics Handbook. Studentlitteratur, Lund (1989) Google Scholar

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

There are no affiliations available

Personalised recommendations