从一组已知为真的事实出发,直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理。
自然演绎推理所给予的逻辑基础主要包含等价式、永真蕴含式、置换、合一
等价式
定义
设P
和D
是D
上的两个谓词公式,若对D
上的任意解释,P
与Q
都有相同的真值,则称P
与Q
在D
上是等价的。如果D
是任意非空个体域,则称P
与Q
是等价的,记作 P ⇒ Q P \Rightarrow{Q} P⇒Q
谓词公式的一个解释是指对谓词公式中各个变元的一次真值指派
常用等价式:
永真蕴含式
定义
对谓词公式P
和Q
,如果 P → Q P \rightarrow{Q} P→Q永真,则称P
永真蕴含Q
,且称Q
为P
的逻辑结论,P
为Q
的前提,记作 P ⇒ Q P \Rightarrow{Q} P⇒Q。
常用的永真蕴含式
上述等价式和永真蕴含式是进行自然演绎推理的重要依据,因此这些公式也被称为推理规则。
置换
在不同谓词公式中,往往会出现多个谓词的谓词名相同但是个体不同的情况,此时推理过程是不能直接进行匹配的,需要先进行边缘的替换。
定义
替换是形如 { t 1 / x 1 , t 2 / x 2 , . . . , t n / x n } \{t_1/x_1,t_2/x_2,...,t_n/x_n\} { t1/x1,t2/x2,...,tn/xn