單項選擇題

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

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

你可能感興趣的試題

單項選擇題

收斂結構又稱為（），是指由兩個或兩個以上前提分別獨立支持同一結論的結構。

A、序列結構
B、簡單結構
C、同一結構
D、并行結構

單項選擇題

真值函項等值又被稱為（）。

A、函項等值
B、真值表
C、邏輯等值
D、真值函項