1、在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。
2、本文从基于模糊逻辑的量化命题演算出发,探究一个新的数据库查询机制,用以处理更一般的量化命题意义的模糊数据库查询。
3、经典命题演算的能行方法研究具有重要的理论意义和现实价值。
4、针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法。
5、本文得出了在逻辑的语义问题中,标准命题演算系统的每条公理在逻辑中都是模糊恒真的,但标准命题演算系统的定理,在逻辑中却不都是模糊恒真的。