没有答案进行参考，不知道自己解的对不对，求解

依据图示的三个关系(student,course,sc)将下列关系代数表达式用汉语表达出来

请根据图示提供的三个关系(student,course,sc)将以下关系代数表达式用汉语表达:
student(x, y) : x 是 y 的学生
course(x, y) : x 是 y 的课程
sc(x, y) : x 选修了 y 这门课程
表达式1: student(x, y) ^ course(y, z) -> sc(x, z)
解释: 如果x是y的学生,且y是z的课程,那么x选修了z这门课程
表达式2: sc(x, y) ^ sc(x, z) ^ course(y, u) -> sc(x, u)
解释: 如果x选修了y这门课程,x也选修了z这门课程,且y是u的前置课程,那么x也选修了u这门课程
表达式3: sc(x, y) ^ student(x, z) -> student(z, y)
解释: 如果x选修了y这门课程,且x是z的学生,那么z也是y的学生
表达式4: student(x, y) ^ student(y, z)-> student(x, z)
解释: 如果x是y的学生,且y是z的学生,那么x也是z的学生