Obversion
In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is the same to the original proposition. The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types (A, E, I , O) of categorical propositions. In a universal affirmative and a universal negative proposition the subject term and the predicate term are both replaced by their negated counterparts: The universal affirmative ("A" proposition) is obverted to a universal negative ("E" proposition). The universal negative ("E" proposition) is obverted to a universal affirmative ("A" proposition). In the particular affirmative the quantity of the subject term remains unchanged, but the predicate term of the inferred proposition negates the complement of the predicate term of the original proposition. The particular affirmative ("I" proposition) is obverted to a particular negative ("O" proposition). In the obversion  of a particular negative to a particular affirmative the quantity of the subject also remains unchanged, and the predicate term is changed from simple negation to a term of the complementary class. The particular negative ("O") proposition is obverted to a particular affirmative ("I" proposition). Note that the truth-value of an original statement is preserved in its resulting obverse form. Because of this, obversion can be used to determine the immediate inferences of all categorical propositions, regardless of quality or quantity. In addition, obversion allows us to navigate through the traditional square of logical opposition by providing a means  to proceed from "A" Propositions to "E" Propositions, as well as from "I" Propositions to "O" Propositions, and vice versa. However, although the resulting propositions from obversion are logically equivalent to the original statements in terms of truth-value, they are not semantically equivalent to their original statements in their standard form. Proof that the truth-value of the original statement is preserved by an obversion operation. Consider all possible relationships between the Subject (S) and the Predicate (P) represented using sets: Case 1: S = P (S and P perfectly overlap) Case 2: S is a subset of P  Case 3: P is a subset of S Case 4: S and P are two overlapping sets Case 5: S and P are disjoint sets Case 6: S is the universe with P being a subset of S Case 7: P is the universe with S being a subset of P Validity of statements after Obversion: The obversion operation is performed by changing the quality of the statement and replacing the predicate with its complement. 1. Statement: All S are P (Applicable for Case 1, 2, and 7) Obverse: No S are non-P Validity: YES 2. Statement: No S  are P (Applicable for Case 5) Obverse: All S are non-P Validity: YES 3. Statement: Some S are P (Applicable for Case 1, 2, 3, 4, 6 and 7) Obverse: Some S are not non-P Validity: YES 4. Statement: Some S are not P (Applicable for Case 3, 4, 5 and 6) Obverse: Some S are non-P Validity: YES