The language of propositional logic, truth valuations, truth-tables, tautologies, tautological equivalence, the notion of tautological consequence. Adequacy of sets of connectives, normal form and logical circuits. Boolean algebra. Formal proofs, soundness and completeness. The language of predicate logic, formulae, sentences. Valuations of variables, semantics, the concept of truth. Logical validity, rules concerning quantifiers, normal forms. Compactness of predicate logic and mathematical applications.