|国家科技期刊平台
| 注册
首页|期刊导航|福建电脑|命题逻辑及谓词逻辑推理证明中的化归法

命题逻辑及谓词逻辑推理证明中的化归法

张锦华

福建电脑2009，Vol.25Issue(9)：167-168,2.
✕
福建电脑2009，Vol.25Issue(9)：167-168,2.

命题逻辑及谓词逻辑推理证明中的化归法

张锦华1

作者信息

  • 1. 昆明工业职业技术学院
  • 折叠

摘要

关键词

命题逻辑/谓词逻辑/化归法

分类

信息技术与安全科学

引用本文复制引用

张锦华..命题逻辑及谓词逻辑推理证明中的化归法[J].福建电脑,2009,25(9):167-168,2.

福建电脑

1673-2782

访问量0
|
下载量0
段落导航相关论文