|
|||||
|
|
| 关于命题逻辑的联结词“蕴涵” | |
| 引用本文： | 叶雪梅.关于命题逻辑的联结词“蕴涵”[J].福建广播电视大学学报,2000(2). |
| 作者姓名： | 叶雪梅 |
| 作者单位： | 福建师大数学系 |
| 摘 要： | 逻辑一词源于希腊文,意思指:词,思想,理性,规律等。逻辑学研究的是:判别一个推理过程是否正确的标准。传统逻辑用以表示命题形式和推理形式的是自然语言的某些词语,而自然语言是多义的,不适于用以精确地表示各种命题形式和推理形式。数理逻辑克服了这方面的局限性,以其特有的人工符号来书写逻辑法则,突出体现了方便、精确的优势。在自然语言中,有各种各样的联 |
| 本文献已被 CNKI 等数据库收录！ | |