單項(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ù)集

你可能感興趣的試題

單項(xiàng)選擇題

下列公式中普遍有效的是（）。

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

單項(xiàng)選擇題

?x（Sx→Px）為真的充分必要條件是（）。

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

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

你可能感興趣的試題

下列公式中普遍有效的是（）。

?x（Sx→Px）為真的充分必要條件是（）。

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

下列公式中普遍有效的是（）。

?x（Sx→Px）為真的充分必要條件是（）。