单选题
范式就是标准的公式。若用←、→、∧、∨、¬表示常项,用p、q、r、s表示变项,则范式是指只含有常项¬或∧或∨,并且¬只出现在变项前的公式。
根据以上定义,下列哪一个公式是范式?______
A、
(p→q)∧p→q
B、
¬((p∧q)∨r∨¬s)
C、
¬(p∧¬q)∨r∨s
D、
p∧q∧r∧s
【正确答案】
D
【答案解析】
[解析] 范式的定义要点是:①只含有常项¬或∧或∨;②¬只出现在变项前的公式。A不符合①;B、C不符合②;只有D项符合定义。
提交答案
关闭