2019年2月27日
【数理逻辑】预备知识
摘要： 1. 元语言和对象语言： 对象语言：被讨论的语言 元语言：讨论对象语言时用的语言（解释说明） 2. 语义 给形式语言以 解释 真假 赋值 $\upsilon$给公式$A$指派的值记作$A^\upsilon$ 要证明一个公式是可满足的，只要找到一个模型$（M,\sigma)$,即一个论域$M$,一个解 阅读全文
posted @ 2019-02-27 14:51 Waye_S 阅读(592) 评论(0) 推荐(0) 编辑