Basic concepts of logic: consistency, logical truth, entailment, equivalence. Symbolization of natural language inferences using sentential and predicate logic. Formal syntax of sentential and predicate logic. Natural deduction for sentential logic. Introduction to the semantics of metatheory of sentential logic: truth-tables, truth-functionational completeness, soundness and completeness of the natural deductive system, compactness.