
提问人:网友d*******1
发布时间:2023年4月29日 07:59
[]
设解释I如下:DI是实数集,DI中特定元素a=0,DI中特定函数f(x,y)=x-y,特定谓词F(x,y)为x<y.在解释I下,下列哪些公式为真,哪些为假? (1)xF(f(a,x),a); (2)xy(¬F(f(x,y),x)); (3)xyz(F(x,y)→F(f(x,z),f(y,z))); (4)xyF(x,f(f(x,y),y)).
A.在解释I下,下列哪些公式为真,哪些为假?B.174.24.96:6088/Latex/latex.action?latex=XGZvcmFsbCA%3D'C.174.24.96:6088/Latex/latex.action?latex=XGZvcmFsbCA%3D'D.174.24.96:6088/Latex/latex.action?latex=XGZvcmFsbCA%3D'E.174.24.96:6088/Latex/latex.action?latex=XGZvcmFsbCA%3D'F.174.24.96:6088/Latex/latex.action?latex=XGZvcmFsbCA%3D'G.174.24.96:6088/Latex/latex.action?latex=XGZvcmFsbCA%3D'H.174.24.96:6088/Latex/latex.action?latex=XGZvcmFsbCA%3D'I.174.24.96:6088/Latex/latex.action?latex=XGV4aXN0cyA%3D'

