 Below is a summary of the relations of entailment (including subalternation) and contradiction for four basic types of propositions, all one-sided, in the referential/substantial reading; in the case of two-sided propositions, contradictories are disjunctive statements or involve a disjunctive predicate (the latter only applies to two-sided possibility propositions):