离散数学题形式证明(推理)任何人如果他喜欢步行,他就不喜欢乘汽车,每个人或者喜欢乘汽车,或者喜欢骑自行车,有的人不爱骑自