单项选择题
“所有作案人（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）
点击查看答案&解析
相关考题
-
单项选择题
“所有人（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 -
多项选择题
关于真值形式，下列说法正确的是（）。
A.一个真值形式A是重言式，当且仅当它的否定～A是矛盾式
B.一个命题推理有效，当且仅当它的真值形式是一个重言式
C.一个命题推理有效，当且仅当它的真值形式是一个可真式
D.一个真值形式A是可真式，当且仅当它的否定～A不是重言式 -
单项选择题
下列命题形式中，属于重言式的是（）。
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）
