单项选择题
涉及量化的证明需要利用()。
A、真值函项规则 B、量化规则 C、量化等值规则 D、归谬法
单项选择题 收敛结构又称为(),是指由两个或两个以上前提分别独立支持同一结论的结构。
单项选择题 真值函项等值又被称为()。
单项选择题 ()是指前提或结论中至少有一个条件命题的论证。