逆P-等价类的逆P-推理分离-还原

 逆P-集合是把动态特性引入到有限普通集合X内(Cantor set X),改进有限普通集合X被提出的。逆P-集合是由内逆P-集合F与外逆P-集合构成的集合对;或者,(F,)是逆P-集合。逆P-集合具有动态特性。逆P-推理是逆P-集合生成的一个动态推理,它是由内逆P-推理与外逆P-推理共同构成的。利用逆P-集合和逆P-推理, 给出逆P-等价类、内逆P-等价类和外逆P-等价类概念,逆P-等价类与普通等价类的关系,逆P-等价类的逆P-推理分离-还原与分离-还原定理。在静态-动态条件下,普通等价类是逆P-等价类的特例,逆P-等价类是普通等价类的一般形式。

Separation-reduction on inverse packet reasoning of inverse packet equivalence class

Through improving an ordinary finite cantor set X inverse packet set is introduced by bringing dynamatic feature into X. Inverse packet set consists of an internal inverse packet set F and an outer inverse packet set  which is denoted briefly by a set pair (F,). It can be reduced to an ordinary set in some situations. Inverse P reasoning is a dynamatic reasoning generated by inverse packet sets which is composed of internal inverse packet reasoning and outer inverse packet reasoning together. Utilizing inverse packet sets and inverse packet reasoning, one defines severval important concepts such as inverse packet equivalence class, internal inverse packet equivalence class and outer inverse packet equivalence class and on the other hand, one obtains a relationship between inverse packet equivalence class and ordinary equivalence calss. Finally, one achieves seperation and reduction on inverse packets equivalence class and separation-reduction theorem as well.  Under static-dynamatic conditions, ordinary equivalence class is a special case of inverse packet equivalence class and inverse packet equivalence class is a general form of the ordinary one.