2. Gi畛i thi畛u S畛 t鱈n ch畛: 02 S畛 ti畉t th畛c l棚n l畛p: 34 ti畉t L箪 thuy畉t: 26 ti畉t Th畉o lu畉n: 8 ti畉t S畛 gi畛 sinh vi棚n t畛 h畛c: 4 gi畛/tu畉n x 12 tu畉n = 48 gi畛. M畛c ti棚u: Trang b畛 cho sinh vi棚n nh畛ng ki畉n th畛c c董 b畉n logic h畛c nh畛ng h狸nh th畛c, quy t畉c quy lu畉t chi ph畛i s畛 ph叩t tri畛n c畛a t動 duy, g坦p ph畉n r竪n luy畛n t動 duy logic, ti畉p thu tr鱈 th畛c c坦 hi畛u qu畉. T畛 坦 h狸nh thnh th坦i quen t畛 ki畛m tra, ph叩n o叩n v l畉p lu畉n c坦 logic trong c叩c t狸nh hu畛ng. Nhi畛m v畛 c畛a Sinh vi棚n: D畛 l畛p 畉y 畛, 炭ng gi畛, th畛c hi畛n t畛t c叩c n畛i quy c畛a Nh tr動畛ng trong gi畛 l棚n l畛p Th畛c hi畛n t畛t c叩c bi t畉p v c叩c gi畛 th畉o lu畉n tr棚n l畛p. Ph畉i 畛c gi叩o tr狸nh tr動畛c,畛c ti li畛u tham kh畉o 畛 動a ra c叩ch gi畉i quy畉t v畉n 畛 c畛a ri棚ng m狸nh trong c叩c bi gi畉ng v gi畛 th畉o lu畉n. H狸nh th畛c thi h畉t m担n: Thi vi畉t 3. Gi畛i thi畛u Ti li畛u h畛c t畉p Gi叩o tr狸nh ch鱈nh: Bi gi畉ng ch鱈nh c畛a Tr動畛ng 畉i h畛c kinh t畉 k畛 thu畉t CN. S叩ch tham kh畉o v ti li畛u: V動董ng T畉t 畉t - L担gic h畛c 畉i c動董ng, NXB 畉i h畛c qu畛c gia HN 2002 T担 Duy H畛p - L担gic h畛c - NXB 畛ng Nai 1997 B湛i Thanh Qu畉t - Gi叩o tr狸nh L担gic. 畉i h畛c t畛ng h畛p H N畛i 1995 Nguy畛n 畛c D但n - Gi叩o tr狸nh nh畉p m担n L担gic h狸nh th畛c, NXB Th畛ng k棚 HN 2003. Nguy畛n Nh動 H畉i - Gi叩o tr狸nh L担gic h畛c 畉i c動董ng, NXB Gi叩o d畛c 4/2007 .P Gorki - L担gic h畛c - NXB Gi叩o d畛c H N畛i 1974 Kh担menc担 - L担gic h畛c - NXB qu但n 畛i nh但n d但n 1977 4. N畛i dung Ch動董ng 1: 畛i t動畛ng v 箪 ngh挑a c畛a logic h畛c. Ch動董ng 2: Kh叩i ni畛m Ch動董ng 3: Ph叩n o叩n. Ch動董ng 4: C叩c quy lu畉t c董 b畉n c畛a logic h狸nh th畛c. Ch動董ng 5: Suy lu畉n. Ch動董ng 6. Ch畛ng minh - B叩c b畛 Gi畉 thuy畉t . 5. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c I. 畛NH NGH懲A LGIC H畛C Thu畉t ng畛 l担gic th動畛ng 動畛c s畛 d畛ng v畛i 3 ngh挑a sau: 畛 ch畛 m畛i li棚n h畛 t畉t y畉u c坦 t鱈nh quy lu畉t gi畛a c叩c s畛 v畉t v c叩c hi畛n t動畛ng c畛a gi畛i hi畛n th畛c -> l担gic kh叩ch quan 畛 ch畛 nh畛ng m畛i li棚n h畛 t畉t y畉u, c坦 t鱈nh quy lu畉t gi畛a c叩c 箪 ngh挑, c叩c t動 t動畛ng trong t動 duy, trong l畉p lu畉n -> l担gic ch畛 quan 畛 ch畛 m畛t b畛 m担n khoa h畛c nghi棚n c畛u v畛 t動 duy -> l担gic h畛c. Thu畉t ng畛 l担gic nguy棚n g畛c l m畛t t畛 g畛c Hy l畉p ( э ) c坦 ngh挑a l t畛,l畛i, tr鱈 tu畛, l畉p lu畉n 6. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c I. 畛NH NGH懲A LGIC H畛C Hai ph動董ng ph叩p nghi棚n c畛u logic h畛c L担gic h畛c bi畛n ch畛ng l khoa h畛c nghi棚n c畛u v畛 c叩c quy lu畉t v h狸nh th畛c c畛a t動 duy nh畉m ph畉n 叩nh 炭ng 畉n hi畛n th畛c v畛i t動 c叩ch m畛t h畛 th畛ng c坦 qu叩 tr狸nh sinh thnh, bi畉n 畛i v ph叩t tri畛n. L担gic h狸nh th畛c l khoa h畛c nghi棚n c畛u v畛 c叩c quy lu畉t v h狸nh th畛c c畛a t動 duy nh畉m ph畉n 叩nh 炭ng 畉n s畛 v畉t 畛 nh畛ng th畛i i畛m x叩c 畛nh. 7. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c C畉m gi叩c: L ph畉n 叩nh v畛 thu畛c t鱈nh, t鱈nh ch畉t ri棚ng l畉 no 坦 c畛a 畛i t動畛ng, 動畛c t畉o ra khi 畛i t動畛ng c湛ng thu畛c t鱈nh 畉y t叩c 畛ng l棚n c叩c c董 quan c畉m gi叩c c畛a con ng動畛i. Tri gi叩c: L 叩nh ph畉n t動董ng 畛i hon ch畛nh v畛 畛i t動畛ng nh動 m畛t ch畛nh th畛, 動畛c t畉o ra khi 畛i t動畛ng t叩c 畛ng l棚n gi叩c quan Bi畛u t動畛ng: L 叩nh ph畉n v畛 c叩c thu畛c t鱈nh, c叩c t鱈nh ch畉t ri棚ng l畉 c畛a 畛i t動畛ng, ho畉c v畛 b畉n th但n 畛i t動畛ng nh動 m畛t ch畛nh th畛, nh動ng nh畛ng h狸nh 畉nh 畉y 動畛c t畉o l畉p trong n達o ta khi v畉ng 畛i t動畛ng, khi 畛i t動畛ng kh担ng tr畛c ti畉p t叩c 畛ng 畉n gi叩c quan c畛a ch炭ng ta II. QU TRNH NH畉N TH畛C V HNH TH畛C C畛A T働 DUY Qu叩 tr狸nh nh畉n th畛c g畛m 2 giai o畉n: Nh畉n th畛c c畉m t鱈nh v nh畉n th畛c l箪 t鱈nh 2.1. Giai o畉n nh畉n th畛c c畉m t鱈nh: 8. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c II. QU TRNH NH畉N TH畛C 2.2. Giai o畉n nh畉n th畛c l箪 t鱈nh hay t動 duy: S畛 nh畉n th畛c l炭c ny c坦 th畛 ch畛 c畉n th担ng qua nh畛ng c叩i 達 bi畉t 畛 d畉n t畛i nh畛ng nh畉n th畛c m畛i v畛 s畛 v畉t ch畛 kh担ng nh畉t thi畉t ph畉i th担ng qua nh畛ng 畛i t動畛ng c畛 th畛. L担gic h畛c t畉p trung nghi棚n c畛u v畛 t動 duy trong 坦 c坦 c叩c quy lu畉t v h狸nh th畛c c畛a n坦. 畉c tr動ng c畛a t動 duy: T動 duy ph畉n 叩nh hi畛n th畛c d動畛i d畉ng kh叩i qu叩t. T動 duy l qu叩 tr狸nh ph畉n 叩nh trung gian hi畛n th畛c. T動 duy li棚n h畛 m畉t thi畉t v畛i ng担n ng畛. T動 duy l s畛 ph畉n 叩nh v tham gia t鱈ch c畛c vo qu叩 tr狸nh c畉i bi畉n hi畛n th畛c. T動 duy c坦 c叩c h狸nh th畛c: kh叩i ni畛m, ph叩n o叩n, suy lu畉n. 9. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c Ch炭ng ta c坦 th畛 h狸nh dung t動 duy tr畛u t動畛ng qua h畛 th畛ng b畛 5 sau 但y 1. Ch畛 gi畛i hi畛n th畛c kh叩ch quan v畛i c叩c s畛 v畉t, hi畛n t動畛ng 2. H畛 th畉n kinh trung 動董ng, b畛 n達o c畛a con ng動畛i, c董 quan t動 duy, l c董 s畛 v畉t ch畉t cho s畛 h狸nh thnh c畛a t動 t動畛ng, 箪 ngh挑 3. Ho畉t 畛ng th畛c ti畛n c畛a con ng動畛i, s畛 ti畉p x炭c qua l畉i gi畛a con ng動畛i v畛i c叩c s畛 v畉t hi畛n t動畛ng trong th畉 gi畛i kh叩ch quan 4. H畛 th畛ng t鱈n hi畛u, ng担n ng畛 動畛c coi l ph動董ng ti畛n v畉t ch畉t 畛 畛nh h狸nh v th畛 hi畛n t動 duy 5. H畛 th畛ng 叩nh ph畉n l箪 t鱈nh t動 duy tr畛u t動畛ng c畛a con ng動畛i ph畉n 叩nh v畛 gi畛i hi畛n th畛c hoa hoa hoa hoa 1 2 3 4 5 10. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c III. HNH TH畛C LOGIC V QUY LU畉T LGIC. TNH CHN TH畛C C畛A T働 T働畛NG V TNH NG 畉N V畛 HNH TH畛C C畛A L畉P LU畉N 3.1. H狸nh th畛c logic: H狸nh th畛c logic l ph動董ng th畛c li棚n k畉t c叩c thnh ph畉n c畛a t動 t動畛ng 畛 t畉o thnh c畉u tr炭c c畛a t動 t動畛ng 坦. Ch畉ng h畉n: L担g鱈c h畛c l khoa h畛c nghi棚n c畛u v畛 t動 duy Kim lo畉i l ch畉t d畉n i畛n Gi叩o vi棚n l ng動畛i lao 畛ng tr鱈 坦c S l P 11. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c III. HNH TH畛C LOGIC 3.2. Quy lu畉t logic: Quy lu畉t logic l m畛i li棚n h畛 b畉n ch畉t, t畉t y畉u, b棚n trong, 動畛c l畉p i l畉p l畉i trong t動 duy Bao g畛m: quy lu畉t 畛ng nh畉t, quy lu畉t kh担ng m但u thu畉n (hay quy lu畉t c畉m m但u thu畉n), quy lu畉t lo畉i tr畛 c叩i th畛 ba (hay quy lu畉t bi trung), quy lu畉t l箪 do 畉y 畛. 3.3. T鱈nh ch但n th畛c c畛a t動 t動畛ng. N畛i dung c畛a t動 t動畛ng ph畉n 叩nh 炭ng hi畛n th畛c g畛i l t動 t動畛ng ch但n th畛c (ch但n l箪), vi畛c tu但n theo c叩c quy lu畉t c畛a t動 duy l i畛u ki畛n t畉t y畉u 畛 畉t t畛i ch但n l箪 trong qu叩 tr狸nh l畉p lu畉n. N畛i dung c畛a t動 t動畛ng kh担ng ph畉n 叩nh 炭ng hi畛n th畛c g畛i l t動 t動畛ng gi畉 d畛i (sai l畉m). M畛t s畛 ng動畛i lao 畛ng tr鱈 坦c l gi叩o vi棚n- ch但n th畛c. C叩 kh担ng l 畛ng v畉t s畛ng d動畛i n動畛c - gi畉 d畛i. 12. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c III. HNH TH畛C LOGIC 3.4. T鱈nh 炭ng 畉n v畛 h狸nh th畛c c畛a l畉p lu畉n T鱈nh 炭ng 畉n v畛 h狸nh th畛c c畛a l畉p lu畉n l l畉p lu畉n 炭ng theo m畛t tr狸nh t畛 l担g鱈c x叩c 畛nh. L畉p lu畉n lu畉n tu但n theo c叩c quy lu畉t, quy t畉c c畛a l担g鱈c h畛c tr棚n c董 s畛 c叩c t動 t動畛ng ch但n th畛c. L畉p lu畉n sai l l畉p lu畉n kh担ng tu但n theo c叩c quy lu畉t, quy t畉c c畛a l担g鱈c h畛c v tr棚n c董 s畛 t動 t動畛ng gi畉 d畛i. . 13. V 鱈 d畛 a. M畛i s畛 ch畉n 畛u chia h畉t cho 2 (1) S畛 324 l s畛 ch畉n (2 ) Do 坦 s畛 324 chia h畉t cho 2 L畉p lu畉n tr棚n l 炭ng, v狸 n坦 xu畉t ph叩t t畛 hai t動 t動畛ng ch但n th畛c (1), (2) v tu但n theo c叩c quy t畉c c畛a l担g鱈c h畛c. b. Kim lo畉i l ch畉t r畉n (1) Thu畛 ng但n kh担ng l ch畉t r畉n (2) N棚n thu畛 ng但n kh担ng l kim lo畉i L畉p lu畉n tr棚n l sai, v狸 t動 t動畛ng (1) l gi畉 d畛i. c. Hoa h畛ng c坦 m湛i th董m (1) Hoa nhi c坦 m湛i th董m (2) Do v畉y hoa nhi l hoa h畛ng L畉p lu畉n ny l sai, v狸, m畉c d湛 hai t動 t動畛ng (1) v (2) l ch但n th畛c, nh動ng n坦 vi ph畉m quy t畉c c畛a l担g鱈c h畛c. 14. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 4.1. Logic h畛c v ng担n ng畛 Ng担n ng畛 l h畛 th畛ng th担ng tin k箪 hi畛u 畉m b畉o ch畛c nng h狸nh thnh, g狸n gi畛, chuy畛n giao th担ng tin v ph動董ng ti畛n giao ti畉p gi畛a m畛i ng動畛i. Ng担n ng畛 動畛c chia thnh ng担n ng畛 t畛 nhi棚n v ng担n ng畛 nh但n t畉o. Ng担n ng畛 t畛 nhi棚n l h畛 th畛ng th担ng tin k箪 hi畛u, 但m thanh v ch畛 vi畉t 動畛c h狸nh thnh trong l畛ch s畛 loi ng動畛i. Ng担n ng畛 nh但n t畉o l h畛 th畛ng k箪 hi畛u b畛 tr畛 動畛c t畉o ra t畛 ng担n ng畛 t畛 nhi棚n nh畉m chuy畛n giao ch鱈nh x叩c v kinh t畉 c叩c th担ng tin khoa h畛c v c叩c th担ng tin kh叩c trong 畛i s畛ng x達 h畛i. Trong l担g鱈c hi畛n 畉i ng動畛i ta s畛 d畛ng ng担n ng畛 l担g鱈c v畛 t畛. Ch炭ng ta nghi棚n c畛u ng担n ng畛 ny 15. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 T棚n g畛i 畛i t動畛ng l t畛 hay t畛 h畛p t畛 (c畛m t畛) bi畛u th畛 畛i t動畛ng x叩c 畛nh no 坦. 畛i t動畛ng c畛a t動 t動畛ng (hay g畛i t畉t l 畛i t動畛ng) l s畛 v畉t, hi畛n t動畛ng, c叩c thu畛c t鱈nh, c叩c m畛i li棚n h畛, c叩c quan h畛, c叩c qu叩 tr狸nh... c畛a t畛 nhi棚n, 畛i s畛ng x達 h畛i. s畉n ph畉m c畛a ho畉t 畛ng t但m l箪, 箪 th畛c, nh畉n th畛c, c叩c k畉t qu畉 c畛a tr鱈 t動畛ng t動畛ng, c畛a t動 duy. 畛i t動畛ng 動畛c bi畛u th畛 b畉ng t棚n g畛i. M畛i t棚n g畛i c坦 ngh挑a th畛c v ng畛 ngh挑a. 16. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 Ngh挑a th畛c c畛a t棚n g畛i l 畛i t動畛ng hay t畉p h畛p 畛i t動畛ng 動畛c bi畛u th畛 b畉ng t棚n g畛i 畉y, ng畛 ngh挑a c畛a t棚n g畛i l th担ng tin v畛 畛i t動畛ng ch畛a trong t棚n g畛i. Ch畉ng h畉n: t棚n g畛i Nguy畛n Du c坦 ngh挑a th畛c l Nguy畛n Du, ng畛 ngh挑a l nh th董 l畛n c畛a Vi畛t Nam. T叩c gi畉 Truy畛n Ki畛u. T棚n g畛i 動畛c chia thnh t棚n 董n : H N畛i, th畛c v畉t, khoa h畛c. T棚n ph畛c : n炭i cao nh畉t Vi畛t Nam, v畛 tinh c畛a tr叩i 畉t. T棚n g畛i c嘆n c坦 t棚n ri棚ng bi畛u th畛 m畛t 畛i t動畛ng: s担ng H畛ng, L畉t: t棚n chung bi畛u th畛 t畉p h畛p 畛i t動畛ng: c叩, th動 vi畛n, thnh ph畛 v t棚n m担 t畉: con s担ng di nh畉t th畉 gi畛i (S担ng Nin). Ch炭ng ta c坦 th畛 li棚n h畛 v畛i danh t畛 ri棚ng v danh t畛 chung 畛 cho d畛 nh畛. 17. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 Logic v畛 t畛 l bi畛u th畛c ng担n ng畛 n棚u l棚n thu畛c t鱈nh v畛n c坦 c畛a 畛i t動畛ng hay quan h畛 gi畛a c叩c 畛i t動畛ng. C叩c thu畛c t鱈nh v c叩c quan h畛 動畛c kh畉ng 畛nh hay b畛 ph畛 畛nh lu担n lu担n t動董ng 畛ng v畛i 畛i t動畛ng t動 t動畛ng. V畛 t畛 th動畛ng c坦 v畛 t畛 m畛t ng担i v v畛 t畛 nhi畛u ng担i. V畛 t畛 m畛t ng担i bi畛u th畛 m畛t thu畛c t鱈nh. V畛 t畛 nhi畛u ng担i bi畛u th畛 nhi畛u thu畛c t鱈nh v c叩c quan h畛. V鱈 d 畛 : cay, m畉n, ng畛t, nh畉t, r畉n, l畛ng, kh鱈, b畉ng nhau, y棚u, gh辿t, nh畛 h董n, l畛n h董n, t畉ng... M畛nh 畛 l bi畛u th畛c ng担n ng畛 trong 坦 kh畉ng 畛nh hay ph畛 畛nh m畛t c叩i g狸 畉y c畛a hi畛n th畛c. Trong l担gic h畛c ng動畛i ta s畛 d畛ng c叩c thu畉t ng畛 l担gic (c叩c h畉ng l担gic hay c叩c li棚n t畛 l担gic). Ch炭ng g畛m c叩c t畛 hay t畛 h畛p t畛 trong Ti畉ng Vi畛t nh動: v, hay, ho畉c, n畉u... th狸... t動董ng 動董ng. Khi v ch畛 khi... n畉u v ch畛 n畉u... ... 18. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 4.2. Logic v ng担n ng畛 k箪 hi畛u Trong l担gic k箪 hi畛u (l担gic to叩n) c叩c h畉ng l担gic 動畛c bi畛u th畛 b畉ng ng担n ng畛 nh但n t畉o nh動 sau: 4.2.1. 畛i t動畛ng v m畛nh 畛 A, B, C,... bi畛u th畛 t棚n 畛i t動畛ng (t棚n g畛i) v bi畛u th畛 kh叩i ni畛m. a, b, c,... m畛nh 畛 tu畛 箪 bi畛u th畛 ph叩n o叩n 董n. 4.2.2. C叩c h畉ng l担gic (c叩c li棚n t畛): Ph辿p h畛i t動董ng 畛ng v畛i li棚n t畛 v... (k箪 hi畛u ^ ) C叩ch bi畛u th畛: a ^ b. P h辿p tuy畛n t動董ng 畛ng v畛i li棚n t畛 hay, ho畉c... (k箪 hi畛u v ) C叩ch bi畛u th畛: a v b. Tu 畛 theo t動 t動畛ng c畛a t動 duy, ph辿p tuy畛n ph但n lm 2 lo畉i: 19. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 4.2. Logic v ng担n ng畛 k箪 hi畛u: 4.2. 2.C叩c h畉ng l担gic (c叩c li棚n t畛): - Ph辿p tuy畛n tuy畛t 畛i (tuy畛n ch畉t k箪 hi畛u v ) l ph辿p tuy畛n n棚u ra c叩c gi畉i ph叩p 畛 l畛a ch畛n v ch畛 動畛c ch畛n m畛t trong c叩c gi畉i ph叩p 達 動畛c n棚u ra l 炭ng. Ch畉ng h畉n: 9 gi畛 s叩ng mai t担i s畉 畛 H N畛i ho畉c thnh ph畛 H畛 Ch鱈 Minh. - Ph辿p tuy畛n li棚n k畉t (tuy畛n l畛ng k箪 hi畛u v) l ph辿p tuy畛n trong 坦 n棚u ra c叩c gi畉i ph叩p 畛 l畛a ch畛n v c坦 th畛 m畛t ho畉c ton b畛 c叩c gi畉i ph叩p n棚u ra l 炭ng. Ch畉ng h畉n: ngy mai t担i s畉 l棚n l畛p ho畉c 畛 nh so畉n bi. Ph辿p k辿o theo (ph辿p t畉t suy k箪 hi畛u ) t動董ng 畛ng v畛i li棚n t畛 n畉u...th狸...... Ch畉ng h畉n N畉u m畛t s畛 chia h畉t cho 9 (a) th狸 n坦 chia h畉t cho 3 (b) C叩ch bi畛u th畛: a b. 20. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 4.2. Logic v ng担n ng畛 k箪 hi畛u: 4.2. 2.C叩c h畉ng l担gic (c叩c li棚n t畛): - Ph辿p t動董ng 動董ng (k箪 hi畛u ) v畛i li棚n t畛 t動董ng 動董ng, n畉u v ch畛 n畉u..., khi v ch畛 khi... . Ch畉ng h畉n M畛t s畛 chia h畉t cho 2 (a) khi v ch畛 khi n坦 l s畛 ch畉n (b). C叩ch bi畛u th畛: a b. - Ph辿p ph畛 畛nh (k箪 hi畛u ) t動董ng 畛ng v畛i c叩c t畛 kh担ng, kh担ng 炭ng, kh担ng ph畉i,... Ch畉ng h畉n Lm g狸 c坦 chuy畛n trong khoa h畛c m畛i con 動畛ng 畛u b畉ng ph畉ng. C叩ch bi畛u th畛 a hay . 21. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 4.2. Logic v ng担n ng畛 k箪 hi畛u: 4.2. 2.C叩c h畉ng l担gic (c叩c li棚n t畛): L動畛ng t畛 ph畛 d畛ng (k箪 hi畛u ) t動董ng 畛ng v畛i c叩c t畛 t畉t c畉ｂ, ton b畛, m畛i, m畛i... v 動畛c bi畛u th畛: xP(x) M畛i ng動畛i sinh ra 畛u b狸nh 畉ng L動畛ng t畛 t畛n t畉i (k箪 hi畛u ) , t動董ng 畛ng v畛i c叩c t畛 m畛t s畛, ph畉n l畛n, h畉u h畉t,... v 動畛c bi畛u th畛: xP(x). C坦 nh畛ng nh tri畉t h畛c l nh tri畉t h畛c duy v畉t. 22. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 4.2. Logic v ng担n ng畛 k箪 hi畛u: 4.2.3. C叩c d畉u k畛 thu畉t: M畛 v 坦ng ngo畉c (K箪 hi畛u (.)). Trong ti畉ng Vi畛t thnh ng畛 l t畉p h畛p t畛 c畛 畛nh 達 quen d湛ng m ngh挑a th動畛ng kh担ng d湛ng 畛 gi畉i th鱈ch 動畛c m畛t c叩ch 董n gi畉n b畉ng ngh挑a c畛a c叩c t畛 t畉o n棚n n坦 (T畛 ti畉ng Vi畛t - Vi畛n ng担n ng畛 1992. tr. 889 ). i畛u 坦 c坦 ngh挑a l thnh ng畛 lu担n lu担n bi畛u th畛 kh叩i ni畛m. Ch畉ng h畉n: Ch但n l畉m tay b湛n A. Ch畛 ng達 em n但ng A. 23. V鱈 d畛: Ch畉ng h畉n: H畛 ch鱈 Minh - V畛 anh h湛ng c畛a d但n t畛c. Ng動畛i s叩ng l畉p v r竪n luy畛n 畉ng C畛ng S畉n Vi畛t Nam. D畉u g畉ch ngang ( ). d畉u ph畉y (,) thay cho t畛 v. Ph但n t鱈ch c但u tr棚n ta 畉t: H畛 Ch鱈 Minh l V畛 anh h湛ng c畛a d但n t畛c a. H畛 Ch鱈 Minh l Ng動畛i s叩ng l畉p 畉ng C畛ng S畉n Vi畛t Nam b H畛 Ch鱈 Minh l Ng動畛i r竪n luy畛n 畉ng C畛ng S畉n Vi畛t Nam c. C担ng th畛c t畛ng qu叩t: a^ b ^c. 24. V鱈 d畛: V鱈 ph畛ng 動畛ng 畛i b畉ng ph畉ng c畉, Anh h湛ng, ho ki畛t c坦 h董n ai. Trong c但u ny, theo ng畛 c畉nh, d畉u ph畉y (,) 畛 c但u tr棚n thay cho th狸..., c嘆n d畉u ph畉y (,) 畛 c但u d動畛i l畉i thay cho t畛 v. T畛 坦 chung ta c坦. 動畛ng 畛i b畉ng ph畉ng c畉 - a. Anh h湛ng c坦 h董n ai b. Ho ki畛t c坦 h董n ai c. C担ng th畛c t畛ng qu叩t: a b ^ c. 25. V鱈 d畛: Ch炭ng ta kh担ng th畛 x但y d畛ng thnh c担ng ch畛 ngh挑a x達 h畛i n畉u kh担ng c坦 con ng動畛i x達 h畛i ch畛 ngh挑a. 但y l c叩ch bi畛u th畛 c畛a ti畉ng Vi畛t. 畛 tr叩nh sai l畉m khi ph但n t鱈ch, n畉u ch動a thnh th畉o, ch炭ng ta n棚n chuy畛n theo c叩ch bi畛u th畛: n畉u...th狸.... N畉u ch炭ng ta kh担ng c坦 con ng動畛i x達 h畛i ch畛 ngh挑a th狸 kh担ng th畛 x但y d畛ng thnh c担ng Ch畛 Ngh挑a x達 h畛i. Ph但n t鱈ch: Ch炭ng ta kh担ng c坦 con ng動畛i x達 h畛i ch畛 ngh挑a a. Ch炭ng ta kh担ng th畛 x但y d畛ng thnh ch畛 ngh挑a x達 h畛i b. C担ng th畛c t畛ng qu叩t a b 26. Ch動董ng 1. 畛i t動畛ng & 箪 ngh挑a c畛a Logic h畛c IV. LOGIC H畛C V NGN NG畛 4.2. Logic v ng担n ng畛 k箪 hi畛u: 4.2.3. C叩c d畉u k畛 thu畉t: 畛 vi畉t nhanh c担ng th畛c c畛a m畛nh 畛 ph畛c no 坦, ch炭ng ta c坦 th畛 th畛c hi畛n theo c担ng th畛c t畛ng qu叩t sau: n畉u s畛 li棚n t畛 l n th狸 s畛 m畛nh 畛 董n l n+1 Th鱈 d畛: N畉u s畛 li棚n t畛 l 1 th狸 s畛 m畛nh 畛 董n l 2 trong c担ng th畛c. N畉u s畛 li棚n t畛 l 2 th狸 s畛 m畛nh 畛 董n l 3.
![Nh畉p m担n Logic h畛c Gi畉ng vi棚n: Tr畉n Vn Ton Email: [email_address]](https://image.slidesharecdn.com/logicchuong1-111203064310-phpapp01/85/Logic-chuong1-1-320.jpg)
