L4谓词逻辑1

L4谓词逻辑1Tag内容描述：<p>1、谓词逻辑,一,Lu Chaojun, SJTU,主要内容,谓词与量词 谓词公式 等值演算 范式 谓词逻辑推理 归结法推理,Lu Chaojun, SJTU,谓词逻辑与命题逻辑的区别,命题逻辑:简单命题是分析的基本单元,不再对简单命题的内部结构进行分析. 例如a:“柏拉图是人”和b:“亚里士多德是人”是两个相互独立的命题,看不出a和b有什么联系. 谓词逻辑(predicate logic):深入到简。</p><p>2、数理逻辑 Mathematical Logic,第一章 逻辑、集合和函数 Chapter 1 Logic、set and function,复习,逻辑等价 p q是永真式 基本的逻辑等价关系 恒等律、幂等律、支配律、双非律、吸收律、交换律、结合律、分配律、德摩根律、补余律 常用的逻辑等价关系 p(qr) q(pr) p(qr) (pq)r (pr)(qr)。</p><p>3、数理逻辑 Mathematical Logic,第一章 逻辑、集合和函数 Chapter 1 Logic、set and function,复习,谓词 命题函数：P(x) 命题函数变为命题：赋值、量化 论域对命题函数的影响 R(x)表示“x是大学生”，x的论域是在座的全体学生；学府中学的学生；一个电影院里所有观众。,量词 全称量词： P(x1) P(x2) P(xn) 存在量词。</p><p>4、a，1，2章标志集推送理论，a，2，2.1名标题标志集，1。命题定义2-1命题：真与假有意义的句子。定义2-2原子命题：如果一个命题不能再分解成更简单的命题，那这个命题就称为原子命题。a、3、2。连接词:或称为否定。:读为“提取”、PQ“P或Q”。:读“一起拿”，PQ读“P和Q”。条件称为“条件”。P Q .称为双重条件。Pq、“如果是p”和“如果是q”。连接词优先级：，a，4，3。联式。</p>