命题演算造句

经典命题演算的能行方法研究具有重要的理论意义和现实价值。

本文从基于模糊逻辑的量化命题演算出发，探究一个新的数据库查询机制，用以处理更一般的量化命题意义的模糊数据库查询。

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。

本文得出了在逻辑的语义问题中，标准命题演算系统的每条公理在逻辑中都是模糊恒真的，但标准命题演算系统的定理，在逻辑中却不都是模糊恒真的。

针对直觉模糊逻辑及命题演算，提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法。