Chinese Quarterly Journal of Mathematics ›› 1987, Vol. 2 ›› Issue (2): 81-84.

Previous Articles     Next Articles

On the Compaciness Theorem in m-valued (m2) Statement Logical System

  

  1. 贵州大学计算机科学系
  • Received:1986-08-10 Online:1987-06-30 Published:2021-01-26

Abstract: 众所周知,在每一个逻辑系统中,紧性定理是最重要和最基本的定理之一。本文以点集拓扑学中关于紧致性拓扑空间的吉洪诺夫(тихонов)定理为理论基础,获得了下述结果:在所有只有有限个命题函数的 m(m≥2,为自然数)值命题逻辑系统中,紧性定理都成立。