任何一个三段论，其中的每一个词项必须并且只能在两个性质判断中各出现一次。