Propositional Logic

Abstract

In propositional logic, as the name suggests, propositions are connected by logical operators. The statement “the street is wet” is a proposition, as is “it is raining”. These two propositions can be connected to form the new proposition “if it is raining the street is wet”. Written more formally: “it is raining ⇒ the street is wet”. Introducing important concepts such as syntax, semantics, interpretation, model, correctness, completeness, calculus, etc., this chapter serves as a “warm up” for first order predicate logic in Chap. 3. The language of propositional logic will also be used in Chap. 7 as a basis for probabilistic logic.