充分条件假言推理 充分条件假言命题断定前后件的关系是:若有前件则有后件;若无后件则无前件。因此,充分条件假言推理的规则是:2 Z9 c* z+ z+ m: L! P7 L3 r Q
肯定前件可以肯定后件;5 v) z$ u8 ]3 n1 c+ l6 n* w
否定后件可以否定前件;/ D! L$ p0 H4 g) h7 f0 V
否定前件不能否定后件;
6 K/ Z( a/ t/ m0 V5 U) A 肯定后件不能肯定前件。
2 `& }0 T- k& b 根据这些规则,充分条件假言推理有两个有效式(肯定前件式和否定后件式)和两个无效式(否定前件式和肯定后件式)。2 |' m4 |. L! q+ [, J9 G7 c( D
肯定前件式(有效式)! k8 I% K" @. f. P8 K, s* ]" T/ D
如果p,那么q, N' ^ Q3 ~6 U0 K
p 所以q3 [6 S, {8 y# n* Q- ?6 c9 w! |
例如: 如果患肺炎,那么就会发高烧
: ]# @0 _; U4 Z5 K p) M, q 小张患肺炎 所以,小张会发高烧
, l7 y. F7 R! G 这是充分条件假言推理的肯定前件式,是正确的。0 L4 Q( x( y! @+ N+ [, w
否定后件式(有效式)4 c: F) e# ~4 x8 V% t0 }& H% k
如果p,那么q
S! N* k/ z$ a" I1 \* m) z: p 非q 所以非p
8 w# r3 m5 ]2 V$ ^ 例如:如果患肺炎,那么就会发高烧& u/ x( G6 u) h1 K" } ]& I* |
小张未发高烧 所以,小张未患肺炎/ t4 B" f2 s# ?6 [
这是充分条件假言推理的否定后件式,是正确的。; l% Q6 T8 s5 C& n! ^6 V3 b
否定前件式(无效式):
/ n' x; w. Y0 v4 T- b 如果p,那么q
1 Y1 h9 l; b& V% C 非p 所以非q
2 x" T7 j! P6 d& e* [6 | 例如:如果患肺炎,那么就会发高烧
$ `; b) L- d( f8 E( @7 {" H 小张未患肺炎 所以,小张不会发高烧* Q" f3 M7 G1 j1 k' t- Q4 x
这是充分条件假言推理的否定前件式,是错误的。
1 r! b* n) r# U0 @# q, Q 肯定后件式(无效式)( D$ v4 `0 N0 Z! d5 d* ?4 |/ M
如果p,那么q
& e8 W; e6 r; X9 u9 b ` q 所以p
8 a, D) Q* }7 g& f 例如:如果患肺炎,那么就会发高烧" H) c5 V7 H$ F9 |
小张发高烧 所以,小张患肺炎3 ~/ s1 h* D7 ] }: a$ X3 U
这是充分条件假言推理的肯定后件式,是错误的。
q5 K8 }5 @. R2 h 必要条件假言推理
8 }# [* K4 L& g0 K4 w! G7 J 必要条件假言命题断定前后件的关系是:若无前件则无后件;若有后件则有前件。因此,必要条件假言推理的规则是:' [1 E6 L3 S; _& `
否定前件可以否定后件;9 c$ o. r$ Z9 O; O
肯定后件可以肯定前件;
4 w: X* N9 | | 肯定前件不能肯定后件;% B! L0 d$ e. o7 B0 D3 ]
否定后件不能否定前件。4 e+ x1 c- B" F0 ]$ d- L6 n' }0 h) S
根据这些规则,必要条件假言推理有两个有效式(否定前件式和肯定后件式)和两个无效式(肯定前件式和否定后件式)。6 R$ L1 t& d5 M1 A& W
否定前件式(有效式)
5 ~& e- o. W; n7 N- ^$ P 只有p,才q
- m8 m- X6 F5 h% h3 O 非p 所以非q
C4 C2 z& U, Q5 y+ i8 T- V 例如:只有年满18岁,才有选举仅
x$ h% ^, t3 X" j5 Y 小张不满18岁
3 \9 L% W. t8 M1 k% e. u 所以,小张没有选举权; G4 H2 ], Q# {1 o
这是必要条件假言推理的否定前件式,是正确的。
3 c; u; x# R: S U 肯定后件式(有效式):/ c. `! L9 C, y, D
只有p,才q
' e* ^+ ?9 I, u' ?- W" c0 ` q 所以p9 v* Y/ Z6 j3 J/ ?; N
例如:只有年满18岁,才有选举仅
& a2 k3 O; u% V6 s( ~" h4 H 小张有选举权" h0 J# l3 J5 K# C
所以,小张满18岁
! e$ D( J- a: ]% _ 这是必要条件假言推理的肯定后件式,是正确的。! U j7 @; z c; w8 `. }6 z C, V
肯定前件式(无效式)
1 N' B' Y6 m4 i$ Q- v: f# b4 A4 P 只有p,才q
9 c( P. S+ I- J: z, `1 S) s p8 c3 |8 Z- T0 b0 I
所以q
* b3 g6 f" j4 B$ E- _+ l' h 例如:只有年满18岁,才有选举仅. E: ?! o! ~7 n5 a
小张年满18岁4 i+ `+ S! i' e: M4 X2 |5 N2 t
所以,小张有选举权, C8 n$ R" @9 R/ Z3 e) e+ V. S
这是必要条件假言推理的肯定前件式,是错误的。
9 b; l& Y: U" L$ u- l 否定后件式(无效式)5 N# w- ?( t/ N" y
只有p,才q5 j& `$ }! V9 l/ `& z: n$ q7 ~2 |
非q7 w8 B H( @1 d( h; \, H( b! d
所以非p
1 `2 i( m0 q! J* ~% ^; ? 例如:只有年满18岁,才有选举仅
! v% o4 s! m7 @5 k 小张没有选举权
" x# t" f8 V! A& ? 所以,小张不满18岁
; _: N y) |8 T1 ]5 f6 t0 _ 这是必要条件假言推理的否定后件式,是错误的。
" b4 @1 [: i6 ?) o$ L. ?0 n' W- N1 ` 充要条件假言命题断定前后件的关系是:若有前件则有后件;若无前件则无后件;若有后件则有前件;若无后件则无前件。因此,充要条件假言推理的规则是:2 S$ p& `3 q+ S4 J: S
肯定前件可以肯定后件;否定前件可以否定后件;
: `. U1 N7 d) M% ?' H 肯定后件可以肯定前件;否定后件可以否定前件。
( o; X% c: t0 h0 u$ J 根据这些规则,充要条件假言推理有四个有效式:肯定前件式、肯定后件式、否定前件式和否定后件式。$ f* _8 t% S2 f& M
例如:
: Y( o R& N( r$ X9 z 坚持并且只有坚持实事求事,才能确立正确的思想路线- D/ L' e( y- X( x4 B" V; d
我们坚持实事求事
6 P7 }+ e- y7 i3 d6 ]6 m 所以我们能确立正确的思想路线/ h4 i) A! v2 _8 M
这是充要条件假言推理的肯定前件式,是正确的。
. w5 Y& S' d* H (pùq)?r0 ]+ u* i& ]$ b; Y+ u6 |, n) X* T
?rùq
! S0 w( j0 R, l& B( B f: \7 w. E ----------------/ s J3 B' \/ n3 Y5 f
?p
2 P8 z7 o# y$ m9 ^* }5 g$ k 该推理式称为反三段论命题推理式,在逻辑考试中有重要应用。' @8 |9 x$ w4 w
在应试中最具应用价值的
% M7 P* f6 x& D `( U5 S 四个命题逻辑知识点
& i S e! N. l/ [, I, x ◆条件关系,特别是必要条件和充分条件
/ v1 n3 l& U4 \+ u7 l- t% I ◆ 复合命题和命题推理的形式分析和形式比较
4 i. j9 q5 M! F ◆ 7个重要等值式4 {! U- _* {: X, F+ u0 t. |* ^: O9 J
◆ 5个有效推理式4 m2 O" f2 m. C, Q! v. F+ f
条件关系,特别是必要条件和充分条件。
4 T) X5 ~3 E8 I& a7 ]. u 注意以下几点:
4 |+ N3 w/ J$ y% U5 b ① 必要条件关系的不同表达方式。" a) W1 |% p1 P, q, l( P2 q
P是q的必要条件,可以表达为:
, P9 [4 s* ?+ z( U* M6 Q/ ^1 P 只有p,才q; a1 @" `0 V% _' k+ c. g
除非p,否则不q) U' ?' z. g: D: L
如果不p,则不q。
" X# m! h/ R2 x$ @9 N/ T7 U7 ? ② 如果p是q的充分条件,则q是p的必要条件;如果p是q的充分条件,则q是p的必要条件。
. ?% d1 s% F6 o* e* u- b- J6 q ③ 上述结论说明,必要条件可以用充分条件表达(当然,充分条件也可以用必要条件表示)。因此,在解答某些涉及多个条件关系的试题时,一个值得推荐的方法是:所有的必要条件关系都等价地表达为充分条件关系,并用“?”表示。8 |' D; T, E X
[思考]/ V, Y& o1 v7 J1 N6 b" I8 P" g& d% y
除非p,否则q。
$ \1 u/ K) O/ m* n+ K. M9 |! | 以下哪个或哪些选项正确地表达了上述断定?
" E4 p6 _! x; ^) E+ V5 b5 k A.p是q的必要条件。
0 E) L5 X6 ]$ d" t2 ]$ U B.p是非q的必要条件。0 T5 j$ W& B1 ~# k" a S! e0 Z/ L
C.非p是q的充分条件。
4 n. {/ f% F/ S7 d; s D.非q是p的充分条件。
! @ X* a; R9 d. p( L- \ E.q是非p的必要条件。. B+ g, I1 \$ M2 g$ ^! f8 F
答案:B,C,D,E
# G0 N* V, X' W! ` [分析]$ V/ c/ Z) O( X7 m& f- M
“除非p,否则q”可以表达为
3 }4 r4 C% v: V( w ?p?q (“…,否则q”的意思是:“如果否定p,则q”)
* C- C+ U8 L5 a3 ? 上式等价于. J5 x, W) H1 b4 }0 I. a
?q?p。
6 h0 E9 f/ j# j! v7 R 由这两个公式,不难得出以上答案。
; w7 d; g) Z' S, Y- o: t A.p是q的必要条件。# b. a7 h- u5 A8 P
B.p是非q的必要条件。
9 @% k- e7 {' l2 t) X& G8 V C.非p是q的充分条件。$ U% K, E# Q* U% e7 {" s/ J: l, A
D.非q是p的充分条件。! c: D1 K# d7 r
E.q是非p的必要条件。
; y+ S3 r) D5 | 答案:B,C,D,E
) @* ?1 W! P" d% q5 h& f1 P* n+ r [思考]
/ m- ]) M$ U/ s/ n( D8 H 一个人要受人尊敬,首先必须保持自尊;一个人,只有问心无愧,才能保持自尊;而一个人如果不恪尽操守,就不可能问心无愧。
0 } ]4 Q. l, A1 A$ Z7 b 把以上陈述所断定的条件关系,都等价地表达为充分条件关系,并用?表示。
6 S6 [: S3 R& Z) c& o* \- z% l 答案:
" H) K3 {$ n$ e0 R% f% k$ V" M 受人尊敬?保持自尊?问心无愧?恪尽操守+ h" }- @' |1 W
复合命题和命题推理的形式分析和形式比较。; |9 l7 L9 j& @7 `
[思考]
2 V- n! u2 M" X2 c# x 张三、李四和王五三人中,至多有两人出席会议。
i* i) X& R( n7 h 写出上述断定的形式。(“张三出席会议”缩写为“张三”,类推。)其中只出现:张三, 李四,王五, ?, ù, ú和括号。7 J7 o3 h% e. G/ Q
答案:
( E# U ^) U0 e! a# F2 ?) s, b ?(张三 ù 李四 ù 王五)0 s1 i; W0 v: X
上式等价于
2 ]3 V( K/ ^7 r9 M. A1 R% p9 s5 u& @ ? 张三 ú ? 李四 ú ? 王五
8 ^( k+ G0 w, d- L% _ [思考]' e0 }. L6 c. q$ |0 B! Z( j
某电路中有S、T、W、X、Y、Z六个开关,使用这些开关必须满足下面的条件:0 ?3 S' u3 Z+ d
(l)如果W接通,则X也要接通;
$ N* n! g3 c( h/ d0 L* t, N% T6 ? (2)只有断开S,才能断开T;
1 W. B8 d5 `$ Q: r (3)T和X不能同时接通,也不能同时断开;4 c5 b3 }7 A n; V
(4)如果Y和Z同时接通,则W也必须接通。8 X) N5 r2 F. [) @3 n
(5 )S和Z同时接通。 |