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

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

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