欢迎访问大师范文AI写作助手,如没有想要的内容请与本站万能的AI助手联系。

2.若谓词公式E=P(x,f(y),z),置换s1={f(x,y)/z,z/w},s2=0{a/x,b/y,w/z},求E(s1·s2),E(s2·s1)

分享 时间: 加入收藏 我要投稿 点赞
2
首先,我们需要理解置换的概念。置换是一种变换,它将谓词公式中的某些项替换为其他项。在这个问题中,s1和s2都是置换。

现在,我们来计算E(s1·s2)。这意味着我们需要先应用s2,然后应用s1。根据s2的定义,我们可以将z替换为w,然后将x替换为a,将y替换为b。因此,E(s2) = P(a,f(b),w)。接下来,我们将f(x,y)替换为z,将z替换为f(x,y)/w。因此,E(s1) = P(x,f(y),f(x,y)/w)。将这两个置换组合起来,我们得到E(s1·s2) = P(a,f(b),f(a,b)/w)。

接下来,我们来计算E(s2·s1)。这意味着我们需要先应用s1,然后应用s2。根据s1的定义,我们可以将z替换为f(x,y)/w,将f(x,y)替换为z。因此,E(s1) = P(x,z,f(x,y)/w)。接下来,我们将z替换为f(a,b),将w替换为z。因此,E(s2) = P(a,f(b),f(a,b)).将这两个置换组合起来,我们得到E(s2·s1) = P(x,f(a,b),f(x,y))。

因此,E(s1·s2) = P(a,f(b),f(a,b)/w),E(s2·s1) = P(x,f(a,b),f(x,y))。

精选图文

221381
领取福利

微信扫码领取福利

2.若谓词公式E=P(x,f(y),z),置换s1={f(x,y)/z,z/w},s2=0{a/x,b/y,w/z},求E(s1·s2),E(s2·s1)

微信扫码分享

直接下载
单次下载
0.5元/次
微信支付
免费下载
公众号:试题试卷下载复制
复制微信公众,搜索即可关注!
关注微信公众号获取验证码
欢迎使用微信支付
扫一扫支付
金额:
常见问题

请登录之后再下载!

下载中心

您的账号注册成功!密码为:123456,当前为默认信息,请及时修改

下载文件立即修改

帮助中心

如何获取自己的订单号?

打开微信,找到微信支付,找到自己的订单,就能看到自己的交易订单号了。

阅读并接受《用户协议》
注:各登录账户无关联!请仅用一种方式登录。


用户注册协议

一、 本网站运用开源的网站程序平台,通过国际互联网络等手段为会员或游客提供程序代码或者文章信息等服务。本网站有权在必要时修改服务条款,服务条款一旦发生变动,将会在重要页面上提示修改内容或通过其他形式告知会员。如果会员不同意所改动的内容,可以主动取消获得的网络服务。如果会员继续享用网络服务,则视为接受服务条款的变动。网站保留随时修改或中断服务而不需知照会员的权利。本站行使修改或中断服务的权利,不需对会员或第三方负责。

关闭