Essentials of symbolic logic