单项选择题
谓词公式中变元x（）。
A.既不是自由出现又不是约束出现 B.是自由出现，不是约束出现 C.既是自由出现又是约束出现 D.不是自由出现，是约束出现
无向图G具有一条欧拉回路，则G中所有点的度数都是（）。A.1B.偶数C.素数D.奇数
单项选择题无向图G具有一条欧拉回路，则G中所有点的度数都是（）。
A.1 B.偶数 C.素数 D.奇数
设R是实数集合，R上的运算x*y=x2+y2定义为，则〈R，*〉为（）。A.非代数系统B.代数系统C.半群D....
单项选择题设R是实数集合，R上的运算x*y=x2+y2定义为，则〈R，*〉为（）。
A.非代数系统 B.代数系统 C.半群 D.群
证明x（F（x）→G（y））为可满足式，但不是永真式。
问答题证明∀x（F（x）→G（y））为可满足式，但不是永真式。
中变元x（）。