types of propositions in symbolic logic