Logic, dated 【逻】 <旧>
denoting propositions which can both be true, but cannot both be false (e.g. some X are Y and some X are not Y)
小反对关系的, 下反对关系的。
(pl. -ies)
a proposition of this kind
小（或下）反对关系命题。
词源
late 16th cent.: from late Latin subcontrarius, translation of Greek hupenantios.