单项选择题
“所有作案人（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），苏格拉底是人，所以，苏格拉底是要死的。”上述这个推理，可以用谓词推理公式表示为（）。
多项选择题 关于真值形式，下列说法正确的是（）。
单项选择题 下列命题形式中，属于重言式的是（）。
