你可能感興趣的試題

下列推演使用初始規(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

單項(xiàng)選擇題

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

A.個(gè)體域?yàn)樽匀粩?shù)集，P解釋為自然數(shù)集，Q解釋為空集
B.個(gè)體域?yàn)槿w大學(xué)生的集合，P解釋為男大學(xué)生的集合，Q解釋為女大學(xué)生的集合
C.個(gè)體域?yàn)槿w學(xué)生的集合，P解釋為大學(xué)生的集合，Q解釋為小學(xué)生的集合
D.個(gè)體域?yàn)檎麛?shù)集，P解釋為奇數(shù)集，Q解釋為正數(shù)集

“沒有S是P”用一階公式表達(dá)正確的有：（）。

你可能感興趣的試題

下列推演使用初始規(guī)則一步可得的是（）。

為了證明?x（Px∨Qx）→?xPx∨?xQx不普遍有效，下列解釋可取的是（）。

“沒有S是P”用一階公式表達(dá)正確的有：（）。

下列推演使用初始規(guī)則一步可得的是（）。

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