qq_43391414的博客

一阶逻辑：First-order Logic。其是一种形式符号推理系统，也叫一阶谓词演算、低阶谓词演算(Predicate Calculus）、限量词（Quantifier）理论，也有人称其为“谓词逻辑”，虽然这种说法不够精确。总之，不管怎么说，一阶逻辑就是一种形式推理的逻辑系统，是一种抽象推理的符号工具。一阶逻辑不同于单纯的“命题逻辑”，因为，一阶逻辑里面使用了任意和存在。举一个一阶逻辑表达式的例子：∃x(Math(x)) → Prof(x)其表示：存在一个x，x是数学老师，...

可达性画个图看看上面是什么意思。假设我们要判断AA={C}的可达性，从而构造如下fair kripke。这个时候，存在公平计算，AC(t)wAC(t)^wAC(t)w，从而fair kripke是非空的，从而AA是可达的。可避免性还是按照上图，判断AA是否可避免，构造下列新的fair kripke。发现其存在公平计算(AB)w(AB)^w(AB)w，从而其非空，从而原来是可以避免的。...