首页
>
离散数学(02324)
> 题目详情
设解释Ⅰ为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在
分类: 离散数学(02324)
发布时间: 2024-08-03 22:50
浏览量: 2
设解释Ⅰ为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在Ⅰ下,求命题公式
的真值。
【正确答案】:
解:在解释I下
← 返回分类
返回首页 →
相关题目
令p:今天我上班,q:今天我休息。命题“今天我要么上班要么休息”的符号化形式为
设令F(x):x是火车,G(x):x是汽车,L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
下列关于小项和大项的性质表述正确的是
下图中是欧拉图的为
设有非空集合A上的全域关系S,则关系S不是
↑