陈晓平著自然演绎逻辑学导论 第一章绪论 1.2推论的有效性和可靠性

变项是没有确定含义的词项。有命题变项、词项变项、个体变项。

变域是变项的变化范围。

 

常项是有确定意义的词项。有联结词常项、命题常项、谓词常项、量词常项、个体常项。

 

变项和常项有属于对象语言或元语言的区别。

 

1.2.1推论形式、变项和常项

任何具体推论有内容和形式两方面。

推论内容是推论所涉及的具体对象。

 

推论形式是推论所具有的共同结构。

 p、q是变项；p、q 的变域是命题的集合；“如果…那么…”是常项；“所以”是推论指示词。

 

1.2.2推论有效性

演绎有效性是只保证前提和结论之间有必然性联系。

 

一个推论的有效性取决于推论形式，而不取决于推论内容。

 例3 的替换例子第二个前提和结论都是假的，但仍然是有效推论。

因为例3保证假设替换例子的所有前提是真的，那结论就必然是真的。

 

替换例子是对推论形式中的变项做替换而得到的具体推论。

 

推论形式有效性是一个推论形式是有效的，当且仅当，该推论形式的所有替换例子并非前提真而结论假。

推论有效性是一个推论是有效的，当且仅当，它是一个有效推论形式的替换例子。

 

1.2.3反例

反例是前提真而结论假的替换例子。

 这种方法叫构造反例法。

并非一个无效推论形式的所有替换例子都是前提真而结论假。

 

1.2.4推论的可靠性

推论的可靠性是一个推论是可靠的，当且仅当，该推论有效并且它的所有前提是真的。

 

有效推论没有(2)，无效推论有(2)，其它两者都有； 可靠推论只有(1)。