问答题 x（H（x）∧S（x））

问答题 x（P（x）→H（x））

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