Introduction

Truth

Propositional variables

Operators

Unary operators

Binary operators

Types of formulae

Semantic consequence

Interpretations

Semantic consequence

Normal form

Brackets replace the need for n-ary operators

Inference

Syntactic consequence

Axioms for propositional logic

Clauses

Principle of explosion