問答題什么是邏輯學(xué)?

您可能感興趣的試卷

你可能感興趣的試題

2.多項選擇題設(shè)P是一元謂詞,a是個體常項。下列屬于正確的推演的有()。

A.從Px推出Pa
B.從?xPx推出Pa
C.從?xPx推出Pa
D.從?xPx∧?x?Px推出Pa

3.多項選擇題為了證明?xPx∧?xQx→?x(Px∧Qx)可滿足,下列解釋可取的有()。

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

5.多項選擇題“沒有S是P”用一階公式表達正確的有:()。

A.??x(Sx→Px)
B.?x(Sx→?Px)
C.?x(Sx∧?Px)
D.??x(Sx∧Px)