intro to symbolic logic