在01集上的扩张类比  

The Extended Analogy on 01 Set

作　　者：王士铁[1] 

机构地区：[1]厦门大学计算机科学系

出　　处：《厦门大学学报（自然科学版）》1997年第3期344-350,共7页Journal of Xiamen University：Natural Science

摘　　要：在０１集上给出一类具有普遍意义的扩张类比，并利用此结果讨论命题代数和集合代数的扩张推理：增加条件Ｘ，使前提Ａ能演绎出结论Ｓ，即Ｘ∧ＡＳ；Using the results for a class of the extended analogies on 01 set for the general purpose. The author disscuss the extended inference on statement algebra and set algbra (added condition X such that premise A implies conclusion S, ie X∧AS),and the judgement problem for Hamilton loop.

关 键 词：扩张类比 扩张推理 命题代数 集合代数 

分 类 号：O153.2[理学—数学]