Covers basic information in semantics and syntax of sentential and predicate logic, construction of truth trees and derivations of natural deductive systems.