问答题

【共用题干题】
给定解释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

你可能感兴趣的试题

【共用题干题】
给定解释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下的含义，并指出各公式的真值

xy（F（f（x，a），y）→F（f（y，a），x））

答案：

xy((x+2=y)→(y+2=x)),真值为0

【共用题干题】
给定解释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下的含义，并指出各公式的真值

xyz（F（f（x，y），z））

答案：

xyz（x+y=z）,真值为1

【【共用题干题】】
给定解释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