單項(xiàng)選擇題

“所有作案人（Px）或者是故意犯罪（Cx）或者是過失犯罪（Nx）。有的作案人不是故意犯罪，所以，有的作案人是過失犯罪?！鄙鲜鲞@個(gè)推理，可以用謂詞推理公式表示為（）。

A.?x（Px→（Cx∨Nx））∧?x（Px∧～Cx）→?x（Px∧Nx）
B.?x（Px→（Cx∧Nx））∧?x（Px∧～Cx）→?x（Px∧Nx）
C.?x（Px→（Cx∨Nx））∧（Pa∧～Ca）→（Pa∧Na）
D.?x（Px→（Cx∧Nx））∧（Pa∧～Ca）→（Pa∧Na）

你可能感興趣的試題

單項(xiàng)選擇題

“所有人（Mx）都是要死的（Dx），蘇格拉底是人，所以，蘇格拉底是要死的?！鄙鲜鲞@個(gè)推理，可以用謂詞推理公式表示為（）。

A.?x（Mx→Dx）∧Ma→Da
B.?x（Mx→Dx）∧Mx→Dx
C.?x（Mx→～Dx）∧Ma→～Da
D.?x（Mx→Dx）∧～Mx→～Dx

多項(xiàng)選擇題

關(guān)于真值形式，下列說法正確的是（）。

A.一個(gè)真值形式A是重言式，當(dāng)且僅當(dāng)它的否定～A是矛盾式
B.一個(gè)命題推理有效，當(dāng)且僅當(dāng)它的真值形式是一個(gè)重言式
C.一個(gè)命題推理有效，當(dāng)且僅當(dāng)它的真值形式是一個(gè)可真式
D.一個(gè)真值形式A是可真式，當(dāng)且僅當(dāng)它的否定～A不是重言式

“所有作案人（Px）或者是故意犯罪（Cx）或者是過失犯罪（Nx）。有的作案人不是故意犯罪，所以，有的作案人是過失犯罪?！鄙鲜鲞@個(gè)推理，可以用謂詞推理公式表示為（）。

你可能感興趣的試題

“所有人（Mx）都是要死的（Dx），蘇格拉底是人，所以，蘇格拉底是要死的?！鄙鲜鲞@個(gè)推理，可以用謂詞推理公式表示為（）。

關(guān)于真值形式，下列說法正確的是（）。

“所有作案人（Px）或者是故意犯罪（Cx）或者是過失犯罪（Nx）。有的作案人不是故意犯罪，所以，有的作案人是過失犯罪?！鄙鲜鲞@個(gè)推理，可以用謂詞推理公式表示為（）。

“所有人（Mx）都是要死的（Dx），蘇格拉底是人，所以，蘇格拉底是要死的?！鄙鲜鲞@個(gè)推理，可以用謂詞推理公式表示為（）。

關(guān)于真值形式，下列說法正確的是（）。