选择题:[填空题,1分] 自由变元代入规则是指对某_______出现的个体变元可用个体常元或用与原子公式中所 题目分类:河南理工大学-计算机科学与技术-离散数学 题目类型:选择题 查看权限:VIP 题目内容: [填空题,1分] 自由变元代入规则是指对某_______出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入,且处处代入。 参考答案:
[单选题,6.6分] 设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 x(P(x)Q(x)在 [单选题,6.6分] 设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 x(P(x)Q(x)在哪个个体域中为真 ( )A.自然数B.实数C.复数D.前面三 分类:河南理工大学-计算机科学与技术-离散数学 题型:选择题 查看答案
[单选题,7.6分] 设连通平面图G,共有n个结点,e条边,r个面,则欧拉证明成立的公式是( ) [单选题,7.6分] 设连通平面图G,共有n个结点,e条边,r个面,则欧拉证明成立的公式是( )A.e-n+r=2B.n+r-e=2C.n-r+e=2D.n 分类:河南理工大学-计算机科学与技术-离散数学 题型:选择题 查看答案