单项选择题

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

公式（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.推理无错误

单项选择题下列推理式不正确的是（）。

A.A
B.B
C.C
D.D

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

A.A
B.B
C.C
D.D

单项选择题下述推理证明过程中，正确的是（）。

A.A
B.B
C.C
D.D

判断题设个体域是整数集合，P代表（∀x）（∀y）（（x<y）→（（x-y）<x）），P是假命题。