The semantical and the syntactical treatment of the propositional calculus and the predicate calculus (zero-order and first-order logic). Concept of consequence, decision problem, automatic theorem proving and resolution principle. Soundness and completeness.