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.
    The rules of logic give precise meaning to mathematical statements. These rules are used
    to distinguish between valid and invalid mathematical arguments. Apart from its importance
    in understanding mathematical reasoning, logic has numerous applications in Computer Science, varying from the design of digital circuits to the construction of computer programs and
    verication of the correctness of programs.