3.1 Basic concepts of symbolic logic: definition of a proposition; symbolic notation of propositions.