问答题
符号化下列命题，并推证其结论：任何人如果他喜欢步行，他就不喜欢乘汽车，每一个人或者喜欢汽车，或者喜欢骑自行车。有的人不爱骑自行车，因而有的人不爱步行。
问答题 证明下图是非平面图。
问答题 已知关于人员a，b，c，d，e，f的下述事实： a说汉语、法语和日语； b说德语、日语和俄语； c说英语和法语； d说汉语和西班牙语； e说英语和德语： f说俄语和西班牙语． 试问是否能将这六人分成两组，使同组中没有两人能互相交谈？
问答题 xF（x）→yG（y）
