Some impure liquids are water.
Some not-white buildings are houses.
It is indicated in the foregoing scheme that “I” cannot be contraverted. This is due to the fact that the obverseof an I is an O, and it will be remembered that “O” cannot be converted. All the other propositions admit of contraversion.
4. EPITOME OF THE FOUR PROCESSES OF IMMEDIATE INFERENCE IN CONNECTION WITH THE FOUR LOGICAL PROPOSITIONS.
| [*] | Proposition symbolized | Name of Process | Inference symbolized | Principle involved |
| A | All S is P[†] | Opposition | Some S is P (I) | What is said of all may be said of some. |
| Obversion | No S is not-P (E) | Two negatives are equivalent to one affirmative. | ||
| Conversion by Limitation | Some P is S (I) | An undistributed term cannot be distributed. | ||
| Contraversion | No not-P is S (E) | Same principles which obtain in obverting A and converting E. | ||
| E | No S is P | Opposition | Some S is not P (O) | What is said of all may be said of some. |
| Obversion | All S is not-P (A) | Two negatives are equivalent to one affirmative. | ||
| Simple Conversion | No P is S (E) | Distribution not affected. | ||
| Contraversion | Some not-P is S (I) | An undistributed term cannot be distributed. | ||
| I | Some S is P | Opposition | Doubtful | None. |
| Obversion | Some S is not not-P (O) | Two negatives are equivalent to one affirmative. | ||
| Conversion | Some P is S (I) | Distribution not affected. | ||
| Contraversion | Impossible | None. | ||
| O | Some S is not P | Opposition | Doubtful | None. |
| Obversion | Some S is not-P (I) | Two negatives are equivalent to one affirmative. | ||
| Conversion | Impossible | None. | ||
| Contraversion | Some not-P is S (I) | Same as in obversion of O and conversion of I. |
[*] – Name of proposition
[†] – “S” represents any subject and “P” any predicate.
INFERENCE BY INVERSION.
Some logicians treat of a form of immediate inference known as inversion though it is of small importance and of little practical value.
The process can be applied only to propositions A and E. In the one case the contradictory subject is limited by “some” and then denied of the predicate, whereas, in the other case, the contradictory subject is merely affirmed of the predicate.