数理逻辑：公理化算术（2）恒等谓词和个体函数的性质
2012-11-27 17:21
309 查看
数理逻辑：公理化算术（2））
恒等谓词和个体函数的性质
2-1
2-2
2-3
2-4
2-5
[本节完]
恒等谓词和个体函数的性质
2-1
2-2
2-3
2-4
2-5
[本节完]
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- 数理逻辑：公理化算术（10）算术函数性质的公理可推出性与含义可推出性
- 数理逻辑：公理化算术（11）递归谓词
- 数理逻辑：公理化算术（12）递归谓词的其他形成方法，有限量词
- 数理逻辑：公理化算术（14）可计算谓词和项的几个例子
- 数理逻辑：公理化算术（0）目录
- 数理逻辑：公理化算术（3）等价关系
- 数理逻辑：公理化算术（15）可计算函数
- 数理逻辑：公理化算术（4）演绎定理
- 数理逻辑：公理化算术（16）公理算术中的一些定理
- 数理逻辑：公理化算术（5）算术公理
- 数理逻辑：公理化算术（6）可推出公式的例子
- 数理逻辑：公理化算术（7）递归项
- 数理逻辑：公理化算术（8）有限算术
- 数理逻辑：公理化算术（9）递归函数
- 数理逻辑：谓词演算（3）谓词演算公理
- 数理逻辑：谓词演算（12）谓词演算范式
- 数理逻辑：证明论初步（11）算术中完全归纳公理的独立性
- 数理逻辑4 -- 公理化集合论3
- 数理逻辑:谓词逻辑（2）量词
- 数理逻辑：谓词演算（14）skolem范式