形式模糊命题逻辑中的机械推导算法

摘要

本文给出了形式模糊命题逻辑中的一种机械推导方法,并且证明了它的有效性和完备性。