命题公式真值表 的生成算法

【文件属性】：

文件名称：命题公式真值表 的生成算法

文件大小：163KB

文件格式：PDF

更新时间：2014-05-26 05:53:13

真值表 是命题逻辑理论 中的一个重要 概念 , 利用它可 以求命 题公式 的主 范式 、 定命 题公式 的类型以及 进行 判命题 逻辑的推理等 。本文给 出了 意命题 公式真值 表的生成 算法 , 用计算机 解决命题 逻辑 中的其它 问题奠定 了基础 。