單項(xiàng)選擇題下列公式中普遍有效的是()。

A.?x?yRxy→?y?xRxy
B.?y?xRxy→?x?yRxy
C.?x?yRxy→?x?yRxy
D.?x?yRxy→?x?yRxy


您可能感興趣的試卷

你可能感興趣的試題

1.單項(xiàng)選擇題?x(Sx→Px)為真的充分必要條件是()。

A.S表示的集合是P表示的集合的子集。
B.如果S表示的集合不是空集,那么P表示的集合不是空集。
C.S表示的集合不是整個(gè)個(gè)體域,或者P表示的集合不是空集。
D.S表示的集合不是空集,或者P表示的集合不是空集。

2.多項(xiàng)選擇題下列屬于正確的PN推演的有()。

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

3.多項(xiàng)選擇題在PN推演中,下列推導(dǎo)可以通過(guò)初始規(guī)則一步完成的有()。

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

4.多項(xiàng)選擇題下列公式與A∨?B邏輯等值的有()。

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

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

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

最新試題

學(xué)校規(guī)定,除非是法學(xué)院二年級(jí)學(xué)生,否則不被允許進(jìn)入法學(xué)展覽館。以下哪幾項(xiàng)說(shuō)明學(xué)校沒(méi)有違反了規(guī)定()1.小明是信息學(xué)院學(xué)生,但被允許入內(nèi)2.小紅是法學(xué)院三年級(jí)學(xué)生,但被允許入內(nèi)3.小強(qiáng)是法學(xué)院二年級(jí)學(xué)生,但不被允許入內(nèi)

題型:?jiǎn)雾?xiàng)選擇題

已知“有些違法行為不是犯罪行為”為真,則()

題型:?jiǎn)雾?xiàng)選擇題

喜馬拉雅山:概括為喜馬拉雅山最高峰,限制為山脈()

題型:?jiǎn)雾?xiàng)選擇題

“殺死比爾的要么是毒藥,要么是這把槍?!边@個(gè)命題里包含著一個(gè)相容析取聯(lián)結(jié)詞。

題型:判斷題

“《家》、《春》、《秋》是巴金的小說(shuō)”和“《家》、《春》、《秋》是巴金的《激流三部曲》”,這兩個(gè)判斷()聯(lián)言判斷。

題型:?jiǎn)雾?xiàng)選擇題

“金山”和“金屬”這兩個(gè)詞項(xiàng)的外延之間的關(guān)系是()。

題型:?jiǎn)雾?xiàng)選擇題

“這款網(wǎng)絡(luò)游戲是明星代言的,所以一定非常好玩?!边@句話在邏輯上主要犯了()錯(cuò)誤。

題型:?jiǎn)雾?xiàng)選擇題

北京大學(xué):概括為高等院校、限制為北京大學(xué)哲學(xué)系()

題型:?jiǎn)雾?xiàng)選擇題

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

題型:多項(xiàng)選擇題

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

題型:?jiǎn)雾?xiàng)選擇題