在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。
The situation of isolated points in logic pseuo-metric spaces induced by integral truth degrees in MTL are disscussed.The formulas are definitely not the isolated points in correspongding spaces when their truth degrees are not equal to zero is proved.However,for the formulas whose truth degrees equal zero,the conclusions are completed different whenever the characteristic of logic systems are changed.