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