可证等价相关论文
探讨二值命题逻辑公式及逻辑等价公式统一性问题．利用二值命题逻辑中公式逻辑等价与可证等价的一致性，借助于赋值方法得到了命题在可......
经过长期的发展,经典二值命题逻辑已经相当成熟,并被广泛地应用于包括计算机科学及人工智能在内的领域中.但是,经典二值命题逻辑中......
