公式（p→¬q）→（p↔¬q）的主析取范式及主合取范式为：（）（注意：↔是等价联结词，p↔¬q 即（p→¬q）∧（¬q→p））

以下谓词推理说法正确的是（）。A.（2）⇒（3）错误B.（3）⇒（4）错误C.（1）⇒（2）错误D.推理无错误

单项选择题

以下谓词推理说法正确的是（）。

下列推理式不正确的是（）。A.AB.BC.CD.D

单项选择题

下列推理式不正确的是（）。

以下谓词推理不正确的是（）。A.AB.BC.CD.D

单项选择题

以下谓词推理不正确的是（）。