首页
>
离散数学(02324)
> 题目详情
命题公式A中含n个命题变项,A为矛盾式的条件是A的主合取范式含
分类: 离散数学(02324)
发布时间: 2024-08-03 22:50
浏览量: 1
命题公式A中含n个命题变项,A为矛盾式的条件是A的主合取范式含
A、2
n
个极大项
B、1个极大项
C、2
n
个极小项
D、1个极小项
【正确答案】:A
【题目解析】:矛盾式没有成真赋值。每个极大项有一种成假赋值组合,因为命题公式A中含n个命题变项,当其主合取范式恰好拥有2
n
个极大项时,恰好穷尽了所有赋值组合,即对A来说,所有赋值组合都是成假的,A即是矛盾式。
← 返回分类
返回首页 →
相关题目
令p:今天我上班,q:今天我休息。命题“今天我要么上班要么休息”的符号化形式为
设令F(x):x是火车,G(x):x是汽车,L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
下列关于小项和大项的性质表述正确的是
下图中是欧拉图的为
设有非空集合A上的全域关系S,则关系S不是
↑