假设子句集S={P(z)∨Q(z)，R(f(t))}，S中不出现个体常量符号。设个体域D={1，2}。由H域和原子集的定义： H={a，f(a)，f(f(a))，…} A={P(a)，Q(a)，R(a)，P(f(a))，Q(f(a))，R(f(a))，…} 如果设I是D上的解释，并作如下的设定： I．f(1) f(2) P(1) P(2) Q(1) Q(2) R(1) R(2) 2 2 T F F T F T 请构造H域上的一个解释I*与I相对应，且使S｜I*=T。