逻辑课第二讲，上一次我们讲了“逻辑三大基本规律”，
今天我们来讲简单命题的必然性推理：转载自华东政法学院编《逻辑学基本原理》： 偷换概念、偷换论题、模糊论题已经在上一讲“逻辑三大基本规律”中的“同一律”的运用中提到过。下面来继续分析其他： “否定前件”、“肯定前件”、“合取析取”
严格的说，这个叫法不准确，因为以上前两者如果仅作为名词是正确的、成立的…… 负命题及其推理 一、负命题的逻辑特征：
定义：负命题就是否定某命题的命题（并非p）
二、负命题推理的有效形式：
１、双重否定律：“p”等价于“并非（并非p）” 联言命题及其推理 一、联言命题的逻辑特性：
定义：联言命题即陈述若干个事物情况同时存在的命题（p合取q）
联言肢（p、q、……）全真则命题真；
二、联言推理的有效形式：
１、合成式：“p、q”必然推出“p并且q”
２、分解式：“p并且q”必然推出“p”（或者“q”） 选言命题及其推理 定义：选言命题即陈述若干湿五情况中至少有一事物情况存在的命题（p析取q）
一、相容选言命题（选言肢可以同真，p或者q）及其推理：
１、相容选言命题的逻辑特性：（一真则真、全假则假）
２、相容选言推理的有效形式：
“p或者q”，“非p”必然推出“q”，“p或者q”，“非q”必然推出“p”
＊、“并非”、“并且”、“或者”的结合定义：
１、用“并非”、“并且”定义“或者”：
“p或者q”等价于“并非（并非p并且并非q）”
２、否定合取等值式：“并非（p并且q）”等价于“并非p或者并非q”
３、否定析取等值式：“并非（p或者q）”等价于“并非p而且并非q”
４、合取、析取八个等式：
交换律：“p并且q”等价于“q并且p”；“p或者q”等价于“q或者p”
重言律：“p并且p”等价于“p”；“p或者p”等价于“p”
结合律：“（p并且q）并且r”等价于“p并且（q并且r）”
“（p或者q）或者r”等价于“p或者（q或者r）”
分配律：“p并且（q或者r）”等价于“（p并且q）或者（p并且r）”
“p或者（q并且r）”等价于“（p或者q）并且（p或者r）”
二、不相容选言命题（选言肢只有一真，要么p要么q）及其推理：
不相容选言命题的逻辑特性：（有且只有一真则真，否则则假）
１、严格析取定义律：
“要么p要么q”等价于“（p而且并非q）或者（并非p而且q）”
“要么p要么q”等价于“（p或者q）而且并非（p而且q）”
不相容选言推理的有效形式：
１、否定肯定式：
“要么p要么q”、“并非p”必然推出“q”；
“要么p要么q”、“并非q”必然推出“p”
２、肯定否定式：
“要么p要么q”、“p”必然推出“并非q”；
“要么p要么q”、“q”必然推出“并非p” 假言命题及其推理 定义：假言命题（条件命题）即陈述一事物情况是另一事物情况条件的命题。
假言命题包含两个肢命题，作为条件的称为“前件”，作为后承的肢命题称为“后件”。
一、充分条件假言命题及其推理（如果p那么q）：
１、充分条件假言推理的逻辑特性：（前真后真，前假后假＝真）
蕴含定义律：“如果p那么q”等价于“（并非p）或者q”
否定蕴含律：“并非（如果p那么q）”等价于“p并且非q”
２、充分条件假言推理的有效形式：
肯定前件式：“如果p那么q”“p”必然推出“q”
否定后件式：“如果p那么q”“非q”必然推出“非p” 二、必要条件假言命题及其推理（只有p才q）：
１、必要条件假言推理的逻辑特性：（前真后真，前假后假，前真后假＝真）
逆蕴含定义律：“只有p才q”等价于“p或者非q”
否定逆蕴含律：“并非只有p才q”等价于“q并且非p”
逆蕴含交换率：“如果p那么q”等价于“只有q才p”
“只有p才q”等价于“如果非p那么非q”
２、必要条件假言推理的有效形式：
否定前件式：“只有p才q”“非p”必然推出“非q”
肯定后件式：“只有p才q”“q”必然推出“p” 三、充要条件假言命题及其推理（p当且仅当q）：
１、充要条件假言推理的逻辑特性：（前真后真，前假后假＝真）
等值定义律：
“p当且仅当q”等价于“（如果p那么q）并且（只有p才q）”
“p当且仅当q”等价于“（p并且q）或者（非p并且非q）”
否定等值律：
“并非（p当且仅当q）”等价于“（p并且非q）或者（非p并且q）”
２、充要条件假言推理的有效形式：
肯定前件式、否定前件式、肯定后件式、否定后件式。 二难推理 五、与假言命题有关的复合命题推理：
１、假言易位推理：“如果p那么q”必然推出“如果非q那么非p”
２、假言连锁推理：“如果p那么q，如果q那么r”必然推出“如果p那么r”
“如果p那么q，如果q那么r”必然推出“如果非r那么非p”
３、二难推理：
简单构成式：
“如果p那么r，如果q那么r，p或者q”必然推出“r”
复杂构成式：
“如果p那么q，如果r那么s，p或者r”必然推出“q或者s”
简单破坏式：
“如果p那么q，如果p那么r，非p或者非r”必然推出“非p”
复杂破坏式：
“如果p那么q，如果r那么s，非q或者非s”必然推出“非p或者非r” ４、反三段论推理：“如果p并且q，那么r”必然推出“如果p并且非r，那么非q”
“如果p并且q，那么r；p并且非r”必然推出“非q”
５、归谬推理：“如果p那么q，如果p那么非q”必然推出“非p”
“如果p那么q并且非q”必然推出“非p”
６、条件移入移出推理：
条件移出推理：
“如果p并且q，那么r”必然推出“如果p，那么（如果q，那么r）”
条件移入推理：
“如果p，那么（如果q，那么r）” 必然推出“如果p并且q，那么r”
条件移出入推理：
“如果p并且q，那么r”等价于“如果p，那么（如果q，那么r）”
| 
楼主: johnson43
IP卡
发表于 2005-1-29 14:16:48
显身卡
