Sentential Logic

  • J. Donald Monk
Part of the Graduate Texts in Mathematics book series (GTM, volume 37)


Before considering first-order languages we consider some simpler languages, whose study will be a simplified model of the more involved study of first-order languages themselves. These sentential languages enable one to express only such primitive logical notions as not,implication, and, or, etc. These connectives between sentences are such that the truth of a complicated sentence can be inferred just from the truth or falsity of its components.


Truth Table Finite Sequence Intuitionistic Logic Conjunctive Normal Form Completeness Theorem 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Schmidt, H. A. Mathematische Gesetze der Logik. Berlin: Springer (1960).MATHGoogle Scholar
  2. 2.
    Lukasiewicz, J. and Tarski, A. Investigations into the sentential calculus. In Logic, Semantics, Metamathematics; Collected Papers of A. Tarski. Oxford: Oxford Univ. Press (1956).Google Scholar
  3. 3.
    Post, E. The Two-Valued Iterative Systems of Mathematical Logic. Princeton: Princeton Univ. Press (1941).MATHGoogle Scholar

Copyright information

© Springer-Verlag Inc. 1976

Authors and Affiliations

  • J. Donald Monk
    • 1
  1. 1.Department of MathematicsUniversity of ColoradoBoulderUSA

Personalised recommendations