任意y,如果学生95002选修了y,那么学生x也选修了y。不存在这样的课程y,学生95002选修了y,而学生x没有选。