我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:小鱼儿玄机1站开奘结果 > 前束范式 >

离散数学:前束范式的换名规则

归档日期:06-28       文本归类:前束范式      文章编辑:爱尚语录

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  展开全部你可以理解x,y可以取任意值啊,所以可以取x和y来表示。但按离散书中说的是,使用了换名规则。想再理解深入,那就是自由变元和约束变元的问题,之所以是有时写y,有时写x,是因为在运算时让人明白是自由变元还是约束变元,你要明白x,y在不同情况下是代表自由变元或者约束变元。如你第一个公式有时写成(彐x)(-P(x)VQ(x))【-代表否定】那是把x都看做约束变元。

本文链接:http://scrinzoom.com/qianshufanshi/364.html