第二节 联言命题及其推理
1、联言命题的含义:联言命题是断定若干情况同时为真的复合命题 2、联言命题的结构: (1)支命题:联言支
(2)联接词:“且”(“∧”,读作“合取”) (3)公式: p ∧ q (合取式) 3、联言命题的逻辑值: (1)真值表: p T T F F (2)联言命题为真:所有的支命题均为真
(3)联言命题为假:有________种情况;至少有一种情况为假;p假或q假;若一个为真,则另一个必为假 (4)联言命题适用于交换律:_______________________________________ 4、联言命题的省略形式 1) 2) 3)
5、联言推理:
(1)合成式:______________________________;(2)分解式:_______________________________
第三节 选言命题及其推理 1、选言命题的含义:
(1)相容选言命题是断定若干情况至少一真的复合命题 (2)不相容选言命题是断定若干情况有且仅有一真的复合命题 2、结构:
(1)支命题:选言支
(2)联接词:“或”(“∨”,读作“析取”)—— 相容选言命题
“要么”(“____”,读作“不相容析取”) —— 不相容选言命题 (3)公式: p ∨ q (析取式) p ___q (不相容析取式) 3、选言命题的逻辑值:
(1)真值表:(相容选言命题与不相容选言命题) p T T F q T F T 第 13 页 共 15 页
p ∨ q T T T p q F T T 复合谓项联言命题 复合主项联言命题 复合主谓项联言命题
q T F T F p ∧ q T F F F F F F F (2)n支相容选言命题为真,有______种可能;n支相容选言命题为假,只有一种可能(所有支命题均为假) (3)n支不相容选言命题为真,有n种可能;n支不相容选言命题为假,有_________-种可能
(4) 徳摩根律:见到合取变析取,见到否定变肯定:__________________________________________________ 3、关于选言肢是否穷尽的问题 4、选言推理 (1)相容选言推理:
公式:_____________________________________ 无效式 _____________________________________
_____________________________________ 有效式——否定肯定式 _____________________________________
规则:一真一不定:肯定一部分选言支不能必然否定另一部分选言支 一假一必真:否定一部分选言支可以必然肯定另一部分选言支
(2)不相容选言推理:
公式:_____________________________________ 有效式——肯定否定式 _____________________________________
_____________________________________ 有效式——否定肯定式 _____________________________________
规则:一真一必假:肯定一部分选言支可以必然否定另一部分选言支 一假一必真:否定一部分选言支可以必然肯定另一部分选言支
第四节 假言命题及其推理
充分条件:前真后必真,前假后不定 必要条件:前真后不定,前假后必假 充要条件:前真后必真,前假后必假
1、充分条件假言命题及其推理
(1)含义:充分条件假言推理就是断定两个情况之间具有“前真后必真,前假后不定”关系的复合命题 (2)结构: 支命题:前件p;后件q (不适用于交换律) 联接词:如果 … … 那么… … (_________读作“蕴含”) 公式:______________________ (蕴含式) (3)真假:真值表: p T T F F q T F T F p q T F T T 说明:a、充分条件假言命题为真,则有3种可能:前真后假、前假后真、前假后假
第 14 页 共 15 页
b、充分条件假言命题为假,只有一种可能:前真后假(违反蕴析律) c、蕴析律:__________________________________________________
__________________________________________________
d、蕴含怪论:一个假命题可以蕴含一切命题(前件为假,后件无论真假,命题皆为真) (4)充分条件假言推理:
公式:_____________________________________ ———— 肯定前件式 _____________________________________ 无效式
_____________________________________
_____________________________________ ———— 否定后件式 规则:前真后必真,前假后不定
后真前不定,后假前必假
2、必要条件假言推理及命题
(1)含义:充分条件假言推理就是断定两个情况之间具有“前真后不定,前假后必假”关系的假言命题 (2)结构: 支命题:前件p;后件q (不适用于交换律) 联接词:只有 … … 才… … (_________读作“逆蕴含”) 公式:______________________ (逆蕴含式) (3)真假:真值表: p T T F F q T F T F p q T T F T 说明:a、必要条件假言命题为真,则有3种可能:前真后真、前真后假、前假后假 b、必要条件假言命题为假,只有一种可能:前假后真(违反蕴析律) c、蕴析律:__________________________________________________
__________________________________________________
(4)必要条件假言推理:
公式:_____________________________________ ———— 无效式
_____________________________________ ———— 否定前件式
_____________________________________ ———— 肯定后件式 _____________________________________ ———— 无效式 规则:前真后不定,前假后必假
后真前必假,后假前不定
3、充要条件假言命题与推理 4、假言易位推理 5、假言连锁推理 第五节 负命题及其推理
第 15 页 共 15 页
相关推荐: