对于谓词公式(∃x)(P(x,y)→Q(x,y))∨R(x,y),关于量词辖域的说法中,正确的是( )。
A、所有变元x都是自由变元
B、所有变元x都是约束变元
C、所有变元y都是自由变元
D、所有变元y都是约束变元
E、Q(x,y)中的变元x是约束变元
发布时间:2023-08-01 23:04:27
A、所有变元x都是自由变元
B、所有变元x都是约束变元
C、所有变元y都是自由变元
D、所有变元y都是约束变元
E、Q(x,y)中的变元x是约束变元