明性表示?表示方法是否自然返回2016-11-152.2 一阶谓词逻辑表示法一种重要的知识表示方法,它以数理逻辑为基础,是到目前为止能够表达人类思维和推理的一种最精确的形式语言。它的表现方式和人类自然语言非常接近,它能够被计算机进行精确推理。一阶谓词逻辑表示法2016-11-15相关概念2016-11-15命题逻辑命题逻辑就是研究命题和命题之间关系的符号逻辑系统。通常用大写字母P、Q、R、S等来表示命题。如:P:今天下雨P是命题的名或命题标识符命题常量:命题标识符表示一个确定的命题。命题变元:命题标识符只表示任意命题的位置标志。当命题变元P用一个特定的命题取代时,P才能确定真值,这时称为对P进行指派。命题的分类?原子命题:不能分解成更简单的陈述语句。?复合命题:由联结词、标点符号和原子命题等复合构成的命题。命题逻辑所谓命题就是具有真假意义的陈述句。如“今天下雨”、“1+100=101”,真或假用符号T或F表示。2016-11-15语法2016-11-152016-11-15(1) 命题常元和命题变元是命题公式,也称为原子公式。(2) 如果P、Q是命题公式,那么~P、P∧Q、P∨Q、P→Q和P?Q也是命题公式。(3)只有有限步引用(1)、(2)条款所组成的符号串是命题公式。 5个联结词的优先级顺序为:~、∧、∨、→、?。命题公式命题符号包括以下几种(1) 命题常元:True(T)或False(F)表示;(2) 命题符号:P、Q、R等;(3) 连接词:①~(否定,not),~P称为“非P”;②∧(合取,conjunction),P∧Q表示“P∧Q”;③∨(析取,disjunction),P∨Q表示“P∨Q”;④→(蕴含,implication),P→Q表示“P蕴含Q”,P称为蕴含的前件,Q称为蕴含的后件;⑤?(等价,equivalent),P?Q表示“P当且仅当Q”。
全文预览
