问答题
给定解释I如下: (a)个体域D=N(N为自然数) (b)D中特定元素=2 (c)D上函数(x,y)=x+y,(x,y)=x*y (d)D上谓词(x,y):x=y 说明以下公式在I下的含义,并指出各公式的真值
xF(f(x,x),g(x,x))
x(x+x=x*x),真值为1
问答题 用等值演算法求下面公式的主析取范式:
问答题 某人给4个朋友寄出一封连环信,要求收到信的每个人再复制寄给另外4个人.有些人按要求做了,但是另一些人则没有寄出信,若每人收到的信不超过一封,且在100个人读过信但未按要求寄出连环信后,整个过程便终止了,问包括第一个人在内,共有多少人看过信,有多少人寄出过信.
问答题 xyz(F(f(x,y),z))