- 博客(5)
- 收藏
- 关注
RSS订阅翻译 Formal System-谓词逻辑范式(Prädikatenlogik Normalformen)
几个知识普及 已知P是一元谓词符号，c，d为常量，x，y，z为变量，那么下面正确的是： 1.P(c)⊨∀xP(x)2.∀xP(x)⊨p(c)3.∀x∃yA⊨∃y∀xA4.∃x∀yA⊨∀y∃xA5.⊨∀x∃yA→∃y∀xA6.⊨∃x∀yA→∀y∃xA1.P(c) \vDash \forall x P(x)\\2.\forall xP(x) \vDash p(c)\\3.\forall x\e
2015-12-14 16:38:00
1280
翻译 Formal System-表达逻辑归结原理(Aussagenlogik-Resolutionskalkül)
常见的表达逻辑推演方式1.Hilbert 一般用不到，用来推定理不错 2.Resolution 适合自动化 3.Tableau 与上相反 适合用于证明 4.sequenzen 和3相似表达逻辑的归结原理(Der aussagenlogische Resolutionkalkül)特征： 1.他属于反演推导//即取反找矛盾 2.使用的条件是：所有的Formel都用KNF表达 3.
2015-12-14 16:34:54
1386
翻译 Formal System-Hilbert计算(Hilberkalkül)
Hilbert人物介绍： 全名David Hilbert(1862-1943),德国人。 就这么多了。。。Hilbet计算(Hilbertkalkül)已知x为变量，t为term，α,β,γ\alpha,\beta,\gamma是Formel 为了方便我们只介绍使用¬,→,∀\lnot,\rightarrow,\forall操作的情况//其他的子集变形？？？（前面是名字） Abschwäch
2015-12-14 16:31:36
540
翻译 Formal sys-pradicate syntax
基础知识逻辑符号(Logische Zeichen)首先是在表达逻辑里已经出现过的： ¬,∧,∨,→,↔,(,)\lnot,\land,\lor,\to,\leftrightarrow,(,) 然后还有几个新的： ∀\forall：表示所有的 ∃\exists：表示存在 ViV_i：表示变量//也可以用var表示 ≐\doteq：客观相等//给汗了，啥意思啊？？？ (objektspr
2015-12-14 16:27:08
614
翻译 Formal sys-Pradicate semantic
介绍个定义Interpretation \mathcal{D} 已知有∑\sum 是一阶谓词逻辑(PL1)的Signatur 那么我们定义这个Signatur的interpretation \mathcal{D}为(D,I)，并且具有以下性质： 1.D是任意的非空的集合 2.I是Signatur符号的映射： 1).对任意常数c有:I(c) ∈\in D 2).n>=1,对于有n个参数
2015-12-14 16:24:21
450
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人