An introduction to propositional logic, syntax and semantics. I explain how propositional formulas describe boolean operations, and that every boolean operation can be described by a propositional formula. I define the conjunctive and disjunctive normal forms.
