This module introduces some basic notions and fundamentals of propositional logic on the base of numerous examples and motiviating problems in science and normal life.

1. Statements
2. The Truth Functions
3. Expressions and Formulas
4. Notations
5. Creating Formulas and Terms
6. Assignment of Variables
7. Value of a formula
8. Satisfiability, Validity and Equivalence
9. Propositional Calculus
10. Exercise Section (A Puzzle)