多項(xiàng)選擇題下列三段論規(guī)則中正確的有（）

A.結(jié)論否定，則恰有一個(gè)前提否定。
B.結(jié)論特稱，則恰有一個(gè)前提特稱。
C.結(jié)論否定，則中項(xiàng)恰好周延一次。
D.結(jié)論特稱，則中項(xiàng)恰好周延一次。


您可能感興趣的試卷

你可能感興趣的試題

1.多項(xiàng)選擇題下列推演規(guī)則中正確的有（）。

A.從A→B 和?B 推出?A
B.從A→B 和?A 推出?B
C.從A→B 和B 推出A
D.從A→B 和A 推出B

2.單項(xiàng)選擇題在PN推演中，“?-”規(guī)則指的是（）。

A.從A?B 推出A；從A?B 推出B
B.從A?B 和A 推出B；從A?B 和B 推出A
C.從A?B 推出A→B；從A?B 推出B→A
D.從A?B 和含子公式A 的公式C（A）推出C（A/B）（將C 中的一處或多處A 代換為B）

3.多項(xiàng)選擇題下列公式中屬于重言式的有（）。

A.（p→?p）→q
B.q→（?q→p）
C.（p→p）→?q
D.p→（?q→p）

4.單項(xiàng)選擇題畫樹形圖時(shí)，如果根節(jié)點(diǎn)的公式為?A，最后所有的枝均封閉，則可以證明（）

A.A 不是可滿足式
B.?A 是重言式
C.A 不是重言式
D.?A 不是重言式

5.單項(xiàng)選擇題下列關(guān)于真值表方法的敘述錯(cuò)誤的是（）。

A.真值表方法可以判定任意命題邏輯公式是重言式、偶真式還是矛盾式
B.任一命題邏輯公式的真值表都是唯一的
C.真值表方法的合理性依賴如下前提：一個(gè)公式的真值僅由在該公式中出現(xiàn)的符號的意義決定
D.含n 個(gè)命題變元的公式的真值表共有2n 行