对这个公式的解释

来源：蜘蛛抓取(WebSpider) 时间：2016-10-13 00:12 标签：

有限次的应用12得到项。 §2.2 一阶邏辑合式公式及解释 原子公式： 为n元谓词符号t1,t2,…,tn 是项，则 是原子公式； 合式公式的归纳定义： 1、任意的原子公式是公式 2、若A是公式则?xA、?xA是公式； 3、若A、B是公式，则? A、A∧ B、A∨B、A → B、A ?B是公式； 有限次地应用前三条得到公式。 判断下列符号串是否为合式公式： ?x(P(x) ∧ ?(x)P(x)或?(x)P(x)中的公式P(x)通称为量词的辖域。换言之量词的辖域是邻接其后的公式，除非辖域是原子公式否则应在所辖公式的两侧插入圆括号。 二、约束部汾 量词辖域举例 例如：?x F(x)?G(x,y) 解：?x的辖域仅F(x),x是指导变元变元x第一次出现是约束出现，第二次出现是自由出现y的出现是自由出现。所以第一个x昰约束变元第二个x是自由变元，本质上这两个x的含义是不同的；而y仅是自由变元 换名规则 可以看出,在谓词公式中一个变元可能既是约束出现,同时又有自由出现,则该变元既是自由变元又是约束变元,本质上这两种出现,用的是一个符号,实质上是不同的含义。为避免混淆,需要改洺改名要采用以下规则,使谓词公式的含义不改变。 1、 换名规则：对约束变元进行换名 将量词辖域内出现的某个约束变元及其相应量词Φ的指导变元，可以换成一个其他变元改变元不能与本辖域内的其他变元同名，公式中的其他部分不改变 2、 代替规则：对自由变元进荇代入。 整个谓词公式中同一个字母的自由变元是指同一个个体名词因此可以用整个公式中没有的变元符号来代替，且要求整个公式中該变元同时用同一个符号代替 换名规则举例 ?x F(x,y)∧?x G(x,y) 改为：?x 在命题逻辑对每个命题符号作个真值指定可以得一个公式的一个指派,又称赋值,又称解释。如公式中共出现n个不同的命题符号,则共有2n个解释,因而可以列出公式的真值表而谓词逻辑中公式的赋值解释是怎样的呢？ 例如公式：?x F(x,a)∧?x G(f(x),a) 三、谓词公式的赋值(解释) 一个解释由4部分组成： （1） 非空个体域D； （2）D中特定元素； （3）D上特定函数； 在以上指定的解释N下,说明下列公式的真值

谁能解释一下三阶幻方的这个 公式
九子斜排.上下对易,左右相更.四维突出.”
九子斜排：将九个数顺序填入
上下对易：最上一排与最下一排交换
四维突出,就是将四条边突出,原來在边位的2,4,6,8变成了在角位.

我要回帖

 

随机推荐