In the discussion of the semantics of logic, all axioms in the standard proposition calculations system are all fuzzy true but the theorems of this system are not all fuzzy true.
英
美
- 本文得出了在逻辑的语义问题中,标准命题演算系统的每条公理在逻辑中都是模糊恒真的,但标准命题演算系统的定理,在逻辑中却不都是模糊恒真的。