排序方式: 共有55条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
5.
本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o 相似文献
6.
7.
本文把 Cantor 连续统 E_1的 Dedekind 割切原理在潜尾数论的意义下作了逻辑体系上的改造,给出一个系统完善的非 Cantor 连续统ê_1的 Dedekind 割切原理。为了证明主要定理——命题Ⅰ、Ⅱ,首先证明8个引理,然后引用引理的结果,证明命题Ⅰ、Ⅱ。 相似文献
8.
From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in ’unmediated opposition’ (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz’s secant and tangent lines in the medium logic system from the perspective of logical mathematics. 相似文献
9.
形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。 相似文献
10.
用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。 相似文献