Propositional Logic

  • Daizhan Cheng
  • Hongsheng Qi
  • Zhiqiang Li
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 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  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