black

离散数学

登录

问答题

共用题干题令个体域为谓词公式集合,定义其中的原子命题如下:P(x):x是可以证明的,S(x):x是可以满足的,H(x):x是真的,试将下列各式翻译成自然语言:

∀x(P(x)→H(x))

【参考答案】

如果一个谓词公式是可以证明的,那么它一定是真的。

相关考题

问答题 符号化下列命题,并推证其结论:任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或者喜欢汽车,或者喜欢骑自行车。有的人不爱骑自行车,因而有的人不爱步行。

问答题 证明下图是非平面图。

问答题 已知关于人员a,b,c,d,e,f的下述事实: a说汉语、法语和日语; b说德语、日语和俄语; c说英语和法语; d说汉语和西班牙语; e说英语和德语: f说俄语和西班牙语. 试问是否能将这六人分成两组,使同组中没有两人能互相交谈?

All Rights Reserved 版权所有©易学考试网(yxkao.com)

备案号:湘ICP备2022003000号-3