相关考题
-
单项选择题
涉及量化的证明需要利用（）。
A、真值函项规则
B、量化规则
C、量化等值规则
D、归谬法 -
单项选择题
收敛结构又称为（），是指由两个或两个以上前提分别独立支持同一结论的结构。
A、序列结构
B、简单结构
C、同一结构
D、并行结构 -
单项选择题
真值函项等值又被称为（）。
A、函项等值
B、真值表
C、逻辑等值
D、真值函项
