|
|||||
|
|
| 命题逻辑形式系统定理有限可判定性 | |
| 引用本文： | 连秀国.命题逻辑形式系统定理有限可判定性[J].德州学院学报,2000(2). |
| 作者姓名： | 连秀国 |
| 摘 要： | 本文证明了命题逻辑形式系统Ｌ中任一公式ａ在某个模型中的取值是有限步内可判定的，进而得出Ｌ中任一公式ａ是否恒真式是有限可判定的，最后证明了Ｌ的任一公式是否是Ｌ的定理是有限可判定的。 |
| 关 键 词： | 恒真式 定理 有限可判定 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |