请在下方输入要搜索的题目：

对于谓词公式(∃x)(P(x,y)→Q(x,y))∨R(x,y)，关于量词辖域的说法中，正确的是（）。

A、所有变元x都是自由变元
B、所有变元x都是约束变元
C、所有变元y都是自由变元
D、所有变元y都是约束变元
E、Q(x,y)中的变元x是约束变元

发布时间：2025-01-09 05:04:57

推荐参考答案 ( 由专技宝官方老师解答 )

答案：CE

相关试题

对于谓词公式(∃x)(P(x,y)→Q(x,y))∨R(x,y)，关于量词辖域的说法中，正确的是（ ）。