What is meant by opposition of propositions?
As we have seen that there are four types of categorical propositions namely A, E, I and 3-propositions having respectively the logical structure of the form "All S is P", "No S is P", "Some S is P" and "Some S is not P".