单项选择题
逻辑系统的四大定理不包括（）。
A、一致性定理 B、有效性定理 C、可靠性定理 D、不完全性定理
判断题 “合取”的真值规则是：只有当所有合取支为真时，它才为真，否则便为假。（）
判断题 “等值”的真值规则是：只有当前件和后件都具有不同的真值时才为真，否则为假。（）
判断题 在三段论的命题中，前提有一个，结论有两个。（）
