2. Propositional Logic

Propositional logic is a branch of logic that deals with sentences that are either true or false, but not both. It takes elementary or compound propositions/sentences (both of which are wffs) and combines them into new compound propositions by linking them with logical connectives.


Table of Contents

    1. Language
    2. Semantics
      1. Definitions
      2. Truth Functions
    3. Propositional Calculus: \(P_2\)
    4. Useful Theorems, Lemmas and Metatheorems
    5. Deduction Metatheorem \(\rightarrow\) still working on it
    6. Soundness and Consistency
    7. Completeness and Decidability
    8. Independence Proof
    9. Other Propositional Calculi
      1. Łukasiewicz System
      2. Walsh's System with \(A_1\)
      3. Nicod's System
      4. Natural Deduction

Posted 27/08/2024 | Last edited 10/03/2025