相关考题
-
单项选择题
设R是实数集合，R上的运算x*y=x2+y2定义为，则〈R，*〉为（）。
A.非代数系统
B.代数系统
C.半群
D.群 -
问答题
证明x（F（x）→G（y））为可满足式，但不是永真式。 -
问答题
在一阶逻辑中，将命题符号化：不存在最大的自然数。
