问答题
∀x(P(x)→H(x))
如果一个谓词公式是可以证明的,那么它一定是真的。
问答题 符号化下列命题,并推证其结论:任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或者喜欢汽车,或者喜欢骑自行车。有的人不爱骑自行车,因而有的人不爱步行。
问答题 证明下图是非平面图。
问答题 已知关于人员a,b,c,d,e,f的下述事实: a说汉语、法语和日语; b说德语、日语和俄语; c说英语和法语; d说汉语和西班牙语; e说英语和德语: f说俄语和西班牙语. 试问是否能将这六人分成两组,使同组中没有两人能互相交谈?