注：那个倒三角是倒着的A,我实在打不出来……

来源：学生作业帮编辑：拍题作业网作业帮分类：综合作业时间：2024/05/15 11:23:51

注：那个倒三角是倒着的A,我实在打不出来……
在谓词公式(▽x)(A(x)→B(x) v C(x,y))中,（）．
A.x,y都是约束变元
B.x,y都是自由变元
C.x是约束变元,y都是自由变元
D.x是自由变元,y都是约束变元
希望大侠们给出答案后稍微说下原因

量词后的变元如"(▽x),Ey中的x,y称为量词的指导变元(或作用变元),而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元,其他变元(如果有的话)称为自由变元
(▽x)的管辖区域是A(x)→B(x),因此X是约束变元,区域C(x,y)中y是自由变元

注：那个倒三角是倒着的A,我实在打不出来…… 我键盘上的和数字2键在一块的那个圈a怎么打不出来了啊? 倒三角的符号怎么打啊? 石斛,后面那个字拼音怎么拼的,我打不出来. 这个字怎么读?中国的字实在太多了,好多不认识.《雪影仙姝》姝读什么,我打拼音zhu,打不出来? 英语谜语,我实在猜不出来这两页我实在做不出来了, 我实在做不出来, 微积分题,看图片.实在打不出来四个火的那个字怎么读啊?有谁知道的请回答一下.我用五笔的打不出来. 注意,是根号4的立方根,不是4的立方根那个根号的符号我打不出来. 300字文言文我们暑假作业要求抄十篇300字左右但又不少于300字的文言文,我实在找不出来了.还有,那个《劝学》除外,因