单项选择题
谓词公式中变元x（）。
A.既不是自由出现又不是约束出现 B.是自由出现，不是约束出现 C.既是自由出现又是约束出现 D.不是自由出现，是约束出现
A.1 B.偶数 C.素数 D.奇数
A.非代数系统 B.代数系统 C.半群 D.群
微信扫一扫,加关注免费搜题
中变元x（）。
