你可能感興趣的試題

多項(xiàng)選擇題

設(shè)P是一元謂詞，a是個(gè)體常項(xiàng)。下列屬于正確的推演的有（）。

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

多項(xiàng)選擇題

為了證明?xPx∧?xQx→?x（Px∧Qx）可滿足，下列解釋可取的有（）。

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

設(shè)P、Q是一元謂詞，a是個(gè)體常項(xiàng)?？紤]如下推演關(guān)系：現(xiàn)欲在橫線上填入一個(gè)公式，使得該推演關(guān)系成立。以下公式中可填入的有：（）。

你可能感興趣的試題

設(shè)P是一元謂詞，a是個(gè)體常項(xiàng)。下列屬于正確的推演的有（）。

為了證明?xPx∧?xQx→?x（Px∧Qx）可滿足，下列解釋可取的有（）。

設(shè)P、Q是一元謂詞，a是個(gè)體常項(xiàng)?？紤]如下推演關(guān)系：

現(xiàn)欲在橫線上填入一個(gè)公式，使得該推演關(guān)系成立。以下公式中可填入的有：（）。

設(shè)P是一元謂詞，a是個(gè)體常項(xiàng)。下列屬于正確的推演的有（）。

為了證明?xPx∧?xQx→?x（Px∧Qx）可滿足，下列解釋可取的有（）。