在01集上的扩张类比

The Extended Analogy on 01 Set

在０１集上给出一类具有普遍意义的扩张类比，并利用此结果讨论命题代数和集合代数的扩张推理：增加条件Ｘ，使前提Ａ能演绎出结论Ｓ，即Ｘ∧ＡＳ；

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.