1) logically valid formula
逻辑有效公式
1.
The Set of logically valid formulas in every second-order language with the equality is proved to be not recursively enumerable.
证明了任何带等词的二阶语言的逻辑有效公式集不是递归可枚举的
2) α-logical effective formulas
α-逻辑有效公式
3) valid formulas of logic
逻辑有效式
1.
We should not consider logical truth as a kind of "truth", but a kind of valid formulas of logic.
我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的。
5) logic formula
逻辑公式
1.
In this article, a kind of calculus method that is used to determine the truth-values of a kind of lattice valued logic formulae by means of the dynamic neural networks is proposed.
提出一种利用神经逻辑单元动态地构造神经网络的算法来对一类格值逻辑系统(L4(X))中的逻辑公式进行计算。
6) the valid formulas of logic inference
逻辑推理的普遍有效式
1.
Meanwhile, logical truth is consistent with the valid formulas of logic inference.
我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的。
补充资料：逻辑公式
逻辑公式
logical formula
逻辑公式咖颐cai俪丽山;，r叭“cK如中。pM”a〕 形式逻辑语言中的表示式.逻辑公式的确切定义要在每一个具体语言中给出一般逻辑公式的定义有一种归纳特性:首先区分出称为原子公式(atoITuc for-仃从日a)的一类命题，然后给出由已经构造出的公式，利用逻辑运算(」哈叨1 operdtio刀)的符号构造出新公式的法则.例如，命题逻辑的公式如下定义:任一命题变元是一个〔原子)公式如果A和B皆为公式，那么(A%26B)，(AVB)，(AOB)，(，A)都是公式.谓词逻辑的公式是由命题变元、谓词和个体变元用逻辑联接词、量词和辅助符号(括号及逗号)构成.命题变元和形如尸‘y，，…，夕。)的表示式都是原子公式，其中尸是一个n元谓词变元.并且夕，，…，y。是个体变元.谓词演算公式(fonnulas of predi口*te cal。习留)定义为:a)任一原子公式是一个公式;b)如果A及B均是公式，并且y是一个个体变元，那么(二A)，(A设B)，(A VB)，(A刀B)，(丫yA)，(日yA)都是公式.BE.助‘Ko撰【补注1术语“合式的公式”(“稀n一fonxled fonlll日a”(有时缩写为“wff”或“wf”))的使用是相当广泛的，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条