企源知识库

命题公式A中含n个命题变项，A为矛盾式的条件是A的主合取范式含
A、2ⁿ个极大项
B、1个极大项
C、2ⁿ个极小项
D、1个极小项
【正确答案】：A
【题目解析】：矛盾式没有成真赋值。每个极大项有一种成假赋值组合，因为命题公式A中含n个命题变项，当其主合取范式恰好拥有2ⁿ个极大项时，恰好穷尽了所有赋值组合，即对A来说，所有赋值组合都是成假的，A即是矛盾式。