1.一阶谓词和自然演绎推理(综合1)
谓词公式
基本概念
谓词:分为谓词名和个体
谓词的一般形式:
P(x1,x2,x3,x4…)
个体可以是常量 变元 函数
谓词表示:
否定 否
析取 并 或 ∪
合取 交 与 ∩
蕴含 -> P -> Q 如果P 则Q
等价:左右箭头
谓词逻辑真值表
量词
全称量词(全部)->
存在量词(存在)->
全称量词和存在量词存在一个地方的时候,顺序不同,意思不同
优先级:
谓词公式等价
谓词公式永真蕴含
定义谓词之前,记得说明谓词表达的意思
自然演绎推理
基本的推理是: P规则 T规则 假言推理 拒取式推理
假言推理(前正确)
拒取式推理(后错误)
P规则:在推理的任何步骤上都可引入前提。
T规则:前面步骤中有公式永真蕴含公式S,则可把S引入。
**例题
2.产生式和主观贝叶斯 ()
产生式
表示: