多項選擇題取個體域為整數(shù)集。下列解釋能使公式"x"y（Rxy→Ryx）為真的有（）

A.R 表示“＜”關(guān)系
B.R 表示“≤”關(guān)系
C.R 表示“＝”關(guān)系
D.R 表示“≠”關(guān)系


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題“有的S 不是P”用一階公式表達正確的有（）

A.$x（Sx∧?Px）
B."x（Sx→?Px）
C.$x（Sx→?Px）
D.?"x（Sx∧Px）

2.單項選擇題選擇恰當?shù)慕Y(jié)論，使得推理形式有效：有的矩形是正方形，所有平行四邊形都不是梯形，所有矩形都是平行四邊形；所以，（）。

A.有的正方形不是梯形
B.有的梯形不是正方形
C.所有的正方形都不是梯形
D.所有的梯形都不是正方形

3.多項選擇題下列三段論格式中有效的有（）

A.AII-1
B.EAO-2
C.AII-3
D.EAO-4

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

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

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

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