对字母的解释或赋值不能使M1为真且M2为假。

字母的赋值是直接赋予命题形式中的字母以真值或假值。

判断题字母的赋值是直接赋予命题形式中的字母以真值或假值。

主项是性质命题中表示被断定的对象的词项。

判断题主项是性质命题中表示被断定的对象的词项。

法律大前提中的主项和小前提中的谓项必须一致。

判断题法律大前提中的主项和小前提中的谓项必须一致。