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

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）


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題“所有人（Mx）都是要死的（Dx），蘇格拉底是人，所以，蘇格拉底是要死的?！鄙鲜鲞@個推理，可以用謂詞推理公式表示為（）。

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

2.多項選擇題關于真值形式，下列說法正確的是（）。

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

3.單項選擇題下列命題形式中，屬于重言式的是（）。

A.（（A→B）∧（C→D）∧（B∨C））→（A∨D）
B.（（A→B）∧（（～A∧C）→D）∧（～A∧D））→～B
C.（（A∨B）∧（A→C）∧（B→D））→（～C→D）
D.～（A∨～A）

4.單項選擇題下列命題公式中，屬于重言蘊涵的是（）。

A.（（A∨B）→B）
B.（A→（A∧B））
C.（（A→～B）∧B）→A
D.（（A→～B）∧B）→～A