• 2022-10-24
    符号化下列命题并推证其结论。c) 每个大学生不是文科学生就是理工科学生,有的大学生是优秀生,小张不是理工科学生,但他是优秀生,因而如果小张是大学生,他就是文科学生。