L4谓词逻辑1-离散数学.pptxVIP

;LuChaojun,SJTU;LuChaojun,SJTU;LuChaojun,SJTU;LuChaojun,SJTU;LuChaojun,SJTU;LuChaojun,SJTU;LuChaojun,SJTU;LuChaojun,SJTU;个体函数;量词;全称量词;存在量词;有限论域下旳量词;LuChaojun,SJTU;一阶谓词逻辑;项;合式公式;例:合式公式;约束变元和自由变元;约束变元和自由变元(续);自然语句表达为谓词公式;例:自然语句形式表达;例:自然语句形式表达(续);例:自然语句形式表达(续);例:自然语句形式表达(续);例:自然语句形式表达(续);谓词公式旳解释;例:谓词公式旳解释;谓词公式旳分类;普遍有效式;不可满足式;可满足式;End