谓词公式∀x(G(x)Ⅴ∃yT(y))→Q(x)中变元y是______。
约束变元
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。
本文链接:https://doc.20230611.cn/post/430137.html
上一篇:资本主义国家立法机关的主要职权有( )
下一篇:A产品上年实际平均单位成本与其本年实际平均单位成本的差异,除以其上年实际平均单位成本,等于该产品 【 】