多項選擇題設(shè)個體域為自然數(shù)集，a表示自然數(shù)0，R表示自然數(shù)上的小于關(guān)系。則下列公式為真的有：（）。

A.?xRax→?xRxa
B.?x?y（Rxy→Ryx）
C.?xRax→?xRxa
D.?x?y?z（Rxy∧Ryz→Rxz）


您可能感興趣的試卷

你可能感興趣的試題

1.多項選擇題“沒有S是P”用一階公式表達(dá)正確的有：（）。

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

2.單項選擇題下列推演使用初始規(guī)則一步可得的是（）。

A.從?x?y?z（Rxy∧Ryz→Rxz）推出?y?z（Rxy∧Ryz→Rxz）
B.從?x?y?z（Rxy∧Ryz→Rxz）推出?x?y （Rxy∧Ryz→Rxz）
C.從?x?y?z （Rxy∧Ryz→Rxz）推出?w?x?y?z （Rxy∧Ryz→Rxz）
D.從?x?y?z （Rxy∧Ryz→Rxz）推出Rxy∧Ryz→Rxz

3.單項選擇題為了證明?x（Px∨Qx）→?xPx∨?xQx不普遍有效，下列解釋可取的是（）。

A.個體域為自然數(shù)集，P解釋為自然數(shù)集，Q解釋為空集
B.個體域為全體大學(xué)生的集合，P解釋為男大學(xué)生的集合，Q解釋為女大學(xué)生的集合
C.個體域為全體學(xué)生的集合，P解釋為大學(xué)生的集合，Q解釋為小學(xué)生的集合
D.個體域為整數(shù)集，P解釋為奇數(shù)集，Q解釋為正數(shù)集

4.單項選擇題下列公式中普遍有效的是（）。

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

5.單項選擇題?x（Sx→Px）為真的充分必要條件是（）。

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