際際滷

際際滷Share a Scribd company logo
Nh畉p m担n Logic h畛c Gi畉ng vi棚n:  Tr畉n Vn Ton Email:  [email_address]
M畛C L畛C I - 畉C I畛M CHUNG C畛A PHN ON 1.1 - 畛nh ngh挑a ph叩n o叩n   1.2 - Ph叩n o叩n v c但u   1.3 - Gi叩 tr畛 logic c畛a ph叩n o叩n  II - PHN ON N 2.1 - C畉u tr炭c logic c畛a ph叩n o叩n 董n 2.2 - Ph但n lo畉i ph叩n o叩n 2.3 - T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n 2.4 - Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.2 - B畉ng gi叩 tr畛 logic 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c
Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.1- 畛nh ngh挑a ph叩n o叩n   Trong logic h畛c, thu畉t ng畛 ph叩n o叩n s畛 d畛ng 畛 ch畛 m畛t t動 t動畛ng, m畛t 箪 ngh挑 達 動畛c 畛nh h狸nh trong t動 duy, ph畉n 叩nh v畛 畛i t動畛ng m ng動畛i ta c坦 th畛 叩nh gi叩 動畛c n坦 l ch但n th畛c hay gi畉 d畛i. Do v畉y: Ph叩n o叩n l h狸nh th畛c c董 b畉n c畛a t動 duy tr畛u t動畛ng. Ph叩n o叩n l c叩ch th畛c  li棚n h畛 gi畛a c叩c kh叩i ni畛m , ph畉n 叩nh m畛i li棚n h畛 gi畛a c叩c s畛 v畉t, hi畛n t動畛ng trong 箪 th畛c c畛a con ng動畛i.
Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.1- 畛nh ngh挑a ph叩n o叩n   Ph叩n o叩n l s畛 ph畉n 叩nh nh畛ng thu畛c t鱈nh, nh畛ng m畛i li棚n h畛 c畛a s畛 v畉t, hi畛n t動畛ng c畛a th畉 gi畛i kh叩ch quan, s畛 ph畉n 叩nh 坦 c坦 th畛  ph湛 h畛p  ho畉c  kh担ng ph湛 h畛p  v畛i b畉n th但n th畉 gi畛i kh叩ch quan. V狸 v畉y, m畛i ph叩n o叩n  c坦 th畛 l  炭ng  ho畉c  sai ,  kh担ng c坦 ph叩n o叩n no kh担ng 炭ng c滴ng kh担ng sai  v kh担ng c坦 ph叩n o叩n v畛a 炭ng l畉i v畛a sai.  V鱈 d畛 1:   - Tr叩i 畉t quay xung quanh m畉t tr畛i.   - M畛i kim lo畉i 畛u d畉n i畛n. l nh畛ng ph叩n o叩n 炭ng, v狸 n坦 ph湛 h畛p v畛i th畛c t畉 kh叩ch quan.
Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.1- 畛nh ngh挑a ph叩n o叩n   V鱈 d畛 2:     - S叩o 畉 d動畛i n動畛c.   - Nguy畛n Tr達i l t叩c gi畉 c畛a Truy畛n Ki畛u. l nh畛ng ph叩n o叩n sai, v狸 n坦 kh担ng ph湛 h畛p v畛i th畛c t畉 kh叩ch quan  Ph叩n o叩n ph畉n 叩nh nh畛ng m畛i li棚n h畛 gi畛a c叩c s畛 v畉t, hi畛n t動畛ng v gi畛a c叩c m畉t c畛a ch炭ng  Ph叩n o叩n l h狸nh th畛c bi畛u 畉t c叩c qui lu畉t kh叩ch quan
Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.2- Ph叩n o叩n v c但u   H狸nh th畛c ng担n ng畛  bi畛u th畛 ph叩n o叩n l c但u , ph叩n o叩n kh担ng th畛 xu畉t hi畛n v t畛n t畉i n畉u kh担ng c坦 c但u. M畛i ph叩n o叩n bao gi畛 c滴ng 動畛c di畛n 畉t b畉ng m畛t c但u nh畉t 畛nh  V鱈 d畛: - G畉n m畛c th狸 en. - M畛i l箪 thuy畉t 畛u mu x叩m  Ph叩n o叩n l h狸nh th畛c c畛a t動 duy ph畉n 叩nh s畛  c坦  (kh畉ng 畛nh) hay  kh担ng c坦  (ph畛 畛nh) thu畛c t鱈nh no 坦 c畛a 畛i t動畛ng trong m畛i li棚n h畛 v畛i 畛i t動畛ng kh叩c. Do 坦, kh担ng ph畉i c但u no c滴ng di畛n 畉t m畛t ph叩n o叩n.  V鱈 d畛: - 畉p v担 c湛ng t畛 qu畛c ta 董i! - Kh担ng 動畛c lm vi畛c ri棚ng trong gi畛 h畛c! - Em l ai, c担 g叩i hay nng ti棚n ?
Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.3- Gi叩 tr畛 logic c畛a ph叩n o叩n  Ph叩n o叩n ph畉n 叩nh 炭ng hi畛n th畛c g畛i l ph叩n o叩n ch但n th畛c (k鱈 hi畛u: c hay 1). V鱈 d畛: - C但y l th畛c v畉t -  Gi叩o vi棚n l Nh gi叩o Ph叩n o叩n kh担ng ph畉n 叩nh 炭ng hi棚n th畛c g畛i l ph叩n o叩n gi畉 d畛i (k鱈 hi畛u: g hay 0). V鱈 d畛: - C叩 kh担ng l 畛ng v畉t s畛ng d動畛i n動畛c -  M 畉t tr畛i quay quanh tr叩i 畉t Ph叩n o叩n ch動a bi畉t ch但n th畛c hay gi畉 d畛i g畛i l ph叩n o叩n kh担ng x叩c 畛nh (k鱈 hi畛u: k) V鱈 d畛: - o畉n th畉ng AB di h董n o畉n th畉ng CD - Lan 畉p h董n Mai
Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.3- Gi叩 tr畛 logic c畛a ph叩n o叩n  Ch炭 箪:  Khi xem x辿t gi叩 tr畛 l担g鱈c c畛a c叩c ph叩n o叩n c畉n 畉t ch炭ng 畛 nh畛ng quan h畛 c畛 th畛. V狸 畛 quan h畛 ny ch炭ng l gi畉 d畛i, nh動ng 畛 quan h畛 kh叩c ch炭ng l畉i c坦 gi叩 tr畛 ch但n th畛c v ng動畛c l畉i.
Ch動董ng 3. PHN ON II- PHN ON N 2.1- C畉u tr炭c logic c畛a ph叩n o叩n 董n M畛i ph叩n o叩n 董n bao g畛m hai thnh ph畉n c董 b畉n:  Ch畛 t畛 K箪 hi畛u:  S   V畛 t畛  K箪 hi畛u:  P ch畛 畛i t動畛ng c畛a t動 t動畛ng  nh畛ng thu畛c t鱈nh m ta g叩n cho 畛i t動畛ng  Li棚n t畛 logic  -  L : Kh畉ng 畛nh -  Kh担ng l : Ph畛 畛nh  Ph叩n o叩n 董n l ph叩n o叩n 動畛c t畉o thnh t畛 m畛i li棚n h畛 gi畛a hai kh叩i ni畛m ho畉c gi畛a kh叩i ni畛m v畛i m畛t thu畛c t鱈nh L動畛ng t畛 (  ,  ) s畛 l動畛ng 畛i t動畛ng 動畛c ch畛 t畛 c畛a ph叩n o叩n n棚u l棚n
Ch動董ng 3. PHN ON II- PHN ON N 2.1- C畉u tr炭c logic c畛a ph叩n o叩n 董n V鱈 d畛:    M畛i  sinh vi棚n  l  ng動畛i i h畛c   (   S l P) M畛t s畛  tr鱈 th畛c  kh担ng l  gi叩o vi棚n   (   S kh担ng l P) L動畛ng t畛  ch畛 t畛  li棚n t畛  v畛 t畛 L動畛ng t畛  ch畛 t畛  li棚n t畛  v畛 t畛 C叩  l  畛ng v畉t s畛ng d動畛i n動畛c  (   S l P) Trong m畛t s畛 tr動畛ng h畛p, l動畛ng t畛 動畛c 畉n khuy畉t M畛i loi
Ch動董ng 3. PHN ON II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.1 - Ph但n lo畉i ph叩n o叩n theo ch畉t  Ch畉t c畛a ph叩n o叩n bi畛u hi畛n 畛 li棚n t畛 l担g鱈c. Li棚n t畛 l担g鱈c ph畉n 叩nh m畛i li棚n h畛 gi畛a ch畛 t畛 (S) v v畛 t畛 (P), ho畉c qui S vo c湛ng l畛p v畛i P (li棚n t畛 kh畉ng 畛nh), ho畉c t叩ch S ra kh畛i l畛p P (li棚n t畛 ph畛 畛nh)  - Ph叩n o叩n kh畉ng 畛nh:  L ph叩n o叩n x叩c nh畉n S c湛ng l畛p v畛i P Th担ng th動畛ng ph叩n o叩n kh畉ng 畛nh c坦 li棚n t畛 l担g鱈c  L   V鱈 d畛: - S畉t l kim lo畉i. -  M畉t trng l v畛 tinh c畛a tr叩i 畉t. C担ng th畛c:  S l P
Ch動董ng 3. PHN ON Trong nhi畛u tr動畛ng h畛p kh担ng c坦 li棚n t畛  L  m v畉n l ph叩n o叩n kh畉ng 畛nh. V鱈 d畛: - R湛a 畉 ra tr畛ng. - Tr叩i 畉t quay xung quanh m畉t tr畛i  - Ph叩n o叩n ph畛 畛nh:  L ph叩n o叩n x叩c nh畉n S kh担ng c湛ng l畛p v畛i P  V鱈 d畛: - Th畛y ng但n kh担ng ph畉i l ch畉t r畉n . -  Nh vn kh担ng l ng動畛i lao 畛ng ch但n tay. C担ng th畛c:  S kh担ng l P Li棚n t畛 l担g鱈c c畛a P ph畛 畛nh: KHNG L, KHNG PH畉I L  II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.1 - Ph但n lo畉i ph叩n o叩n theo ch畉t
Ch動董ng 3. PHN ON L動畛ng c畛a ph叩n o叩n bi畛u hi畛n 畛 ch畛 t畛 (S), n坦 cho bi畉t c坦 bao nhi棚u 畛i t動畛ng c畛a S thu畛c hay kh担ng thu畛c v畛 P. -  Ph叩n o叩n chung (ph叩n o叩n ton th畛):  L ph叩n o叩n cho bi畉t m畛i 畛i t動畛ng c畛a S 畛u thu畛c ho畉c kh担ng thu畛c v畛 P.  C担ng th畛c: - M畛i S l P. - M畛i S kh担ng l P   V鱈 d畛: M畛i kim lo畉i 畛u l ch畉t d畉n i畛n. M畛i con s叩o 畛u kh担ng d畉 d動畛i n動畛c  Ph叩n o叩n chung th動畛ng 動畛c b畉t 畉u b畉ng c叩c l動畛ng t畛 ph畛 bi畉n, M畛i, T畉t c畉, Ton th畛 v.v  II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.2 -  Ph但n lo畉i ph叩n o叩n theo l動畛ng
Ch動董ng 3. PHN ON -  Ph叩n o叩n ri棚ng (ph叩n o叩n b畛 ph畉n):  L ph叩n o叩n cho bi畉t ch畛 c坦 m畛t s畛 畛i t動畛ng c畛a S thu畛c ho畉c kh担ng thu畛c v畛 P  C担ng th畛c: - M畛t s畛 S l P. - M畛t s畛   S kh担ng l P   V鱈 d畛: - M畛t s畛 thanh ni棚n l nh畛ng nh qu畉n l箪 gi畛i. - M畛t s畛 sinh vi棚n kh担ng ph畉i l on vi棚n  Ph叩n o叩n ri棚ng th動畛ng 動畛c b畉t 畉u b畉ng c叩c l動畛ng t畛 b畛 ph畉n: M畛t s畛, H畉u h畉t, Nhi畛u, a s畛, M畛t vi, v.v II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.2 -  Ph但n lo畉i ph叩n o叩n theo l動畛ng
Ch動董ng 3. PHN ON -  Ph叩n o叩n 董n nh畉t:  L ph叩n o叩n cho bi畉t m畛t 畛i t動畛ng c畛 th畛, duy nh畉t trong hi畛n th畛c thu畛c ho畉c kh担ng thu畛c v畛 P  C担ng th畛c: - S l P. - S kh担ng l P   V鱈 d畛: - Paris l th畛 担 c畛a n動畛c Ph叩p. - Lo kh担ng ph畉i l m畛t c動畛ng qu畛c  Ch炭 箪:  C坦 th畛 coi ph叩n o叩n 董n nh畉t l m畛t lo畉i 畉c bi畛t c畛a ph叩n o叩n chung II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.2 -  Ph但n lo畉i ph叩n o叩n theo l動畛ng
Ch動董ng 3. PHN ON Ph叩n o叩n kh畉ng 畛nh chung (ph叩n o叩n A)  C担ng th畛c: M畛i S l P   K箪 hi畛u: A SP   ho畉c  SaP V鱈 d畛: M畛i ng動畛i Vi畛t Nam 畛u y棚u n動畛c  Ph叩n o叩n kh畉ng 畛nh ri棚ng (ph叩n o叩n I)  C担ng th畛c: M畛t s畛 S l P   K箪 hi畛u: I SP   ho畉c  SiP V鱈 d畛: M畛t s畛 ch但n l ch但n gi畉  II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.3 -  Ph但n lo畉i ph叩n o叩n theo ch畉t v l動畛ng
Ch動董ng 3. PHN ON Ph叩n o叩n ph畛 畛nh chung (ph叩n o叩n E)  C担ng th畛c: M畛i S kh担ng l P   K箪 hi畛u: E SP   ho畉c  SeP V鱈 d畛: T畉t c畉 c叩c b畉n 畛u kh担ng n c畉p  Ph叩n o叩n ph畛 畛nh ri棚ng (ph叩n o叩n O)  C担ng th畛c: M畛t s畛 S kh担ng l P   K箪 hi畛u: O SP   ho畉c  SoP V鱈 d畛: M畛t s畛 ch但n kh担ng l ch但n th畉t  II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.3 -  Ph但n lo畉i ph叩n o叩n theo ch畉t v l動畛ng
Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n N畉u ph叩n o叩n bao qu叩t h畉t m畛i 畛i t動畛ng c畛a S (ch畛 t畛) ho畉c m畛i 畛i t動畛ng c畛a P (v畛 t畛) th狸 ta n坦i S ho畉c P c坦 ngo畉i di棚n 畉y 畛 (chu di棚n).  T鱈nh chu di棚n  (t鱈nh ph畛 c畉p)  c畛a danh t畛 logic ( ch畛 t畛, v畛 t畛 ) c畛a ph叩n o叩n l s畛 x叩c 畛nh m畛i quan h畛 gi畛a danh t畛 logic v畛i ngo畉i di棚n c畛a kh叩i ni畛m m ph叩n o叩n 畛 c畉p N畉u ph叩n o叩n kh担ng bao qu叩t h畉t m畛i 畛i t動畛ng c畛a S (ch畛 t畛) ho畉c kh担ng bao qu叩t h畉t m畛i 畛i t動畛ng c畛a P (v畛 t畛) th狸 ta n坦i S ho畉c P c坦 ngo畉i di棚n kh担ng 畉y 畛 (kh担ng chu di棚n)  K箪 hi畛u:  S + , P + K箪 hi畛u:  S - , P -
Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n Ph叩n o叩n kh畉ng 畛nh chung ( ph叩n o叩n A ) C担ng th畛c : M畛i S l P ( SaP ) Quan h畛 S,P nh動 sau: S,P   S +     P + : V鱈 d畛: Kim lo畉i l ch畉t d畉n i畛n V鱈 d畛: H狸nh ch畛 nh畉t l h狸nh b狸nh hnh c坦 m畛t g坦c vu担ng S +     P - : K畉t lu畉n:  Trong ph叩n o叩n A: S chu di棚n, P chu di棚n khi S    P S P (A)
Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n Ph叩n o叩n kh畉ng 畛nh ri棚ng ( ph叩n o叩n I ) C担ng th畛c : M畛t s畛 S l P ( SiP ) Quan h畛 S,P nh動 sau: S -     P + : V鱈 d畛: M畛t s畛 nh畉c s挑 l gi叩o vi棚n V鱈 d畛: M畛t s畛 h狸nh b狸nh hnh l h狸nh ch畛 nh畉t S -     P - : K畉t lu畉n:  Trong ph叩n o叩n I: S kh担ng chu di棚n, P chu di棚n khi S    P S P S   P
Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n Ph叩n o叩n ph畛 畛nh chung ( ph叩n o叩n E ) C担ng th畛c : M畛i S kh担ng l P ( SeP ) Quan h畛 S,P nh動 sau: V鱈 d畛: M畛i con s叩o 畛u kh担ng 畉 d動畛i n動畛c  S +     P + K畉t lu畉n:  Trong ph叩n o叩n E: S chu di棚n, P chu di棚n S P
Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n Ph叩n o叩n ph畛 畛nh ri棚ng ( ph叩n o叩n O ) C担ng th畛c : M畛t s畛 S kh担ng l P ( SoP ) Quan h畛 S,P nh動 sau: V鱈 d畛: M畛t s畛 sinh vi棚n kh担ng t畛t  S -     P + K畉t lu畉n:  Trong ph叩n o叩n O: S kh担ng chu di棚n, P chu di棚n S -     P + S P S   P
Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n K畉t lu畉n chung KL1: Ph叩n o叩n A: S + , P ch動a x叩c 畛nh Ph叩n o叩n I:  S - , P ch動a x叩c 畛nh Ph叩n o叩n E: S + , P + Ph叩n o叩n O: S - ,P + KL2: Ph叩n o叩n chung: S + Ph叩n o叩n ph畛 畛nh: P + Ph叩n o叩n ri棚ng: S -
Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic T畛 c畉p kh叩i ni畛m S v P, ta lu担n x但y d畛ng 動畛c 4 ph叩n o叩n v畛i ch畛 t畛 S, v畛 t畛 P: SaP, SiP, SeP v SoP. C叩c ph叩n o叩n ny c坦 quan h畛 v畛i nhau. H狸nh vu担ng logic:  H狸nh vu担ng th畛 hi畛n quan h畛 gi畛a c叩c ph叩n o叩n A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic Quan h畛 A & E:  動畛c g畛i l quan h畛 畛i ch畛i chung ho畉c quan h畛 畛i ch畛i tr棚n 2.4.1 - Quan h畛 畛i ch畛i :  L quan h畛 c畛a c叩c ph叩n o叩n c坦 c湛ng l動畛ng nh動ng kh叩c nhau v畛 ch畉t (A & E, I v O) Hai ph叩n o叩n A v E kh担ng th畛 畛ng th畛i 炭ng, nh動ng c坦 th畛 畛ng th畛i sai.  V鱈 d畛: - T畉t c畉 c叩c d嘆ng s担ng 畛u ch畉y (A): 炭ng. - T畉t c畉 c叩c d嘆ng s担ng 畛u kh担ng ch畉y (E): sai. Hai ph叩n o叩n tr棚n kh担ng 畛ng th畛i 炭ng. A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic - M畛i sinh vi棚n 畛u gi畛i ti畉ng Nga (A): sai. - M畛i sinh vi棚n 畛u k担 gi畛i ti畉ng Nga (E): sai. Hai ph叩n o叩n tr棚n 畛ng th畛i sai  K畉t lu畉n: - N畉u A 炭ng th狸 E sai v ng動畛c l畉i n畉u E 炭ng th狸 A sai  - N畉u A sai th狸 E kh担ng x叩c 畛nh (c坦 th畛 炭ng ho畉c sai) v ng動畛c l畉i n畉u E sai th狸 A kh担ng x叩c 畛nh (c坦 th畛 炭ng ho畉c sai)  A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic Quan h畛 I & O:  動畛c g畛i l quan h畛 畛i ch畛i ri棚ng ho畉c quan h畛 畛i ch畛i d動畛i Hai ph叩n o叩n I v O kh担ng th畛 畛ng th畛i sai nh動ng c坦 th畛 畛ng th畛i 炭ng  V鱈 d畛: - M畛t s畛 nh b叩c h畛c 動畛c nh畉n gi畉i th動畛ng Nobel (I): 炭ng. - M畛t s畛 nh b叩c h畛c k担 動畛c nh畉n gi畉i th動畛ng Nobel (O): 炭ng. Hai ph叩n o叩n tr棚n 畛ng th畛i 炭ng. Nh動ng: - M畛t s畛 kim lo畉i kh担ng d畉n di畛n (O): sai. - M畛t s畛 kim lo畉i d畉n i畛n (I): 炭ng. Hai ph叩n o叩n tr棚n kh担ng 畛ng th畛i sai. A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic K畉t lu畉n: - N畉u I sai th狸 O 炭ng v ng動畛c l畉i n畉u O sai th狸 I 炭ng. - N畉u I 炭ng th狸 O kh担ng x叩c 畛nh (c坦 th畛 炭ng ho畉c sai) v ng動畛c l畉i n畉u O 炭ng th狸 I kh担ng x叩c 畛nh (c坦 th畛 炭ng ho畉c sai)  A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic 2.4.2 - Quan h畛 m但u thu畉n:  L quan h畛 gi畛a c叩c ph叩n o叩n kh叩c c畉 v畛 ch畉t v l動畛ng (A & O, E v I) Hai ph叩n o叩n c坦 quan h畛 m但u thu畉n (A v O, E v I) n畉u ph叩n o叩n ny 炭ng th狸 ph叩n o叩n kia sai v ng動畛c l畉i. V鱈 d畛: - M畛i ng動畛i 畛u c坦 坦c (A): 炭ng. - M畛t s畛 ng動畛i kh担ng c坦 坦c (O): sai - M畛t s畛 ng動畛i th鱈ch c畉i l動董ng (I): 炭ng. - M畛i ng動畛i 畛u kh担ng th鱈ch c畉i l動董ng (E): sai  A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON II- PHN ON N 2.4 - Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic 2.4.3 - Quan h畛 th畛 b畉c:  L quan h畛 gi畛a c叩c ph叩n o叩n c坦 c湛ng ch畉t nh動ng kh叩c nhau v畛 l動畛ng (A & I, E v O) - Hai ph叩n o叩n c坦 quan h畛 th畛 b畉c n畉u ph叩n o叩n ton th畛 炭ng th狸 ph叩n o叩n b畛 ph畉n c滴ng 炭ng:  A 炭ng  #  I 炭ng, E 炭ng  #  O 炭ng. V鱈 d畛: - M畛i ng動畛i 畛u l棚n 叩n b畛n tham nh畛ng (A): 炭ng. - Nhi畛u ng動畛i l棚n 叩n b畛n tham nh畛ng (I): 炭ng. - Kh担ng m畛t ai tr叩nh 動畛c c叩i ch畉t (E): 炭ng. - M畛t s畛 ng動畛i kh担ng tr叩nh 動畛c c叩i ch畉t (O): 炭ng.  A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON II- PHN ON N 2.4 - Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic - N畉u ph叩n o叩n b畛 ph畉n (kh畉ng 畛nh ho畉c ph畛 畛nh) sai th狸 ph叩n o叩n ton th畛 (kh畉ng 畛nh ho畉c ph畛 畛nh t動董ng t畛ng) c滴ng sai. I sai  #  A sai, O sai  #  E sai.  V鱈 d畛: - Nhi畛u con m竪o 畉 ra tr畛ng (I): sai. - M畛i con m竪o 畛u 畉 ra tr畛ng (A): sai. - M畛t s畛 ng動畛i s畛ng kh担ng c畉n th畛 (O): sai. - M畛i ng動畛i s畛ng 畛u kh担ng c畉n th畛 (E): sai.  A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON II- PHN ON N 2.4 - Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic K畉t lu畉n chung: - N畉u A 炭ng # O sai, O sai # E sai, E sai # I 炭ng. Do 坦: A () # O (s), E (s) # I (). - N畉u A sai # O 炭ng, O 炭ng # E kh担ng x叩c 畛nh, E kh担ng x叩c 畛nh # I kh担ng x叩c 畛nh.  Do 坦: A (s) # O (), E v I kh担ng x叩c 畛nh. T畛 quan h畛 c畛a c叩c ph叩n o叩n trong h狸nh vu担ng logic. Khi bi畉t gi叩 tr畛 logic c畛a m畛t ph叩n o叩n ng動畛i ta c坦 th畛 bi畉t 動畛c gi叩 tr畛 logic c畛a c叩c ph叩n o叩n c嘆n l畉i: A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P Ph叩n o叩n ph畛c h畛p l ph叩n o叩n 動畛c t畉o thnh t畛 c叩c ph叩n o叩n thnh ph畉n v c叩c li棚n t畛  l担g鱈c  (h 畉ng logic) Th鱈 d畛:   H畛c t畉p l ngh挑a v畛 v quy畛n l畛i c畛a c担ng d但n   Ph叩n o叩n 坦 bao g畛m hai ph叩n o叩n thnh ph畉n:  H畛c t畉p l ngh挑a v畛 c畛a c担ng d但n   H畛c t畉p l quy畛n l畛i c畛a c担ng d但n Li 棚n t畛 logic:  v C 叩c ph叩n o叩n ph畛c h畛p c坦 thnh ph畉n tr畛c ti畉p l  c叩c ph叩n o叩n 董n  動畛c g畛i l ph叩n o叩n  ph畛c h畛p c董 b畉n Th鱈 d畛:   ng Trung s畉 lm gi叩m 畛c ho畉c 担ng D滴ng s畉 lm gi叩m 畛c.
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P Ph叩n o叩n 坦 bao g畛m hai ph叩n o叩n thnh ph畉n: ng Trung s畉 lm gi叩m 畛c  ng D滴ng s畉 lm gi叩m 畛c Li 棚n t畛 logic:  ho畉c C 叩c ph叩n o叩n ph畛c h畛p c坦 thnh ph畉n l c叩c ph叩n o叩n ph畛c 動畛c g畛i l ph叩n o叩n a ph畛c h畛p. Hay n坦i c叩ch kh叩c, ph叩n o叩n ph畛c h畛p c坦 t畛 2 li棚n t畛 logic th狸 動畛c g畛i l ph叩n o叩n a ph畛c h畛p Th鱈 d畛:   N畉u khi no h畉n c坦 nh v c坦 xe th狸 h畉n m畛i c動畛i 動畛c c担 畉y.  Ph叩n o叩n 坦 bao g畛m hai ph叩n o叩n thnh ph畉n: H畉n c坦 nh v c坦 xe:  ph叩n o叩n ph畛c   H畉n m畛i c動畛i 動畛c c担 畉y:  ph叩n o叩n 董n Li 棚n t畛 logic:  n畉u  th狸
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n Li棚n t畛 logic 坦ng vai tr嘆 nh畛ng m畛i n畛i logic g畉n k畉t c叩c ph叩n o叩n t畉o n棚n ph叩n o叩n ph畛c h畛p. Ch炭ng ph畉n 叩nh c畛a c叩c quan h畛 v畛 m畉t t畛n t畉i gi畛a c叩c s畛 v畉t v hi畛n t動畛ng c畛a hi畛n th畛c. 3.1.1 - Ph叩n o叩n li棚n k畉t (Ph辿p h畛i) Ph叩n o叩n li棚n k畉t l ph叩n o叩n ph畛c 動畛c t畉o thnh t畛 c叩c ph叩n o叩n 董n nh畛 li棚n t畛 l担g鱈c v c滴ng nh動 c叩c t畛 畛ng ngh挑a v畛i  v. K箪 hi畛u:  ^   C担ng th畛c:  a ^ b , trong 坦 a v b l c叩c ph叩n o叩n thnh ph畉n.
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.1 - Ph叩n o叩n li棚n k畉t (Ph辿p h畛i) V 鱈 d畛:   Anh 畉y kh担ng nh畛ng 畉p trai m c嘆n galng Ph叩n o叩n thnh ph畉n:  1) Anh 畉y 畉p trai  (a) 2) Anh 畉y galng  (b) Li棚n t畛 logic: kh担ng nh畛ng  m c嘆n  (^) C担ng th畛c c董 b畉n: a ^ b Gi叩 tr畛 logic: 0 0 0 0 0 1 0 1 0 1 1 1 m = a ^ b b a
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.1 - Ph叩n o叩n li棚n k畉t (Ph辿p h畛i) K 畉t lu畉n:   1) Ph叩n o叩n li棚n k畉t th畛 hi畛n m畛i quan h畛 li棚n k畉t gi畛a c叩c ph叩n o叩n thnh ph畉n. S畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n ny 畛ng th畛i v畛i s畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n kia v ng動畛c l畉i 2) Ph叩n o叩n li棚n k畉t ch畛 c坦 gi叩 tr畛 logic ch但n th畛c khi c叩c ph叩n o叩n thnh ph畉n ch但n th畛c
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.2 - Ph叩n o叩n ph但n li畛t (ph辿p tuy畛n) Ph叩n o叩n ph但n li畛t l ph叩n o叩n ph畛c 動畛c t畉o thnh t畛 c叩c ph叩n o叩n thnh ph畉n nh畛 li棚n t畛 l担g鱈c hay , ho畉c,. K箪 hi畛u:  v C担ng th畛c:  a v b ,  trong 坦 a v b l c叩c ph叩n o叩n thnh ph畉n V 鱈 d畛:   Anh 畛 nh ho畉c t担i s畉 i c湛ng anh  Ph叩n o叩n thnh ph畉n:  1) Anh 畛 nh  (a) 2) T担i i c湛ng anh  (b) Li棚n t畛 logic: ho畉c  (v) C担ng th畛c c董 b畉n: a v b
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.2 - Ph叩n o叩n ph但n li畛t (ph辿p tuy畛n) Hai lo 畉i ph叩n o叩n ph但n li畛t:  - Ph叩n o叩n ph但n li畛t t畛n t畉i (tuy畛n th動畛ng   v  ) - Ph叩n o叩n ph但n li畛t tuy畛t 畛i (tuy畛n ch畉t   v  ) Gi叩 tr畛 logic c畛a ph叩n o叩n ph但n li畛t t畛n t畉i (tuy畛n th動畛ng) 0 0 0 1 0 1 1 1 0 1 1 1 m = a v b b a
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.2 - Ph叩n o叩n ph但n li畛t (ph辿p tuy畛n) Gi叩 tr畛 logic c畛a ph叩n o叩n ph但n li畛t tuy畛t 畛i (tuy畛n ch畉t) 0 0 0 1 0 1 1 1 0 0 1 1 m = a  v  b b a
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.2 - Ph叩n o叩n ph但n li畛t (ph辿p tuy畛n) K 畉t lu畉n:   1) Ph叩n o叩n ph但n li畛t th畛 hi畛n m畛i quan h畛 t叩ch r畛i gi畛a c叩c ph叩n o叩n thnh ph畉n. S畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n ny ph但n li畛t v畛i s畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n kia v ng動畛c l畉i 2) Ph叩n o叩n ph但n li畛t t畛n t畉i (V) ch畛 c坦 gi叩 tr畛 logic gi畉 d畛i khi t畉t c畉 c叩c ph叩n o叩n thnh ph畉n gi畉 d畛i 3) Ph叩n o叩n ph但n li畛t tuy畛t 畛i ( V ) ch畛 炭ng khi duy nh畉t m畛t trong c叩c ph叩n o叩n thnh ph畉n 炭ng
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.3 - Ph叩n o叩n c坦 i畛u ki畛n (ph 辿p k辿o theo) Ph叩n o叩n c坦 i畛u ki畛n l ph叩n o叩n ph畛c 動畛c t畉o thnh t畛 c叩c ph叩n o叩n thnh ph畉n nh畛 li棚n t畛 l担g鱈c n畉u.....th狸.... v c叩c li棚n t畛 畛ng nh畉t kh叩c K箪 hi畛u :   C担ng th畛c :  a    b ,  trong 坦:  a  c董 s畛,  b  h畛 qu畉. V 鱈 d畛:   N畉u tr畛i m動a th狸 動畛ng 動畛t  Ph叩n o叩n thnh ph畉n:  1) Tr畛i m動a  (a) 2) 動畛ng 動畛t  (b) Li棚n t畛 logic: N畉u  th狸 . (  ) C担ng th畛c c董 b畉n: a    b
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n Gi叩 tr畛 logic: 3.1.3 - Ph叩n o叩n c坦 i畛u ki畛n (ph 辿p k辿o theo) K 畉t lu畉n:   1) Ph叩n o叩n i畛u ki畛n th畛 hi畛n m畛i quan h畛 nh但n qu畉 gi畛a c叩c ph叩n o叩n thnh ph畉n. S畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n ny k辿o theo s畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n kia 2) Ph叩n o叩n i畛u ki畛n ch畛 c坦 gi叩 tr畛 logic gi畉 d畛i khi c叩c ph叩n o叩n nguy棚n nh但n 炭ng c嘆n ph叩n o叩n h畛 qu畉 sai 1 0 0 0 0 1 1 1 0 1 1 1 m = a    b b a
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.4 - Ph叩n o叩n t動董ng 動董ng (ph辿p t動董ng 動董ng) Ph叩n o叩n t動董ng 動董ng l ph叩n o叩n ph畛c 動畛c t畉o thnh t畛 c叩c ph叩n o叩n 董n nh畛 li棚n t畛 l担g鱈c n畉u v ch畛 n畉u, khi v ch畛 khi, v.v..... K箪 hi畛u:   C担ng th畛c:  a    b Th畛c ch畉t: (a    b) ^ (b    a) Trong 坦:  a, b  l c叩c ph叩n o叩n thnh ph畉n
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.4 - Ph叩n o叩n t動董ng 動董ng (ph辿p t動董ng 動董ng) V 鱈 d畛:   H狸nh b狸nh hnh l h狸nh ch畛 nh畉t khi v ch畛 khi n坦 c坦 m畛t g坦c vu担ng  Ph叩n o叩n thnh ph畉n:  1) H狸nh b狸nh hnh l h狸nh ch畛 nh畉t  (a) 2) N坦 c坦 m畛t g坦c vu担ng   (b) Li棚n t畛 logic: Khi v ch畛 khi (  ) C担ng th畛c c董 b畉n: a    b
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.4 - Ph叩n o叩n t動董ng 動董ng (ph辿p t動董ng 動董ng) Gi叩 tr畛 logic: K 畉t lu畉n:   1) Ph叩n o叩n t動董ng 動董ng th畛 hi畛n m畛i quan h畛 t動董ng 動董ng 畛i x畛ng gi畛a hai ph叩n o叩n thnh ph畉n. S畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n ny k辿o theo s畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n kia v ng動畛c l畉i 2) Ph叩n o叩n t動董ng 動董ng ch畛 c坦 gi叩 tr畛 logic gi畉 d畛i khi m畛t trong hai ph叩n o叩n thnh ph畉n sai 1 0 0 0 0 1 0 1 0 1 1 1 m = a    b b a
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.5 - Ph叩n o叩n ph畛 畛nh (ph辿p ph畛 畛nh) Ph叩n o叩n ph畛 畛nh l ph叩n o叩n 動畛c t畉o thnh t畛  m畛t ph叩n o叩n v li棚n t畛 l担g鱈c kh担ng ph畉i, kh担ng th畛 c坦 chuy畛n,  v.v..... K箪 hi畛u:   C担ng th畛c:   a  ( trong 坦 ph叩n o叩n a c坦 th畛 l ph叩n o叩n 董n, ho畉c ph畛c) V 鱈 d畛:   Kh担ng th畛 c坦 chuy畛n ng動畛i s畛ng kh担ng c畉n th畛  Ph叩n o叩n thnh ph畉n: Ng動畛i s畛ng kh担ng c畉n th畛 (a) Li棚n t畛 logic: Kh担ng th畛 c坦 chuy畛n (  ) C担ng th畛c c董 b畉n:  (  a)
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1. Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.5 - Ph叩n o叩n ph畛 畛nh (ph辿p ph畛 畛nh) Gi叩 tr畛 logic: 1 0 0 1 m =   a a
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.2 - B畉ng gi叩 tr畛 logic B畉ng gi叩 tr畛 logic l b畉ng bi畛u di畛n gi叩 tr畛 logic c畛a ph叩n o叩n * 畉c i畛m c畛a b畉ng gi叩 tr畛 logic - N畉u ph叩n o叩n c坦  n  ph叩n o叩n thnh ph畉n th狸 b畉ng gi叩 tr畛 logic c坦  2 n  d嘆ng (tr畛 d嘆ng ti棚u 畛) V鱈 d畛:   Bao gi畛 ch坦 s畛a tr畛ng kh担ng Ch畉ng th畉ng n c畉p c滴ng 担ng i 動畛ng Ph叩n o叩n thnh ph畉n:  1) th畉ng n c畉p (a) 2) 担ng i 動畛ng (b) 3) ch坦 s畛a (c) C担ng th畛c  (a v b)    c
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.2 - B畉ng gi叩 tr畛 logic * 畉c i畛m c畛a b畉ng gi叩 tr畛 logic B畉ng gi叩 tr畛 logic c畛a ph叩n o叩n  {m = (a v b)    c} 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 m = (avb)  c a v b c b a
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.2 - B畉ng gi叩 tr畛 logic * 畉c i畛m c畛a b畉ng gi叩 tr畛 logic V畛i b畉t k畛 gi叩 tr畛 logic c畛a c叩c ph叩n o叩n thnh ph畉n: + Ph叩n o叩n  m  c坦 gi叩 tr畛 logic ch但n th畛c 動畛c g畛i l ph叩n o叩n ch但n th畛c + Ph叩n o叩n  m  c坦 gi叩 tr畛 logic gi畉 d畛i 動畛c g畛i l ph叩n o叩n gi畉 d畛i + Ph叩n o叩n  m  v畛a c坦 gi叩 tr畛 logic ch但n th畛c, v畛a c坦 gi叩 tr畛 logic gi畉 d畛i 動畛c g畛i l ph叩n o叩n kh担ng x叩c 畛nh
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.2 - B畉ng gi叩 tr畛 logic B畉ng t畛ng h畛p gi叩 tr畛 logic c畛a c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 a    b a    b a  v  b a v b a ^ b  a b a
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c C叩c ph叩n o叩n ph畛c h畛p (c坦 chung c叩c ph叩n o叩n thnh ph畉n) 動畛c g畛i l c坦 quan h畛 畉ng tr畛 v畛i nhau n畉u n坦 c坦 c湛ng gi叩 tr畛 logic v畛i b畉t k畛 gi叩 tr畛 no c畛a c叩c ph叩n o叩n thnh ph畉n V鱈 d畛:  Ph叩n o叩n Anh 畉y v畛a 畉p trai v畛a galng - (a ^ b) C坦 quan h畛 畉ng tr畛 v畛i ph叩n o叩n: Kh担ng th畛 c坦 chuy畛n n畉u anh 畉y 畉p trai th狸 kh担ng galng - (   (a      b) )  K箪 hi畛u:   C担ng th畛c:  m    n  (m 畉ng tr畛 v畛i n, trong 坦: m, n l c叩c ph叩n o叩n ph畛c h畛p)
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c h畛p c董 b畉n a ^ b      (a      b)     (b      a)     (  a v   b) a v b    a      b    b      a     (  a ^   b) a    b      b      a     a v b     (a ^   b)
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c V鱈 d畛:   H達y vi畉t l畉i c叩c ph叩n o叩n sau sao cho n畛i dung t動 t動畛ng kh担ng 畛i:   N畉u mu畛n c坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t th狸 ph畉i c坦 t動 duy logic t畛t Ph叩n o叩n tr棚n l ph叩n o叩n ph畛c h畛p C叩c ph叩n o叩n thnh ph畉n: 1) C坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t (a) 2) C坦 t動 duy logic t畛t (b) Li棚n t畛 logic: N畉u  th狸  (  ) KL: Ph叩n o叩n tr棚n l P ph畛c h畛p k辿o theo  ( a   b)
Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c Ph叩n o叩n tr棚n c坦 quan h畛 畉ng tr畛 v畛i c叩c ph叩n o叩n sau: a    b      b      a     a v b     (a ^   b) V畉y ph叩n o叩n tr棚n c坦 th畛 vi畉t l畉i nh動 sau:  b      a:   N畉u kh担ng c坦 t動 duy logic t畛t th狸 kh担ng th畛 c坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t  a v b: Ho畉c kh担ng c坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t ho畉c c坦 t動 duy logic t畛t  (a ^   b): Kh担ng th畛 c坦 chuy畛n c坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t m l畉i kh担ng c坦 t動 duy logic t畛t
Ch動董ng 3. PHN ON ?

More Related Content

Logic chuong3

  • 1. Nh畉p m担n Logic h畛c Gi畉ng vi棚n: Tr畉n Vn Ton Email: [email_address]
  • 2. M畛C L畛C I - 畉C I畛M CHUNG C畛A PHN ON 1.1 - 畛nh ngh挑a ph叩n o叩n 1.2 - Ph叩n o叩n v c但u 1.3 - Gi叩 tr畛 logic c畛a ph叩n o叩n II - PHN ON N 2.1 - C畉u tr炭c logic c畛a ph叩n o叩n 董n 2.2 - Ph但n lo畉i ph叩n o叩n 2.3 - T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n 2.4 - Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.2 - B畉ng gi叩 tr畛 logic 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c
  • 3. Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.1- 畛nh ngh挑a ph叩n o叩n Trong logic h畛c, thu畉t ng畛 ph叩n o叩n s畛 d畛ng 畛 ch畛 m畛t t動 t動畛ng, m畛t 箪 ngh挑 達 動畛c 畛nh h狸nh trong t動 duy, ph畉n 叩nh v畛 畛i t動畛ng m ng動畛i ta c坦 th畛 叩nh gi叩 動畛c n坦 l ch但n th畛c hay gi畉 d畛i. Do v畉y: Ph叩n o叩n l h狸nh th畛c c董 b畉n c畛a t動 duy tr畛u t動畛ng. Ph叩n o叩n l c叩ch th畛c li棚n h畛 gi畛a c叩c kh叩i ni畛m , ph畉n 叩nh m畛i li棚n h畛 gi畛a c叩c s畛 v畉t, hi畛n t動畛ng trong 箪 th畛c c畛a con ng動畛i.
  • 4. Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.1- 畛nh ngh挑a ph叩n o叩n Ph叩n o叩n l s畛 ph畉n 叩nh nh畛ng thu畛c t鱈nh, nh畛ng m畛i li棚n h畛 c畛a s畛 v畉t, hi畛n t動畛ng c畛a th畉 gi畛i kh叩ch quan, s畛 ph畉n 叩nh 坦 c坦 th畛 ph湛 h畛p ho畉c kh担ng ph湛 h畛p v畛i b畉n th但n th畉 gi畛i kh叩ch quan. V狸 v畉y, m畛i ph叩n o叩n c坦 th畛 l 炭ng ho畉c sai , kh担ng c坦 ph叩n o叩n no kh担ng 炭ng c滴ng kh担ng sai v kh担ng c坦 ph叩n o叩n v畛a 炭ng l畉i v畛a sai. V鱈 d畛 1: - Tr叩i 畉t quay xung quanh m畉t tr畛i. - M畛i kim lo畉i 畛u d畉n i畛n. l nh畛ng ph叩n o叩n 炭ng, v狸 n坦 ph湛 h畛p v畛i th畛c t畉 kh叩ch quan.
  • 5. Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.1- 畛nh ngh挑a ph叩n o叩n V鱈 d畛 2: - S叩o 畉 d動畛i n動畛c. - Nguy畛n Tr達i l t叩c gi畉 c畛a Truy畛n Ki畛u. l nh畛ng ph叩n o叩n sai, v狸 n坦 kh担ng ph湛 h畛p v畛i th畛c t畉 kh叩ch quan Ph叩n o叩n ph畉n 叩nh nh畛ng m畛i li棚n h畛 gi畛a c叩c s畛 v畉t, hi畛n t動畛ng v gi畛a c叩c m畉t c畛a ch炭ng Ph叩n o叩n l h狸nh th畛c bi畛u 畉t c叩c qui lu畉t kh叩ch quan
  • 6. Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.2- Ph叩n o叩n v c但u H狸nh th畛c ng担n ng畛 bi畛u th畛 ph叩n o叩n l c但u , ph叩n o叩n kh担ng th畛 xu畉t hi畛n v t畛n t畉i n畉u kh担ng c坦 c但u. M畛i ph叩n o叩n bao gi畛 c滴ng 動畛c di畛n 畉t b畉ng m畛t c但u nh畉t 畛nh V鱈 d畛: - G畉n m畛c th狸 en. - M畛i l箪 thuy畉t 畛u mu x叩m Ph叩n o叩n l h狸nh th畛c c畛a t動 duy ph畉n 叩nh s畛 c坦 (kh畉ng 畛nh) hay kh担ng c坦 (ph畛 畛nh) thu畛c t鱈nh no 坦 c畛a 畛i t動畛ng trong m畛i li棚n h畛 v畛i 畛i t動畛ng kh叩c. Do 坦, kh担ng ph畉i c但u no c滴ng di畛n 畉t m畛t ph叩n o叩n. V鱈 d畛: - 畉p v担 c湛ng t畛 qu畛c ta 董i! - Kh担ng 動畛c lm vi畛c ri棚ng trong gi畛 h畛c! - Em l ai, c担 g叩i hay nng ti棚n ?
  • 7. Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.3- Gi叩 tr畛 logic c畛a ph叩n o叩n Ph叩n o叩n ph畉n 叩nh 炭ng hi畛n th畛c g畛i l ph叩n o叩n ch但n th畛c (k鱈 hi畛u: c hay 1). V鱈 d畛: - C但y l th畛c v畉t - Gi叩o vi棚n l Nh gi叩o Ph叩n o叩n kh担ng ph畉n 叩nh 炭ng hi棚n th畛c g畛i l ph叩n o叩n gi畉 d畛i (k鱈 hi畛u: g hay 0). V鱈 d畛: - C叩 kh担ng l 畛ng v畉t s畛ng d動畛i n動畛c - M 畉t tr畛i quay quanh tr叩i 畉t Ph叩n o叩n ch動a bi畉t ch但n th畛c hay gi畉 d畛i g畛i l ph叩n o叩n kh担ng x叩c 畛nh (k鱈 hi畛u: k) V鱈 d畛: - o畉n th畉ng AB di h董n o畉n th畉ng CD - Lan 畉p h董n Mai
  • 8. Ch動董ng 3. PHN ON I- 畉C I畛M CHUNG C畛A PHN ON 1.3- Gi叩 tr畛 logic c畛a ph叩n o叩n Ch炭 箪: Khi xem x辿t gi叩 tr畛 l担g鱈c c畛a c叩c ph叩n o叩n c畉n 畉t ch炭ng 畛 nh畛ng quan h畛 c畛 th畛. V狸 畛 quan h畛 ny ch炭ng l gi畉 d畛i, nh動ng 畛 quan h畛 kh叩c ch炭ng l畉i c坦 gi叩 tr畛 ch但n th畛c v ng動畛c l畉i.
  • 9. Ch動董ng 3. PHN ON II- PHN ON N 2.1- C畉u tr炭c logic c畛a ph叩n o叩n 董n M畛i ph叩n o叩n 董n bao g畛m hai thnh ph畉n c董 b畉n: Ch畛 t畛 K箪 hi畛u: S V畛 t畛 K箪 hi畛u: P ch畛 畛i t動畛ng c畛a t動 t動畛ng nh畛ng thu畛c t鱈nh m ta g叩n cho 畛i t動畛ng Li棚n t畛 logic - L : Kh畉ng 畛nh - Kh担ng l : Ph畛 畛nh Ph叩n o叩n 董n l ph叩n o叩n 動畛c t畉o thnh t畛 m畛i li棚n h畛 gi畛a hai kh叩i ni畛m ho畉c gi畛a kh叩i ni畛m v畛i m畛t thu畛c t鱈nh L動畛ng t畛 ( , ) s畛 l動畛ng 畛i t動畛ng 動畛c ch畛 t畛 c畛a ph叩n o叩n n棚u l棚n
  • 10. Ch動董ng 3. PHN ON II- PHN ON N 2.1- C畉u tr炭c logic c畛a ph叩n o叩n 董n V鱈 d畛: M畛i sinh vi棚n l ng動畛i i h畛c ( S l P) M畛t s畛 tr鱈 th畛c kh担ng l gi叩o vi棚n ( S kh担ng l P) L動畛ng t畛 ch畛 t畛 li棚n t畛 v畛 t畛 L動畛ng t畛 ch畛 t畛 li棚n t畛 v畛 t畛 C叩 l 畛ng v畉t s畛ng d動畛i n動畛c ( S l P) Trong m畛t s畛 tr動畛ng h畛p, l動畛ng t畛 動畛c 畉n khuy畉t M畛i loi
  • 11. Ch動董ng 3. PHN ON II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.1 - Ph但n lo畉i ph叩n o叩n theo ch畉t Ch畉t c畛a ph叩n o叩n bi畛u hi畛n 畛 li棚n t畛 l担g鱈c. Li棚n t畛 l担g鱈c ph畉n 叩nh m畛i li棚n h畛 gi畛a ch畛 t畛 (S) v v畛 t畛 (P), ho畉c qui S vo c湛ng l畛p v畛i P (li棚n t畛 kh畉ng 畛nh), ho畉c t叩ch S ra kh畛i l畛p P (li棚n t畛 ph畛 畛nh) - Ph叩n o叩n kh畉ng 畛nh: L ph叩n o叩n x叩c nh畉n S c湛ng l畛p v畛i P Th担ng th動畛ng ph叩n o叩n kh畉ng 畛nh c坦 li棚n t畛 l担g鱈c L V鱈 d畛: - S畉t l kim lo畉i. - M畉t trng l v畛 tinh c畛a tr叩i 畉t. C担ng th畛c: S l P
  • 12. Ch動董ng 3. PHN ON Trong nhi畛u tr動畛ng h畛p kh担ng c坦 li棚n t畛 L m v畉n l ph叩n o叩n kh畉ng 畛nh. V鱈 d畛: - R湛a 畉 ra tr畛ng. - Tr叩i 畉t quay xung quanh m畉t tr畛i - Ph叩n o叩n ph畛 畛nh: L ph叩n o叩n x叩c nh畉n S kh担ng c湛ng l畛p v畛i P V鱈 d畛: - Th畛y ng但n kh担ng ph畉i l ch畉t r畉n . - Nh vn kh担ng l ng動畛i lao 畛ng ch但n tay. C担ng th畛c: S kh担ng l P Li棚n t畛 l担g鱈c c畛a P ph畛 畛nh: KHNG L, KHNG PH畉I L II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.1 - Ph但n lo畉i ph叩n o叩n theo ch畉t
  • 13. Ch動董ng 3. PHN ON L動畛ng c畛a ph叩n o叩n bi畛u hi畛n 畛 ch畛 t畛 (S), n坦 cho bi畉t c坦 bao nhi棚u 畛i t動畛ng c畛a S thu畛c hay kh担ng thu畛c v畛 P. - Ph叩n o叩n chung (ph叩n o叩n ton th畛): L ph叩n o叩n cho bi畉t m畛i 畛i t動畛ng c畛a S 畛u thu畛c ho畉c kh担ng thu畛c v畛 P. C担ng th畛c: - M畛i S l P. - M畛i S kh担ng l P V鱈 d畛: M畛i kim lo畉i 畛u l ch畉t d畉n i畛n. M畛i con s叩o 畛u kh担ng d畉 d動畛i n動畛c Ph叩n o叩n chung th動畛ng 動畛c b畉t 畉u b畉ng c叩c l動畛ng t畛 ph畛 bi畉n, M畛i, T畉t c畉, Ton th畛 v.v II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.2 - Ph但n lo畉i ph叩n o叩n theo l動畛ng
  • 14. Ch動董ng 3. PHN ON - Ph叩n o叩n ri棚ng (ph叩n o叩n b畛 ph畉n): L ph叩n o叩n cho bi畉t ch畛 c坦 m畛t s畛 畛i t動畛ng c畛a S thu畛c ho畉c kh担ng thu畛c v畛 P C担ng th畛c: - M畛t s畛 S l P. - M畛t s畛 S kh担ng l P V鱈 d畛: - M畛t s畛 thanh ni棚n l nh畛ng nh qu畉n l箪 gi畛i. - M畛t s畛 sinh vi棚n kh担ng ph畉i l on vi棚n Ph叩n o叩n ri棚ng th動畛ng 動畛c b畉t 畉u b畉ng c叩c l動畛ng t畛 b畛 ph畉n: M畛t s畛, H畉u h畉t, Nhi畛u, a s畛, M畛t vi, v.v II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.2 - Ph但n lo畉i ph叩n o叩n theo l動畛ng
  • 15. Ch動董ng 3. PHN ON - Ph叩n o叩n 董n nh畉t: L ph叩n o叩n cho bi畉t m畛t 畛i t動畛ng c畛 th畛, duy nh畉t trong hi畛n th畛c thu畛c ho畉c kh担ng thu畛c v畛 P C担ng th畛c: - S l P. - S kh担ng l P V鱈 d畛: - Paris l th畛 担 c畛a n動畛c Ph叩p. - Lo kh担ng ph畉i l m畛t c動畛ng qu畛c Ch炭 箪: C坦 th畛 coi ph叩n o叩n 董n nh畉t l m畛t lo畉i 畉c bi畛t c畛a ph叩n o叩n chung II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.2 - Ph但n lo畉i ph叩n o叩n theo l動畛ng
  • 16. Ch動董ng 3. PHN ON Ph叩n o叩n kh畉ng 畛nh chung (ph叩n o叩n A) C担ng th畛c: M畛i S l P K箪 hi畛u: A SP ho畉c SaP V鱈 d畛: M畛i ng動畛i Vi畛t Nam 畛u y棚u n動畛c Ph叩n o叩n kh畉ng 畛nh ri棚ng (ph叩n o叩n I) C担ng th畛c: M畛t s畛 S l P K箪 hi畛u: I SP ho畉c SiP V鱈 d畛: M畛t s畛 ch但n l ch但n gi畉 II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.3 - Ph但n lo畉i ph叩n o叩n theo ch畉t v l動畛ng
  • 17. Ch動董ng 3. PHN ON Ph叩n o叩n ph畛 畛nh chung (ph叩n o叩n E) C担ng th畛c: M畛i S kh担ng l P K箪 hi畛u: E SP ho畉c SeP V鱈 d畛: T畉t c畉 c叩c b畉n 畛u kh担ng n c畉p Ph叩n o叩n ph畛 畛nh ri棚ng (ph叩n o叩n O) C担ng th畛c: M畛t s畛 S kh担ng l P K箪 hi畛u: O SP ho畉c SoP V鱈 d畛: M畛t s畛 ch但n kh担ng l ch但n th畉t II- PHN ON N 2.2 - Ph但n lo畉i ph叩n o叩n 2.2.3 - Ph但n lo畉i ph叩n o叩n theo ch畉t v l動畛ng
  • 18. Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n N畉u ph叩n o叩n bao qu叩t h畉t m畛i 畛i t動畛ng c畛a S (ch畛 t畛) ho畉c m畛i 畛i t動畛ng c畛a P (v畛 t畛) th狸 ta n坦i S ho畉c P c坦 ngo畉i di棚n 畉y 畛 (chu di棚n). T鱈nh chu di棚n (t鱈nh ph畛 c畉p) c畛a danh t畛 logic ( ch畛 t畛, v畛 t畛 ) c畛a ph叩n o叩n l s畛 x叩c 畛nh m畛i quan h畛 gi畛a danh t畛 logic v畛i ngo畉i di棚n c畛a kh叩i ni畛m m ph叩n o叩n 畛 c畉p N畉u ph叩n o叩n kh担ng bao qu叩t h畉t m畛i 畛i t動畛ng c畛a S (ch畛 t畛) ho畉c kh担ng bao qu叩t h畉t m畛i 畛i t動畛ng c畛a P (v畛 t畛) th狸 ta n坦i S ho畉c P c坦 ngo畉i di棚n kh担ng 畉y 畛 (kh担ng chu di棚n) K箪 hi畛u: S + , P + K箪 hi畛u: S - , P -
  • 19. Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n Ph叩n o叩n kh畉ng 畛nh chung ( ph叩n o叩n A ) C担ng th畛c : M畛i S l P ( SaP ) Quan h畛 S,P nh動 sau: S,P S + P + : V鱈 d畛: Kim lo畉i l ch畉t d畉n i畛n V鱈 d畛: H狸nh ch畛 nh畉t l h狸nh b狸nh hnh c坦 m畛t g坦c vu担ng S + P - : K畉t lu畉n: Trong ph叩n o叩n A: S chu di棚n, P chu di棚n khi S P S P (A)
  • 20. Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n Ph叩n o叩n kh畉ng 畛nh ri棚ng ( ph叩n o叩n I ) C担ng th畛c : M畛t s畛 S l P ( SiP ) Quan h畛 S,P nh動 sau: S - P + : V鱈 d畛: M畛t s畛 nh畉c s挑 l gi叩o vi棚n V鱈 d畛: M畛t s畛 h狸nh b狸nh hnh l h狸nh ch畛 nh畉t S - P - : K畉t lu畉n: Trong ph叩n o叩n I: S kh担ng chu di棚n, P chu di棚n khi S P S P S P
  • 21. Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n Ph叩n o叩n ph畛 畛nh chung ( ph叩n o叩n E ) C担ng th畛c : M畛i S kh担ng l P ( SeP ) Quan h畛 S,P nh動 sau: V鱈 d畛: M畛i con s叩o 畛u kh担ng 畉 d動畛i n動畛c S + P + K畉t lu畉n: Trong ph叩n o叩n E: S chu di棚n, P chu di棚n S P
  • 22. Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n Ph叩n o叩n ph畛 畛nh ri棚ng ( ph叩n o叩n O ) C担ng th畛c : M畛t s畛 S kh担ng l P ( SoP ) Quan h畛 S,P nh動 sau: V鱈 d畛: M畛t s畛 sinh vi棚n kh担ng t畛t S - P + K畉t lu畉n: Trong ph叩n o叩n O: S kh担ng chu di棚n, P chu di棚n S - P + S P S P
  • 23. Ch動董ng 3. PHN ON II- PHN ON N 2.3- T鱈nh chu di棚n c畛a c叩c danh t畛 logic trong ph叩n o叩n K畉t lu畉n chung KL1: Ph叩n o叩n A: S + , P ch動a x叩c 畛nh Ph叩n o叩n I: S - , P ch動a x叩c 畛nh Ph叩n o叩n E: S + , P + Ph叩n o叩n O: S - ,P + KL2: Ph叩n o叩n chung: S + Ph叩n o叩n ph畛 畛nh: P + Ph叩n o叩n ri棚ng: S -
  • 24. Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic T畛 c畉p kh叩i ni畛m S v P, ta lu担n x但y d畛ng 動畛c 4 ph叩n o叩n v畛i ch畛 t畛 S, v畛 t畛 P: SaP, SiP, SeP v SoP. C叩c ph叩n o叩n ny c坦 quan h畛 v畛i nhau. H狸nh vu担ng logic: H狸nh vu担ng th畛 hi畛n quan h畛 gi畛a c叩c ph叩n o叩n A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 25. Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic Quan h畛 A & E: 動畛c g畛i l quan h畛 畛i ch畛i chung ho畉c quan h畛 畛i ch畛i tr棚n 2.4.1 - Quan h畛 畛i ch畛i : L quan h畛 c畛a c叩c ph叩n o叩n c坦 c湛ng l動畛ng nh動ng kh叩c nhau v畛 ch畉t (A & E, I v O) Hai ph叩n o叩n A v E kh担ng th畛 畛ng th畛i 炭ng, nh動ng c坦 th畛 畛ng th畛i sai. V鱈 d畛: - T畉t c畉 c叩c d嘆ng s担ng 畛u ch畉y (A): 炭ng. - T畉t c畉 c叩c d嘆ng s担ng 畛u kh担ng ch畉y (E): sai. Hai ph叩n o叩n tr棚n kh担ng 畛ng th畛i 炭ng. A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 26. Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic - M畛i sinh vi棚n 畛u gi畛i ti畉ng Nga (A): sai. - M畛i sinh vi棚n 畛u k担 gi畛i ti畉ng Nga (E): sai. Hai ph叩n o叩n tr棚n 畛ng th畛i sai K畉t lu畉n: - N畉u A 炭ng th狸 E sai v ng動畛c l畉i n畉u E 炭ng th狸 A sai - N畉u A sai th狸 E kh担ng x叩c 畛nh (c坦 th畛 炭ng ho畉c sai) v ng動畛c l畉i n畉u E sai th狸 A kh担ng x叩c 畛nh (c坦 th畛 炭ng ho畉c sai) A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 27. Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic Quan h畛 I & O: 動畛c g畛i l quan h畛 畛i ch畛i ri棚ng ho畉c quan h畛 畛i ch畛i d動畛i Hai ph叩n o叩n I v O kh担ng th畛 畛ng th畛i sai nh動ng c坦 th畛 畛ng th畛i 炭ng V鱈 d畛: - M畛t s畛 nh b叩c h畛c 動畛c nh畉n gi畉i th動畛ng Nobel (I): 炭ng. - M畛t s畛 nh b叩c h畛c k担 動畛c nh畉n gi畉i th動畛ng Nobel (O): 炭ng. Hai ph叩n o叩n tr棚n 畛ng th畛i 炭ng. Nh動ng: - M畛t s畛 kim lo畉i kh担ng d畉n di畛n (O): sai. - M畛t s畛 kim lo畉i d畉n i畛n (I): 炭ng. Hai ph叩n o叩n tr棚n kh担ng 畛ng th畛i sai. A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 28. Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic K畉t lu畉n: - N畉u I sai th狸 O 炭ng v ng動畛c l畉i n畉u O sai th狸 I 炭ng. - N畉u I 炭ng th狸 O kh担ng x叩c 畛nh (c坦 th畛 炭ng ho畉c sai) v ng動畛c l畉i n畉u O 炭ng th狸 I kh担ng x叩c 畛nh (c坦 th畛 炭ng ho畉c sai) A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 29. Ch動董ng 3. PHN ON II- PHN ON N 2.4- Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic 2.4.2 - Quan h畛 m但u thu畉n: L quan h畛 gi畛a c叩c ph叩n o叩n kh叩c c畉 v畛 ch畉t v l動畛ng (A & O, E v I) Hai ph叩n o叩n c坦 quan h畛 m但u thu畉n (A v O, E v I) n畉u ph叩n o叩n ny 炭ng th狸 ph叩n o叩n kia sai v ng動畛c l畉i. V鱈 d畛: - M畛i ng動畛i 畛u c坦 坦c (A): 炭ng. - M畛t s畛 ng動畛i kh担ng c坦 坦c (O): sai - M畛t s畛 ng動畛i th鱈ch c畉i l動董ng (I): 炭ng. - M畛i ng動畛i 畛u kh担ng th鱈ch c畉i l動董ng (E): sai A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 30. Ch動董ng 3. PHN ON II- PHN ON N 2.4 - Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic 2.4.3 - Quan h畛 th畛 b畉c: L quan h畛 gi畛a c叩c ph叩n o叩n c坦 c湛ng ch畉t nh動ng kh叩c nhau v畛 l動畛ng (A & I, E v O) - Hai ph叩n o叩n c坦 quan h畛 th畛 b畉c n畉u ph叩n o叩n ton th畛 炭ng th狸 ph叩n o叩n b畛 ph畉n c滴ng 炭ng: A 炭ng # I 炭ng, E 炭ng # O 炭ng. V鱈 d畛: - M畛i ng動畛i 畛u l棚n 叩n b畛n tham nh畛ng (A): 炭ng. - Nhi畛u ng動畛i l棚n 叩n b畛n tham nh畛ng (I): 炭ng. - Kh担ng m畛t ai tr叩nh 動畛c c叩i ch畉t (E): 炭ng. - M畛t s畛 ng動畛i kh担ng tr叩nh 動畛c c叩i ch畉t (O): 炭ng. A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 31. Ch動董ng 3. PHN ON II- PHN ON N 2.4 - Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic - N畉u ph叩n o叩n b畛 ph畉n (kh畉ng 畛nh ho畉c ph畛 畛nh) sai th狸 ph叩n o叩n ton th畛 (kh畉ng 畛nh ho畉c ph畛 畛nh t動董ng t畛ng) c滴ng sai. I sai # A sai, O sai # E sai. V鱈 d畛: - Nhi畛u con m竪o 畉 ra tr畛ng (I): sai. - M畛i con m竪o 畛u 畉 ra tr畛ng (A): sai. - M畛t s畛 ng動畛i s畛ng kh担ng c畉n th畛 (O): sai. - M畛i ng動畛i s畛ng 畛u kh担ng c畉n th畛 (E): sai. A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 32. Ch動董ng 3. PHN ON II- PHN ON N 2.4 - Quan h畛 gi畛a c叩c ph叩n o叩n, h狸nh vu担ng logic K畉t lu畉n chung: - N畉u A 炭ng # O sai, O sai # E sai, E sai # I 炭ng. Do 坦: A () # O (s), E (s) # I (). - N畉u A sai # O 炭ng, O 炭ng # E kh担ng x叩c 畛nh, E kh担ng x叩c 畛nh # I kh担ng x叩c 畛nh. Do 坦: A (s) # O (), E v I kh担ng x叩c 畛nh. T畛 quan h畛 c畛a c叩c ph叩n o叩n trong h狸nh vu担ng logic. Khi bi畉t gi叩 tr畛 logic c畛a m畛t ph叩n o叩n ng動畛i ta c坦 th畛 bi畉t 動畛c gi叩 tr畛 logic c畛a c叩c ph叩n o叩n c嘆n l畉i: A E O I 畛i ch畛i tr棚n 畛i ch畛i d動畛i Th畛 b畉c Th畛 b畉c M但u thu畉n M但u thu畉n
  • 33. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P Ph叩n o叩n ph畛c h畛p l ph叩n o叩n 動畛c t畉o thnh t畛 c叩c ph叩n o叩n thnh ph畉n v c叩c li棚n t畛 l担g鱈c (h 畉ng logic) Th鱈 d畛: H畛c t畉p l ngh挑a v畛 v quy畛n l畛i c畛a c担ng d但n Ph叩n o叩n 坦 bao g畛m hai ph叩n o叩n thnh ph畉n: H畛c t畉p l ngh挑a v畛 c畛a c担ng d但n H畛c t畉p l quy畛n l畛i c畛a c担ng d但n Li 棚n t畛 logic: v C 叩c ph叩n o叩n ph畛c h畛p c坦 thnh ph畉n tr畛c ti畉p l c叩c ph叩n o叩n 董n 動畛c g畛i l ph叩n o叩n ph畛c h畛p c董 b畉n Th鱈 d畛: ng Trung s畉 lm gi叩m 畛c ho畉c 担ng D滴ng s畉 lm gi叩m 畛c.
  • 34. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P Ph叩n o叩n 坦 bao g畛m hai ph叩n o叩n thnh ph畉n: ng Trung s畉 lm gi叩m 畛c ng D滴ng s畉 lm gi叩m 畛c Li 棚n t畛 logic: ho畉c C 叩c ph叩n o叩n ph畛c h畛p c坦 thnh ph畉n l c叩c ph叩n o叩n ph畛c 動畛c g畛i l ph叩n o叩n a ph畛c h畛p. Hay n坦i c叩ch kh叩c, ph叩n o叩n ph畛c h畛p c坦 t畛 2 li棚n t畛 logic th狸 動畛c g畛i l ph叩n o叩n a ph畛c h畛p Th鱈 d畛: N畉u khi no h畉n c坦 nh v c坦 xe th狸 h畉n m畛i c動畛i 動畛c c担 畉y. Ph叩n o叩n 坦 bao g畛m hai ph叩n o叩n thnh ph畉n: H畉n c坦 nh v c坦 xe: ph叩n o叩n ph畛c H畉n m畛i c動畛i 動畛c c担 畉y: ph叩n o叩n 董n Li 棚n t畛 logic: n畉u th狸
  • 35. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n Li棚n t畛 logic 坦ng vai tr嘆 nh畛ng m畛i n畛i logic g畉n k畉t c叩c ph叩n o叩n t畉o n棚n ph叩n o叩n ph畛c h畛p. Ch炭ng ph畉n 叩nh c畛a c叩c quan h畛 v畛 m畉t t畛n t畉i gi畛a c叩c s畛 v畉t v hi畛n t動畛ng c畛a hi畛n th畛c. 3.1.1 - Ph叩n o叩n li棚n k畉t (Ph辿p h畛i) Ph叩n o叩n li棚n k畉t l ph叩n o叩n ph畛c 動畛c t畉o thnh t畛 c叩c ph叩n o叩n 董n nh畛 li棚n t畛 l担g鱈c v c滴ng nh動 c叩c t畛 畛ng ngh挑a v畛i v. K箪 hi畛u: ^ C担ng th畛c: a ^ b , trong 坦 a v b l c叩c ph叩n o叩n thnh ph畉n.
  • 36. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.1 - Ph叩n o叩n li棚n k畉t (Ph辿p h畛i) V 鱈 d畛: Anh 畉y kh担ng nh畛ng 畉p trai m c嘆n galng Ph叩n o叩n thnh ph畉n: 1) Anh 畉y 畉p trai (a) 2) Anh 畉y galng (b) Li棚n t畛 logic: kh担ng nh畛ng m c嘆n (^) C担ng th畛c c董 b畉n: a ^ b Gi叩 tr畛 logic: 0 0 0 0 0 1 0 1 0 1 1 1 m = a ^ b b a
  • 37. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.1 - Ph叩n o叩n li棚n k畉t (Ph辿p h畛i) K 畉t lu畉n: 1) Ph叩n o叩n li棚n k畉t th畛 hi畛n m畛i quan h畛 li棚n k畉t gi畛a c叩c ph叩n o叩n thnh ph畉n. S畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n ny 畛ng th畛i v畛i s畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n kia v ng動畛c l畉i 2) Ph叩n o叩n li棚n k畉t ch畛 c坦 gi叩 tr畛 logic ch但n th畛c khi c叩c ph叩n o叩n thnh ph畉n ch但n th畛c
  • 38. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.2 - Ph叩n o叩n ph但n li畛t (ph辿p tuy畛n) Ph叩n o叩n ph但n li畛t l ph叩n o叩n ph畛c 動畛c t畉o thnh t畛 c叩c ph叩n o叩n thnh ph畉n nh畛 li棚n t畛 l担g鱈c hay , ho畉c,. K箪 hi畛u: v C担ng th畛c: a v b , trong 坦 a v b l c叩c ph叩n o叩n thnh ph畉n V 鱈 d畛: Anh 畛 nh ho畉c t担i s畉 i c湛ng anh Ph叩n o叩n thnh ph畉n: 1) Anh 畛 nh (a) 2) T担i i c湛ng anh (b) Li棚n t畛 logic: ho畉c (v) C担ng th畛c c董 b畉n: a v b
  • 39. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.2 - Ph叩n o叩n ph但n li畛t (ph辿p tuy畛n) Hai lo 畉i ph叩n o叩n ph但n li畛t: - Ph叩n o叩n ph但n li畛t t畛n t畉i (tuy畛n th動畛ng v ) - Ph叩n o叩n ph但n li畛t tuy畛t 畛i (tuy畛n ch畉t v ) Gi叩 tr畛 logic c畛a ph叩n o叩n ph但n li畛t t畛n t畉i (tuy畛n th動畛ng) 0 0 0 1 0 1 1 1 0 1 1 1 m = a v b b a
  • 40. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.2 - Ph叩n o叩n ph但n li畛t (ph辿p tuy畛n) Gi叩 tr畛 logic c畛a ph叩n o叩n ph但n li畛t tuy畛t 畛i (tuy畛n ch畉t) 0 0 0 1 0 1 1 1 0 0 1 1 m = a v b b a
  • 41. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.2 - Ph叩n o叩n ph但n li畛t (ph辿p tuy畛n) K 畉t lu畉n: 1) Ph叩n o叩n ph但n li畛t th畛 hi畛n m畛i quan h畛 t叩ch r畛i gi畛a c叩c ph叩n o叩n thnh ph畉n. S畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n ny ph但n li畛t v畛i s畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n kia v ng動畛c l畉i 2) Ph叩n o叩n ph但n li畛t t畛n t畉i (V) ch畛 c坦 gi叩 tr畛 logic gi畉 d畛i khi t畉t c畉 c叩c ph叩n o叩n thnh ph畉n gi畉 d畛i 3) Ph叩n o叩n ph但n li畛t tuy畛t 畛i ( V ) ch畛 炭ng khi duy nh畉t m畛t trong c叩c ph叩n o叩n thnh ph畉n 炭ng
  • 42. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.3 - Ph叩n o叩n c坦 i畛u ki畛n (ph 辿p k辿o theo) Ph叩n o叩n c坦 i畛u ki畛n l ph叩n o叩n ph畛c 動畛c t畉o thnh t畛 c叩c ph叩n o叩n thnh ph畉n nh畛 li棚n t畛 l担g鱈c n畉u.....th狸.... v c叩c li棚n t畛 畛ng nh畉t kh叩c K箪 hi畛u : C担ng th畛c : a b , trong 坦: a c董 s畛, b h畛 qu畉. V 鱈 d畛: N畉u tr畛i m動a th狸 動畛ng 動畛t Ph叩n o叩n thnh ph畉n: 1) Tr畛i m動a (a) 2) 動畛ng 動畛t (b) Li棚n t畛 logic: N畉u th狸 . ( ) C担ng th畛c c董 b畉n: a b
  • 43. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n Gi叩 tr畛 logic: 3.1.3 - Ph叩n o叩n c坦 i畛u ki畛n (ph 辿p k辿o theo) K 畉t lu畉n: 1) Ph叩n o叩n i畛u ki畛n th畛 hi畛n m畛i quan h畛 nh但n qu畉 gi畛a c叩c ph叩n o叩n thnh ph畉n. S畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n ny k辿o theo s畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n kia 2) Ph叩n o叩n i畛u ki畛n ch畛 c坦 gi叩 tr畛 logic gi畉 d畛i khi c叩c ph叩n o叩n nguy棚n nh但n 炭ng c嘆n ph叩n o叩n h畛 qu畉 sai 1 0 0 0 0 1 1 1 0 1 1 1 m = a b b a
  • 44. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.4 - Ph叩n o叩n t動董ng 動董ng (ph辿p t動董ng 動董ng) Ph叩n o叩n t動董ng 動董ng l ph叩n o叩n ph畛c 動畛c t畉o thnh t畛 c叩c ph叩n o叩n 董n nh畛 li棚n t畛 l担g鱈c n畉u v ch畛 n畉u, khi v ch畛 khi, v.v..... K箪 hi畛u: C担ng th畛c: a b Th畛c ch畉t: (a b) ^ (b a) Trong 坦: a, b l c叩c ph叩n o叩n thnh ph畉n
  • 45. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.4 - Ph叩n o叩n t動董ng 動董ng (ph辿p t動董ng 動董ng) V 鱈 d畛: H狸nh b狸nh hnh l h狸nh ch畛 nh畉t khi v ch畛 khi n坦 c坦 m畛t g坦c vu担ng Ph叩n o叩n thnh ph畉n: 1) H狸nh b狸nh hnh l h狸nh ch畛 nh畉t (a) 2) N坦 c坦 m畛t g坦c vu担ng (b) Li棚n t畛 logic: Khi v ch畛 khi ( ) C担ng th畛c c董 b畉n: a b
  • 46. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.4 - Ph叩n o叩n t動董ng 動董ng (ph辿p t動董ng 動董ng) Gi叩 tr畛 logic: K 畉t lu畉n: 1) Ph叩n o叩n t動董ng 動董ng th畛 hi畛n m畛i quan h畛 t動董ng 動董ng 畛i x畛ng gi畛a hai ph叩n o叩n thnh ph畉n. S畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n ny k辿o theo s畛 t畛n t畉i c畛a ph叩n o叩n thnh ph畉n kia v ng動畛c l畉i 2) Ph叩n o叩n t動董ng 動董ng ch畛 c坦 gi叩 tr畛 logic gi畉 d畛i khi m畛t trong hai ph叩n o叩n thnh ph畉n sai 1 0 0 0 0 1 0 1 0 1 1 1 m = a b b a
  • 47. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1 - Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.5 - Ph叩n o叩n ph畛 畛nh (ph辿p ph畛 畛nh) Ph叩n o叩n ph畛 畛nh l ph叩n o叩n 動畛c t畉o thnh t畛 m畛t ph叩n o叩n v li棚n t畛 l担g鱈c kh担ng ph畉i, kh担ng th畛 c坦 chuy畛n, v.v..... K箪 hi畛u: C担ng th畛c: a ( trong 坦 ph叩n o叩n a c坦 th畛 l ph叩n o叩n 董n, ho畉c ph畛c) V 鱈 d畛: Kh担ng th畛 c坦 chuy畛n ng動畛i s畛ng kh担ng c畉n th畛 Ph叩n o叩n thnh ph畉n: Ng動畛i s畛ng kh担ng c畉n th畛 (a) Li棚n t畛 logic: Kh担ng th畛 c坦 chuy畛n ( ) C担ng th畛c c董 b畉n: ( a)
  • 48. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.1. Li棚n t畛 logic v c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 3.1.5 - Ph叩n o叩n ph畛 畛nh (ph辿p ph畛 畛nh) Gi叩 tr畛 logic: 1 0 0 1 m = a a
  • 49. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.2 - B畉ng gi叩 tr畛 logic B畉ng gi叩 tr畛 logic l b畉ng bi畛u di畛n gi叩 tr畛 logic c畛a ph叩n o叩n * 畉c i畛m c畛a b畉ng gi叩 tr畛 logic - N畉u ph叩n o叩n c坦 n ph叩n o叩n thnh ph畉n th狸 b畉ng gi叩 tr畛 logic c坦 2 n d嘆ng (tr畛 d嘆ng ti棚u 畛) V鱈 d畛: Bao gi畛 ch坦 s畛a tr畛ng kh担ng Ch畉ng th畉ng n c畉p c滴ng 担ng i 動畛ng Ph叩n o叩n thnh ph畉n: 1) th畉ng n c畉p (a) 2) 担ng i 動畛ng (b) 3) ch坦 s畛a (c) C担ng th畛c (a v b) c
  • 50. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.2 - B畉ng gi叩 tr畛 logic * 畉c i畛m c畛a b畉ng gi叩 tr畛 logic B畉ng gi叩 tr畛 logic c畛a ph叩n o叩n {m = (a v b) c} 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 m = (avb) c a v b c b a
  • 51. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.2 - B畉ng gi叩 tr畛 logic * 畉c i畛m c畛a b畉ng gi叩 tr畛 logic V畛i b畉t k畛 gi叩 tr畛 logic c畛a c叩c ph叩n o叩n thnh ph畉n: + Ph叩n o叩n m c坦 gi叩 tr畛 logic ch但n th畛c 動畛c g畛i l ph叩n o叩n ch但n th畛c + Ph叩n o叩n m c坦 gi叩 tr畛 logic gi畉 d畛i 動畛c g畛i l ph叩n o叩n gi畉 d畛i + Ph叩n o叩n m v畛a c坦 gi叩 tr畛 logic ch但n th畛c, v畛a c坦 gi叩 tr畛 logic gi畉 d畛i 動畛c g畛i l ph叩n o叩n kh担ng x叩c 畛nh
  • 52. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.2 - B畉ng gi叩 tr畛 logic B畉ng t畛ng h畛p gi叩 tr畛 logic c畛a c叩c ph叩n o叩n ph畛c h畛p c董 b畉n 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 a b a b a v b a v b a ^ b a b a
  • 53. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c C叩c ph叩n o叩n ph畛c h畛p (c坦 chung c叩c ph叩n o叩n thnh ph畉n) 動畛c g畛i l c坦 quan h畛 畉ng tr畛 v畛i nhau n畉u n坦 c坦 c湛ng gi叩 tr畛 logic v畛i b畉t k畛 gi叩 tr畛 no c畛a c叩c ph叩n o叩n thnh ph畉n V鱈 d畛: Ph叩n o叩n Anh 畉y v畛a 畉p trai v畛a galng - (a ^ b) C坦 quan h畛 畉ng tr畛 v畛i ph叩n o叩n: Kh担ng th畛 c坦 chuy畛n n畉u anh 畉y 畉p trai th狸 kh担ng galng - ( (a b) ) K箪 hi畛u: C担ng th畛c: m n (m 畉ng tr畛 v畛i n, trong 坦: m, n l c叩c ph叩n o叩n ph畛c h畛p)
  • 54. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c h畛p c董 b畉n a ^ b (a b) (b a) ( a v b) a v b a b b a ( a ^ b) a b b a a v b (a ^ b)
  • 55. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c V鱈 d畛: H達y vi畉t l畉i c叩c ph叩n o叩n sau sao cho n畛i dung t動 t動畛ng kh担ng 畛i: N畉u mu畛n c坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t th狸 ph畉i c坦 t動 duy logic t畛t Ph叩n o叩n tr棚n l ph叩n o叩n ph畛c h畛p C叩c ph叩n o叩n thnh ph畉n: 1) C坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t (a) 2) C坦 t動 duy logic t畛t (b) Li棚n t畛 logic: N畉u th狸 ( ) KL: Ph叩n o叩n tr棚n l P ph畛c h畛p k辿o theo ( a b)
  • 56. Ch動董ng 3. PHN ON III- PHN ON PH畛C H畛P 3.3 - T鱈nh 畉ng tr畛 c畛a c叩c ph叩n o叩n ph畛c Ph叩n o叩n tr棚n c坦 quan h畛 畉ng tr畛 v畛i c叩c ph叩n o叩n sau: a b b a a v b (a ^ b) V畉y ph叩n o叩n tr棚n c坦 th畛 vi畉t l畉i nh動 sau: b a: N畉u kh担ng c坦 t動 duy logic t畛t th狸 kh担ng th畛 c坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t a v b: Ho畉c kh担ng c坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t ho畉c c坦 t動 duy logic t畛t (a ^ b): Kh担ng th畛 c坦 chuy畛n c坦 ph動董ng ph叩p nghi棚n c畛u khoa h畛c t畛t m l畉i kh担ng c坦 t動 duy logic t畛t