Pronunciation: ˌ sü-p ə r- ' o ̇ l-t ə rn
Function: noun
Etymology: super- + sub altern
Date: 1921
: a universal proposition (as “ every P is Q ” ) that in traditional logic is held to be grounds for the immediate inference of the truth of a corresponding subaltern (as “ some P is Q ” )