单项选择题
“所有人（Mx）都是要死的（Dx），苏格拉底是人，所以，苏格拉底是要死的。”上述这个推理，可以用谓词推理公式表示为（）。
A.∀x（Mx→Dx）∧Ma→DaB.∀x（Mx→Dx）∧Mx→DxC.∀x（Mx→～Dx）∧Ma→～DaD.∀x（Mx→Dx）∧～Mx→～Dx
多项选择题 关于真值形式，下列说法正确的是（）。
单项选择题 下列命题形式中，属于重言式的是（）。
单项选择题 下列命题公式中，属于重言蕴涵的是（）。
