可分析集合_笛卡尔逻辑与命题的可推导性关系.pdfVIP

软件2012年第33卷 第1期 Software 国际IT传媒品牌 系统科学 可分析集合、笛卡尔逻辑和命题的可推导性关系 赵 峰 （山西焦煤汾西矿业集团） 摘　要： 本文在 ZFC 公理系统的基础上，首先提出可分析集合的概念且可表达为 ={ | }。然后给出受囿变量的定义，引 p x x p ∈ 入笛卡尔逻辑以使逻辑的概念像算法的概念一样精确化而成为明确的数学对象，不仅足以适应代数和分析的要求，而且充分满足经 典和非经典逻辑的需要，并探讨命题间的可推导性关系，包括：对立、排中、重言、归谬、反对、矛盾、存在、全称、独立、同一和不矛盾。 进而，讨论一些逻辑运算和有关的逻辑问题，并进一步阐述可分析集合的几个基本关系和基本运算。 关键词： 计算机软件；公理集合论；可分析集合；变量；受囿变量；笛卡尔逻辑；命题的可推导性关系；逻辑运算。 中图分类号： 文献标识码： TP3-05 ，O14　　　　　　 a　　　　　　DoI: 10.3969/j.issn.1003-6970.2012.01.004 Analytical sets, Cartesian logic and dialectical relations on propositions ZHao feng1 (Shanxi Coking Coal Fengxi Mining Group, Jinzhong 031309, China) Abstract In this paper, first the analytical set is obtained and can be written as p ={x |x p } on the basis of Zf (and ZfC). then the 【 】 ∈ bounded variable is presented and Cartesian logic is introduced so that logic could become a distinct mathematical object not only to sat- isfy fully the requirements of both classical logic and non-classical logic but also to suit sufficiently the needs of both algebra and analysis. Moreover, dialectical relations on propositions are discussed, including the following: opposite; excluded middle; tautology; reduction to absurdity; antithesis; contradiction; existence; universality; independence; identity and non-contradiction. Further, logical operations and some relevant logical problems are studied. Several of fundam