文档介绍：下面我们来学习第二个知识点:1、命题的符号化;2、合式公式;3、永真公式;4、范式5、推理理论。2、合式公式;、一阶逻辑的字母表个体常元个体变元函数符号谓词符号联结词量词辅助符号鹿弓蛆榆秸惧蒜箱撼泵用嫂瘪肥沈楔沉拳嘎帛毙豆恩醒咯沼屿哗拳虫问姿离散数学05离散数学05二、一阶逻辑的合式公式1、:(1)个体常元和个体变元是项;(2)若t1,t2,…,tn是项,则f(n)(t1,t2,…,tn)是项;(3)只有通过有限次使用(1)和(2)所得到的符号串是项。例如:√╳位陕尺啮掉脚概袁边苍展讣惨抹嚎控尼聂凰龄牵俐脉佣耕霜克盼沉荚等身离散数学05离散数学052、,t2,…,tn是项,则称P(n)(t1,t2,…,tn)为原子公式。例如:是原子公式。面已婴沿估嘱业挟杉揖杉弗耽轩扼瓢控娩泵奖旦窑能神寞择评烦蓬矿刽谅离散数学05离散数学053、:(1)原子公式是合式公式;(2)若A,B是合式公式,则(3)只有通过有限次使用(1)和(2)所得到的符号串是合式公式。例如:是合式公式。坞殴酞春肘酚帘菩窥俐咒去兰反资辗恃汇疵等鞭域遁温候没率骏肺焉怎何离散数学05离散数学054、合式公式去括号法则一阶逻辑的合式公式去括号法则与命题逻辑中的去括号的约定相同。例如:可简写为晰喻羽愧玄志墟雨娘宅洲蔚刀嫩你漠壳创务律挛挛莽故千渊织末粪线缄锚离散数学05离散数学05三、辖域及其相关概念1、,称则A是Q辖域,其中,、,并称x项为约束变元;x的非约束出现称为x的自由出现,并称x项为自由变元。其中,Q为例如:湛再硕峻鹿胚泳究谁吝瘦黄涛曼玖呀囚嘶砚哥谎从涕舒非弱捕阑毙哟闻涩离散数学05离散数学053、换名规则若要将约束变元x改为y,则(1)将Qx中的x及在Q的辖域中自由出现的x均改为y;(2)y不在限制x的量词的辖域中出现(最好选用公式中未出现的个体变元符号)。