逻辑学及导论第二章.pptx

一、日常联结词和复合命题 二、真值联结词 真值形式 三、重言式及其判定方法 四、重言蕴涵式 重言等值式 五、命题逻辑的自然推理;简单命题 只能分析为不同的词项、不能分析为其他命题的命题。亦称“原子命题”。例如： （1）香山枫叶正红。 （2）诸葛亮舌战群儒。 （3）掷骰子4点朝上的概率是1/6。;复合命题 包含其他命题的命题，它是用一定的联结词连接其他命题而形成的。例如： （4）北京是中国的政治中心，并且是文化中心。 （5）胜者或因其强，或因其指挥无误。 （6）如果一个推理的前提真并且推理形式有效，则结论必真。; 组成复合命题的其他命题叫做该复合命题的支命题。 根据其中所含联结词的不同，复合命题可以分为联言命题、选言命题、假言命题和负命题四类。;联言命题 联言命题是由“并且”这类联结词联结两个或多个支命题形成的复合命题，它们是断定几种事物情况同时存在的命题。其一般形式是： p并且q 其中 p、q称为联言支。; 联言命题的逻辑性质： 只有它的各个支命题都是真的，它本身才是真的；如果有一个支命题为假，则联言命题为假。 也就是说，一个联言命题是真的，当且仅当它的各个联言支都是真的。; 根据联言命题的这种性质，联言推理的有效式包括： （Ⅰ）合成式：如果分别肯定两个联言支，则可以肯定由这两个联言支组成的联言命题。 p q 所以，p并且q;（Ⅱ）分解式：如果肯定一个联言命题，则可以分别肯定其中的每一个联言支。 p并且q 所以，ｐ 或者 p并且q 所以，q; （Ⅲ）否定式：如果否定一个联言支，则可以否定包含这个联言支的联言命题。 并非p 所以，并非（p且q）;选言命题 分为两类：相容选言命题和不相容选言命题，其中的支命题都叫做“选言支”。 相容选言命题是借助“或者”这类联结词联结两个支命题形成的复合命题，它们断定几种事物情况至少有一种存在。其一般形式是： p或者q;相容选言命题的逻辑性质： 各个选言支并不相互排斥，而是可以同时为真。 换句话说，只要有一个选言支为真，相容选言命题为真；如果所有选言支都假，则相容选言命题为假。;根据相容选言命题的上述性质，相容选言推理有下述有效式： （Ⅰ）否定肯定式：如果肯定一个相容选言命题并且否定其中的一个选言支，则必须肯定其中的另一个选言支。 p或者q 非p 所以，q 或者 p或者q 非q 所以，p; （Ⅱ）肯定肯定式：如果肯定一个选言支，则必须肯定包含这个选言支的任一选言命题。 p 所以，p或者q;不相容选言命题是由“要么…，要么…”这类联结词联结两个支命题所形成的复合命题。 权且把“要么p，要么q，二者必居其一”当作不相容选言命题的标准形式，其逻辑性质是：各个选言支互相排斥，不能同时为真。因此，对于不相容选言命题来说，必有且只有一个选言支为真；若有多个选言支同时为真，或同时为假，则不相容选言命题亦为假。;根据不相容选言命题的上述性质，不相容选言推理包括下述有效式： （Ⅰ）否定肯定式：如果否定一个不相容选言命题的一个选言支，则必须肯定它的另一个选言支。 要么p，要么q 或者 要么p，要么q 非p 非q 所以，q 所以，p ;（Ⅱ）肯定否定式：如果肯定一个不相容选言命题的一个选言支，则必须否定它的另一个选言支。 要么p，要么q 或者 要么p，要么q p q 所以，非q 所以，非p ;关于选言命题，应该注意以下两点： （1）一个选言命题究竟是相容的还是不相容的，没有专用的形式识别标记，只能看其中的各个选言支是否能够同时为真：能够同时为真的，是相容选言命题；否则，是不相容选言命题。 (2)如果一个选言命题穷尽了所有的选言支，则该选言命题必真；假若选言支不穷尽，则选言命题有可能为假。;假言命题 亦称“条件命题”，其中表示条件的支命题叫做“前件”，表示结果的支命题叫做“后件”。假言命题断定了前件和后件之间的某种条件关系。而条件关系一般来说分为三种：充分条件、必要条件和充分必要条件，相应地，假言命题也分为三种：充分条件假言命题，必要条件假言命题，充分必要条件假言命题。; 充分条件假言命题及其推理 由“如果，则”这类联结词连接两个支命题而形成的命题。其一般形式是： 如果p则q;充分条件假言命题的逻辑性质： 只有在前件真后件假的情况