分类:古典逻辑:修订间差异
外观
无编辑摘要 |
无编辑摘要 |
||
| 第1行: | 第1行: | ||
本分类下是古典逻辑学,也称传统逻辑或词项逻辑的内容,基本是作为逻辑学分支时的术语解释,目前考公推理、政治选修《科学思维常识》的逻辑部分等仍然使用这套语言。这套逻辑语言的描述能力低于[[:分类:谓词逻辑]]的语言,而且推理形式相对受限,计算机中一般使用谓词逻辑语言来描述和推理。作为借鉴参考这里我们还是简单做了介绍,但是不会像现代数理逻辑语言那样分为多个条目详细介绍。 | |||
[[分类:逻辑学]] | [[分类:逻辑学]] | ||
2025年11月25日 (二) 08:28的版本
本分类下是古典逻辑学,也称传统逻辑或词项逻辑的内容,基本是作为逻辑学分支时的术语解释,目前考公推理、政治选修《科学思维常识》的逻辑部分等仍然使用这套语言。这套逻辑语言的描述能力低于分类:谓词逻辑的语言,而且推理形式相对受限,计算机中一般使用谓词逻辑语言来描述和推理。作为借鉴参考这里我们还是简单做了介绍,但是不会像现代数理逻辑语言那样分为多个条目详细介绍。