|
This paper introduces the practical application and building of the relation graphics in income tax accounting teaching 介绍了关系图的建立及其在所得税会计教学中的具体应用。 In this paper, by means of the completeness theory of Partial K-Valued Logic the authors proved that for simply (separable) function sets(m=2) whose relation graphics are trees, one kind of these is not the component part of the minimal covering of precomplete classes in P~*_k and the other is the (component) part of the minimal covering of precomplete classes in P~*_k. 根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P k的极大封闭集之最小覆盖中k在的极大封闭集之最小覆盖中不出现,另一类在P 必须出现。
|