|
|||||
|
|
| 不用联结词和量词的一阶逻辑系统 | |
| 作者姓名： | 张清宇 |
| 作者单位： | 中国社会科学院哲学所 |
| 摘 要： | 不用联结词和量词的一阶逻辑系统张清宇在文〔２〕中，我们建立了不用联结词的经典命题逻辑系统。本文将继续这一工作，充分发挥括号的作用，建立不用联结词和量词的一阶逻辑系统。一、一阶语言一阶逻辑所用的形式语言叫作一阶语言。下面先列出它们共有的初始符号，然后在定义中给出它们相互间可能相异的初始符号。一阶语言共有的初始符号有以下几类：（１）恒真命题符和命题符：Ｔ；Ｐ０，Ｐ１，Ｐ２，…，Ｐｎ，…；ｎ为非负整数。Ｔ指恒真命题，命题符的全体记为｛Ｐ０，Ｐ１，Ｐ２，…，Ｐｎ，…｝记为ＶＰ。（２）变元符：ｖ０，ｖ１，… |
| 本文献已被 CNKI 等数据库收录！ | |