一、基础等价 1、逆否命题:A→B 等价于 -B→-A 2、摩根定理: -(A或B) 等价于 -A且-B -(A且B) 等价于 -A或-B 二、有真有假型 1、矛盾关系:矛盾之间必有一真一假 原命题 矛盾命题 A -A A且B -A或-B A或B -A且-B A→B A且-B 所有 有的不 必然 可能不 注:有的之间必有一真,所有之间必有一假 2、包容关系: 若A→B,则A真B真;B假A假 ① 只有一真:假设A真,那么A、B两真,矛盾了,所以A必然为假 ② 只有一假:假设B假,那么A、B两假,矛盾,所以B必然为真 注:①②可简记为一真前假,一假后真。 三、直言命题的真假关系 1、具有从属关系的两个命题之间: 全称真则特称真,特称假则全称假(全称即所有,特称即有些、有的等) 2、具有矛盾关系的两个命题之间: 必有一真一假 3、具有反对关系的两个命题之间: 不能同真,必有一假(可以同假) 4、具有下反对关系的两个命题之间: 不能同假,必有一真(可以同真) 四、复言命题 1、联言命题:P且Q(一假即假,全真才真) 常用连词:虽然…但是…,不是…而是…,不但…而且… 2、选言命题: ①相容选言命题:P或Q(一真即真,全假才假) 常用连词:或…或…,可能…也可能… ① 不相容选言命题:要么…要么…(有且只有一真才为真) 3、假言命题: ①充分条件假言命题(P真Q假才为假) 如果P,那么Q或P→Q 注:肯前就肯后,否后就否前 ②必要条件假言命题(P假Q真才为假) 只有P,才Q或Q→P 注:否前就否后,肯后就肯前 五、常用的转换: 1、除非…否则… 除非P,否则Q = 如果非P那么Q = 只有P,才非Q 2、如果P,那么Q = 非P或者Q 只有P,才Q = P或者非Q 解释一下,有版友对这个等价不是很理解, “P→Q”的负命题是“P且非Q”,“P且非Q”的负命题为“非P或Q”,负命题的负命题等价于原命题,故“P→Q”=“非P或Q” 六、模态命题 1、从属,矛盾,反对,下反对四种关系之间的真假同直言命题的,这里就不重复说了,自己理解哈 2、必然与可能之间的等价 不可能 = 必然不 ; 不必然 = 可能不; 必然 = 不可能不 ; 可能 = 不必然不 注:可简单记忆为 把必然与可能互换,肯定与否定互换 七、三段论 1、标准格式 凡是真理都是正确的; 达尔文的进化论是真理; 所以达尔文的进化论是正确的。 2、规则: 规则1:从两个否定的前提推不出结论。 规则2:两个前提中有一个是否定的,那么结论是否定的; 如果结论是否定的,那么必有一个前提是否定的。 规则3:两个特称的前提推不出结论。 规则4:如果前提中有一个是特称的,那么结论也一定是特称的。 注:可简单记忆为 一特得特,一否得否。 |
|
来自: 昵称35818713 > 《判断推理华图视频》