Tautologies, contingencies
A sentence expresses a tautology if it is true in all logically possible worlds.
? If John is a thief and it rains, then John is a thief
A sentence expresses a contingency if it is true in some logically possible worlds, false in others.
? If John is a thief, then he is punishable