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