单项选择题
设R是实数集合,在上定义二元运算*:a,b∈R,a*b=a+b-ab,则下面的论断中正确的是()。
A.0是*的零元B.1是*的幺元C.0是*的幺元D.*没有等幂元
单项选择题 G是一棵根树,则()。
问答题 求下列公式的前束范式。
问答题 将下列命题用谓词逻辑符号化。(1)小王即聪明又用功。(2)小王从未给小李发过电子邮件,或打过电话。(3)只要你给我发个电子邮件,我就有你的邮件地址。(4)所有的人都要参加体育锻炼。(5)这个班有些学生选修了计算机专业的一些课程。(6)并非所有的智能工作都能由计算机来完成。(7)有些物品价格上涨,但不是所有物品的价格都上涨。(8)这个班有人给班上其他人都发过电子邮件。(9)不是每个大于1的自然数都是某个自然数的平方。(10)任何自然数都有唯一的后继数。