基于模糊命题逻辑形式系统FLcom的模糊推理及应用