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