A.1 B.偶数 C.素数 D.奇数
单项选择题设R是实数集合，R上的运算x*y=x2+y2定义为，则〈R，*〉为（）。
A.非代数系统 B.代数系统 C.半群 D.群
问答题证明x（F（x）→G（y））为可满足式，但不是永真式。
问答题在一阶逻辑中，将命题符号化：不存在最大的自然数。
问答题在一阶逻辑中，将命题符号化：若x与y都是实数且x>y，则x+2大于y+2。
问答题在一阶逻辑中，将命题符号化：不存在能表示成分数的无理数。
