單項(xiàng)選擇題涉及量化的證明需要利用（）。

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


您可能感興趣的試卷

你可能感興趣的試題

1.單項(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)

2.單項(xiàng)選擇題真值函項(xiàng)等值又被稱為（）。

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

3.單項(xiàng)選擇題（）是指前提或結(jié)論中至少有一個(gè)條件命題的論證。

A、前提論證
B、結(jié)論論證
C、條件論證
D、命題論證

4.單項(xiàng)選擇題（）是指通過改變命題的質(zhì)或量從而推導(dǎo)出新命題的論證。

A、三段論論證
B、對(duì)當(dāng)關(guān)系論證
C、質(zhì)量論證
D、直言命題運(yùn)算論證

5.單項(xiàng)選擇題用真值表檢驗(yàn)重言式與矛盾式需要針對(duì)所討論的命題建立一個(gè)（）。

A、重言式
B、矛盾式
C、真值列
D、真值行