符号化下列命题并推证其结论。 a)所有有理数是实数,某些有理数是整数,因此某些实数足整数。 b)任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或者喜欢乘汽车或者喜欢骑自行车。有的人不爱骑自行车,因而有的人不爱步行。 c)每个大学生不是文科学生就是理工科学生.有的大学生是优秀生,小张不是理工科学生,但他是优秀生.因而如果小张是大学生,他就是文科学生。