Logical relations involving necessity, sufficiency, inclusion, exclusion, implication, and contradiction.
