superaltern
/ˌsupərˈɔltərn/
noun
- In logic, a universal proposition (such as 'all S are P') from which a particular proposition (such as 'some S are P') can be inferred.
- In the square of opposition, the statement 'All dogs are mammals' is a superaltern that implies 'Some dogs are mammals.'
- When studying categorical logic, you learn that the superaltern and its subaltern have the same truth value in most cases.
- The logic teacher explained that a superaltern is always true if its subaltern is true.