單項(xiàng)選擇題

涉及量化的證明需要利用（）。

A、真值函項(xiàng)規(guī)則
B、量化規(guī)則
C、量化等值規(guī)則
D、歸謬法

你可能感興趣的試題

單項(xiàng)選擇題

收斂結(jié)構(gòu)又稱為（），是指由兩個(gè)或兩個(gè)以上前提分別獨(dú)立支持同一結(jié)論的結(jié)構(gòu)。

A、序列結(jié)構(gòu)
B、簡(jiǎn)單結(jié)構(gòu)
C、同一結(jié)構(gòu)
D、并行結(jié)構(gòu)

單項(xiàng)選擇題

真值函項(xiàng)等值又被稱為（）。

A、函項(xiàng)等值
B、真值表
C、邏輯等值
D、真值函項(xiàng)