多項選擇題下列公式滿足形式A→(B→C)的有()。

A.(p→q)→(r→s)
B.p→((q→r)→s)
C.p→(q→(r→s))
D.(p→(q→r))→s


您可能感興趣的試卷

你可能感興趣的試題

1.多項選擇題關于命題邏輯公式的下列說法正確的有()。

A.公式的數量是無窮的,但每個公式的長度總是有窮的
B.(p∧q)和(q∧p)是相同的公式
C.一個否定式的否定不再是否定式
D.公式是滿足一定排列組合規(guī)則的符號串

2.單項選擇題在PN推演中,“∨-”規(guī)則指的是()。

A.從A∨B和?B推出A;從A∨B和?A推出B
B.從A∨B推出A;從A∨B推出B
C.從A→B和?A→B推出B
D.從A∨B、A→C和B→C推出C

3.單項選擇題畫樹形圖時,如果根節(jié)點的公式為A,最后有的枝不封閉,則可以證明()。

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

5.單項選擇題已知p假q真,則下列公式中為真的是()。

A.?(q∧p)→p
B.p∨?q→p
C.(p∨q)∧p
D.(p∨?q)∨?q

最新試題

以下不能表示“合取”含義的聯結詞是()。

題型:單項選擇題

“殺死比爾的要么是毒藥,要么是這把槍?!边@個命題里包含著一個相容析取聯結詞。

題型:判斷題

“黨員”→“女黨員”→“優(yōu)秀女黨員”這一過程是()

題型:單項選擇題

科學是人類關于自然,社會和思維的知識體系??茖W是一種社會意識形態(tài)??茖W是通過概念,定義邏輯思維形式來反映客觀世界的??茖W是分為自然科學和社會科學兩大類,而哲學則是自然知識和社會知識的概括和總結。這幾個命題對“科學”這一概念是()

題型:單項選擇題

以下命題中是復合命題的有()。

題型:多項選擇題

“金山”和“金屬”這兩個詞項的外延之間的關系是()。

題型:單項選擇題

學校規(guī)定,除非是法學院二年級學生,否則不被允許進入法學展覽館。以下哪幾項說明學校沒有違反了規(guī)定()1.小明是信息學院學生,但被允許入內2.小紅是法學院三年級學生,但被允許入內3.小強是法學院二年級學生,但不被允許入內

題型:單項選擇題

與“如果甲考上大學,則乙也考上大學”相矛盾的判斷是()

題型:單項選擇題

從周延性上看,“動物沒有理性”和“難道獨角獸存在嗎?”這兩個命題()。

題型:單項選擇題

“陽光充足”和“莊稼豐收”之間是什么關系()

題型:單項選擇題