A.∀x（J（x）→L（x））B.∀x（J（x）∧L（x））C.∃x（J（x）→L（x））D.∃x（J（x）∧……

单项选择题（q→p）∧（¬p∧q ）的主析取范式及主合取范式为：（）

A.主析取范式为空，M₀∧M₁∧M₂∧M₃
B.m₀∨m₁∨m₂∨m₃，主合取范式为空
C.m₀∨m₁∨m₂，M₀
D.m₀，M₁∧M₂∧M₃

单项选择题p→（p ∧（q →p ））的主析取范式及主合取范式为：（）

A.m₀∨m₁∨m₂，M₃
B.m₂∨m₃，M₀∧M₁
C.m₀∨m₁∨m₂∨m₃，主合取范式为空
D.主析取范式为空，M₀∧M₁∧M₂∧M₃

单项选择题q ∧（p ∨¬q ）的主析取范式及主合取范式为：（）

A.m₃，M₀∧M₁∧M₂
B.m₂，M₀∧M₁∧M₃
C.m₂∨m₃，M₀∧M₁
D.m₁∨m₂，M₀∧M₃

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

A.m₀∨ m₁∨ m₂，M₃
B.m₂∨ m₃，M₀∧M₁
C.m₁∨ m₂∨m₃，M₀
D.m₁∨ m₂，M₀∧M₃

单项选择题以下谓词推理说法正确的是（）。

A.（2）⇒（3）错误
B.（3）⇒（4）错误
C.（1）⇒（2）错误
D.推理无错误