离散数学中数理逻辑的真值表法 |
| |
引用本文: | 袁定治,李小荣.离散数学中数理逻辑的真值表法[J].才智.人事人才,2014(33). |
| |
作者姓名: | 袁定治 李小荣 |
| |
作者单位: | 江西信息应用职业技术学院 |
| |
摘 要: | 本文通过几个具体的典型实例,来了解和分析离散数学中数理逻辑的一个非常重要的解题方法,即真值表法,它是一种非常简便而又非常重要的方法,这种方法在计算机领域中有着广泛的应用价值。利用真值表法,可以化简或推证一些命题公式,从而得出可靠的唯一结论。学生也易学易用,避免了记大量公式,是一种值得推广的好方法。
|
关 键 词: | 离散数学 数理逻辑 真值表 命题公式 联结词 |
本文献已被 万方数据 等数据库收录! |
|