A.m3，M0∧M1∧M2B.m2，M0∧M1∧M3C.m2∨m3，M0∧M1D.m1∨m2，M0∧M3
单项选择题公式（p→¬q）→（p↔¬q）的主析取范式及主合取范式为：（）（注意：↔是等价联结词，p↔¬q 即（p→¬q）∧（¬q→p））
A.m0∨ m1∨ m2，M3B.m2∨ m3，M0∧M1C.m1∨ m2∨m3，M0D.m1∨ m2，M0∧M3
单项选择题以下谓词推理说法正确的是（）。
A.（2）⇒（3）错误B.（3）⇒（4）错误C.（1）⇒（2）错误D.推理无错误
单项选择题下列推理式不正确的是（）。
A.AB.BC.CD.D
单项选择题以下谓词推理不正确的是（）。
单项选择题下述推理证明过程中，正确的是（）。
