单项选择题 逻辑系统的四大定理不包括（）。

判断题 “合取”的真值规则是：只有当所有合取支为真时，它才为真，否则便为假。（）

判断题 “等值”的真值规则是：只有当前件和后件都具有不同的真值时才为真，否则为假。（）