Logical relationships involving necessity, sufficiency, exception, equivalence, exclusion, and consequence.