简答题

一个公式，如果量词都非否定地放在全式的开头，没有括号将它们彼此隔开，而它们的辖域都延伸到整个公式，则称这样的公式为前束范式。应用改名规则、量词否定公式和量词辖域的扩张公式等，可把任一谓词演算公式化成前束范式。例如：

设代数系统（A，·，*，Δ），其中A={1，2，5，10}，对x，y∈A，有x·y=x与y的最大公约数，x*y=x与y的最小公倍数，Δx=10 x，试给出运算·，*和Δ的运算表。 点击查看答案

实数集R上定义二元运算：r1，r2∈R，r1*r2=r1+r2-r1r2，是否有单位元和幂等元？若有单位元的话，哪些元素有逆元？ 点击查看答案