| 命题公式真值表的生成与公式类型的机械判定 |
| |
| 引用本文： | 张会凌.命题公式真值表的生成与公式类型的机械判定[J].甘肃联合大学学报(自然科学版),2006,20(1):25-27,34. |
| |
| 作者姓名： | 张会凌 |
| |
| 作者单位： | 甘肃联合大学,数学与信息学院,甘肃兰州730000 |
| |
| 摘 要： | 在文1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.
|
| 关 键 词： | 命题公式 真值表 计算机计算和输出 永真式、永假式和可满足式 机械判定 |
| 文章编号： | 1672-691X（2006）01-0025-04 |
| 收稿时间： | 2005-05-18 |
| 修稿时间： | 2005年5月18日 |
Generating Algorithm of Truth Value Table and Type's Mechanical Decision to a Propositional Formula |
| |
| ZHANG Hui-ling.Generating Algorithm of Truth Value Table and Type''''s Mechanical Decision to a Propositional Formula[J].Journal of Gansu Lianhe University :Natural Sciences,2006,20(1):25-27,34. |
| |
| Authors: | ZHANG Hui-ling |
| |
| Abstract: | Based on paper 1],this paper gives a generating algorithm of truth value table and an algorithm to determine types of propositional formulae.Using these algorithms,we can use computer mechanically to list truth value table of a group of propositional formulae,determine that if a given propositional formula is a tautology,a contradiction,or if the formula is satisfiable. |
| |
| Keywords: | propositional formula truth value table calculation and output through computer tautlogy contradiction satisfiable formula mechanical decision |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
