Introduction to symbolic logic (through first-order predicate logic); interpretations; formal proofs, consistency; some practical applications.