你可能感興趣的試題

多項選擇題

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

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

單項選擇題

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

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

你可能感興趣的試題

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

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

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

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

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