Section outline

  • Propositional logic is a branch of mathematics that studies the logical relationships between
    propositions (or statements, sentences, assertions) taken as a whole, and connected via logical
    connectives. In this chapter, we will cover propositional logic and related topics in detail.
    Logic is the basis of all mathematical reasoning and all automated reasoning. The rules of logic
    specify the meaning of mathematical statements. These rules help us understand and reason
    with statements.