• Introduction: Contents, goals, literature

• Part 1: Propositional logic
  • 1.1 Syntax

  • 1.2 Semantics
    • Boolean functions,
    • valuations,

  • 1.3 Models, validity, satisfiability
  
  Imprint | Data Protection