数理逻辑:谓词逻辑（5）公理的一致性和独立性
2012-08-30 19:58
716 查看
数理逻辑:谓词逻辑（5）
第5节 公理的一致性和独立性
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- 数理逻辑:谓词逻辑（7）域的同构与公理系统的完备性
- 数理逻辑:谓词逻辑（8）自然数公理
- 数理逻辑：证明论初步（1）公理无 矛盾性与独立性问题的提法
- 数理逻辑：证明论初步（11）算术中完全归纳公理的独立性
- 数理逻辑:谓词逻辑（4）公理
- 数理逻辑：谓词逻辑（1）谓词（俄汉对照）
- 数理逻辑：公理化算术（12）递归谓词的其他形成方法，有限量词
- 数理逻辑:谓词逻辑（6）域和域之间的1-1对应
- 数理逻辑：公理化算术（14）可计算谓词和项的几个例子
- 数理逻辑：谓词演算（6）狭义完备性问题
- 数理逻辑：谓词演算（7）谓词演算的某些形式定理
- 数理逻辑：公理化算术（16）公理算术中的一些定理
- 数理逻辑：谓词演算（8）演绎定理
- 数理逻辑:谓词逻辑（9）谓词逻辑公式的范式
- 数理逻辑：谓词演算（目录）
- 数理逻辑：谓词演算（9）进一步的形式定理
- 数理逻辑:谓词逻辑（10）永真公式和可满足公式的判定
- 数理逻辑：谓词演算（1）谓词演算公式
- 数理逻辑：谓词演算（10）等价公式
- 数理逻辑:谓词逻辑（11）一元谓词逻辑