法律三段论是法律推理的全部。

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

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

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

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

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

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