mệnh đề luật suy diễn amp chứng minh ví dụ 2

... Chứng minh nhờ luật suy diễn Bảng sau đưa luật suy diễn cho luận điểm cho vị từ Luật modus ponens tổng quát: R(a)? S(a) với a ∈ D ? ∀z∈ D[ R(z)? S(z)] 2/ 3 Chứng minh nhờ luật suy diễn Luật ... generalizingfromthegenericparticular xác định nhiều toán học Luật existentialspecificationđược dùng để lập luận số đối tượng tồn nhiên đích xác giá trị Một số ví dụ 3/3 ...

Ngày tải lên: 31/12/2015, 12:08

... Khoản Điều Luật ngân sách nhà nước năm 20 02 III Kết luận: Qua việc phân tích nhìn nhận thể nguyên tắc ngân sách toàn diện Luật ngân sách nhà nước năm 20 02 ta thấy việc thực nguyên tắc tốt tài ... chi khoản thu liệt kê dự toán ngân sách phải đảm bảo yếu tố đầy đủ, rõ ràng, minh bạch Luật ngân sách nhà nước năm 20 02 có quy định Khoản Điều nêu bao quát khoản chi ngân sách: “Chi ngân sách nhà ... chi, áp dụng cần phải tuân thủ nguyên tắc vay bù đắp bội chi ngân sách nhà nước phải bảo đảm nguyên tắc không sử dụng cho tiêu dùng, sử dụng cho mục đích phát triển quy định Khoản Điều Luật ngân...

Ngày tải lên: 29/03/2013, 09:20

... dungBài tập 12/ tr13 Câu Không mệnh đề - 1M 153 số nguyên tố Cấm đá bóng Bạn có máy tính không? Mệnh đề Mệnh đề sai T Toỏn - Trng THPT Tha Lu Hoạt động GV *Bài 12/ Tr13 SGK GV treo bảng phụ tập 12 SGK ... Trong mệnh đề sau , mệnh đề có MĐ đảo? A Nếu a b chia hết cho c a+b chia hết cho c B Nếu tam giác diện tích C.Nếu a chia hết cho a chia hết cho D.Nếu số tận số chia hết cho 2. TRong mệnh đề sau , mệnh ... n2 số lẻ B n chia hết cho tổng chữ số n chia hết cho C ABCD hình chữ nhật AC = BD D ABC tam giác AB = AC cómột góc 600 5.Trong mệnh đề sau , MĐ sai? 2 A.- < B < < 16 C 23 < 23 < 2. 5 D 23 ...

Ngày tải lên: 20/09/2012, 15:53

... Hoạt động 3: Xét mệnh đề P(x)=>Q(x) (1) Là mệnh đề đươc goi gì.? Xét mệnh đề Q(x)=> P(x) (2) Là mệnh đề thi goi (2) Là định lí đảo định lí (1) Định lí (1) gọi định lí thuận định lí (2) .hay P(x)là ... 8,9,10,11(SGK trang: 12) Q(n)= “n chia hết cho 8” mệnh đề P(x)=>Q(x) (1) ,có thể sai mệnh đề (1) gọi định lí mệnh đề Q(x)=>P(x) (2) tương tự mệnh đề mà gọi định lí , định lí (2) gọi định lí đảo ... đề mà gọi định lí , định lí (2) gọi định lí đảo định lí (1) định lí dạng (1) gọi định lí thuận (2) ta nói ”mọi x thuộc X,P(x)Q(x)” hay P(x) điều kiện cần đủ để có Q(x) 3/Định lí đảo, điều kiện...

Ngày tải lên: 20/09/2012, 15:53

... gọi chứng minh định lí Thế chứng minh đl? Phép chứng minh đợc gọi chứng minh trực tiếp Yêu cầu hs thảo luận theo nhóm toán cho vd Hoạt động HS N lẻ,nên n=2k +1, k Do đó: n = (2k + 1 )2 =4k(k+1) ... ví dụ, yêu cầu hs chứng minh trực tiếp Gv nêu nhận định:đôi có số đl ta chứng minh trực tiếp gặp khó khăn.Khi đó, ta chứng minh gián tiếp hpơng pháp phản chứng Hãy nhắc lại phơng pháp phản chứng? ... lí mệnh đề chứa biến có dạng: x X , P ( x ) Q ( x ) Hoạt động 3: Chứng minh định lí trực tiếp Hoạt động GV Gv hs kiểm chứng định lí ví dụ N lẻ n có dạng gì? Công việc kiểm chứng đl đợc gọi chứng...

Ngày tải lên: 20/09/2012, 15:53

... luận Suy luận chia thành suy luận suy diễn suy luận qui nạp Suy diễn suy luận lập luận từ chung đến riêng, đơn ; Suy diễn có suy diễn trực tiếp suy diễn gián tiếp Suy diễn trực tiếp suy diễn ... luận đề trực tiếp rút từ luận Chứng minh gián tiếp chứng minh tính chân thực luậnđề rút sở lập luận giả dối phản luận đề Chứng minh gián tiếp sử dụng luận để chứng minh trực tiếp Chứng minh ... chia chứng minh phản chứng chứng minh phân liệt Chứng minh phản chứng thực cách xác lập tính giả dối phản luận đề Chứng minh phân liệt Là chứng minh gián tiếp, lập luận tính chân thực luận đề...

Ngày tải lên: 27/06/2013, 11:45

... x ( 1) , với x f( ) = (2 ) Giải (1) 4 )+ sin(2x)]=0, x 3 -asin2x-2bsin2x.cos =0, x (b-a)sin2x=0, x a=b Giải (2) 2 b (2) a+b(cos2 + cos2 )= a+ = 2a+b=3 2 3 (4) Từ (3), (4), ta đợc ... (arcsin 2x +x )' + (arctg )' x + x2 (1) đó: (arctgx)'= (arcsin , + x2 2x )'= + x2 (2) 2x 1+ x ' 2x 1+ x =- , + x2 (3) ' 1+x 1 +x 1x (arctg )'= = x + x2 1+x 1+ 1x (4) Thay (2) , (3), ... A(x0)=c Ví dụ 1: CMR với x ta có: cos2(x-a)+sin2(x-b)-2cos(x-a).sin(x-b).sin(a-b)=cos2(a-b) Giải Xét hàm số y= cos2(x-a)+sin2(x-b)-2cos(x-a).sin(x-b).sin(a-b) Ta có: y'=-2sin(x-a)cos(x-a)+2sin(x-b)cos(x-b)+...

Ngày tải lên: 27/08/2013, 16:39

... HĐ thức 3- Bài tập mẫu Bài Chứng minh : x2+2y2+2z2 2xy +2yz+2z-1 (*) Giải (*) x2+2y2+2z2 -2xy -2yz-2z +1 (x2-2xy+y2)+(y2-2yz+z2)+(z2-2z+1) (x-y )2+ (y-z )2+ (z-1 )2 Bất đẳng thức cuối với x,y,z ... x2 y4 +2( x2 +2) y2+4xy +x2 - 4xy3 (y2+1 )2 x2+ 4y (1-y2).x +4y2 Ta thấy (y2+1 )2 x2+ 4y (1-y2).x +4y2 tam thức bạc hai biến x a= (y2+1 )2 >0 Xét = [2 (1-y2) ]2- (y2+1 )2. 4y2= -16 y2 y x2 y4 +2( x2 +2) y2+4xy ... b 12- a 12 a8 b4- a4 b8-b 12 ( a10 b2a8 b4) +( a2 b10- a4 b8 a8 b2(a2-b2) a 2b8(a2-b2) a 2b2(a2-b2)( a2-b2)(a4+a2b2+b4) a 2b2(a2-b2 )2( a4+a2b2+b4) với a, b Dấu "=" xảy a2=b2 a=b a=-b a=0 b=0...

Ngày tải lên: 14/09/2013, 10:10

... luận Suy luận chia thành suy luận suy diễn suy luận qui nạp Suy diễn suy luận lập luận từ chung đến riêng, đơn ; Suy diễn có suy diễn trực tiếp suy diễn gián tiếp Suy diễn trực tiếp suy diễn ... luận đề trực tiếp rút từ luận Chứng minh gián tiếp chứng minh tính chân thực luậnđề rút sở lập luận giả dối phản luận đề Chứng minh gián tiếp sử dụng luận để chứng minh trực tiếp Chứng minh ... chia chứng minh phản chứng chứng minh phân liệt Chứng minh phản chứng thực cách xác lập tính giả dối phản luận đề Chứng minh phân liệt Là chứng minh gián tiếp, lập luận tính chân thực luận đề...

Ngày tải lên: 26/09/2013, 01:10

... Chứng minh tứ giác OBDM có tổng hai góc đối OMD OBD 1800 b) Ta chúng minh tứ giác PAOP nội tiếp chứng minh hai đỉnh D P tứ giác CODP nhình cạnh OC dới góc Năm học 20 10 - 20 11 D B Phơng pháp chứng ... ờng tròn A Một số phơng pháp chứng minh điểm thuộc đờng tròn + Dựa vào hai đờng tròn có ba điểm chung trùng Ví dụ : để chứng minh điểm ABCDE thuộc đờng tròn ta chứng minh : bốn điểm ABCD thuộc ... CA cắt AD R a) Chứng minh tứ giác BCEF AFDC nội tiếp b) Vẽ đờng kính AA đờng tròn (O) cắt EF Q, cắt CF N , BC P Chứng minh tứ giác CEQA nội tiếp c) Gọi M giao điểm EF với AD Chứng minh điểm M ,...

Ngày tải lên: 11/10/2013, 02:11

... kiện khai báo với mệnh đề kiện father father(john, marry) - Mệnh đề luật suy diễn : Để khai báo luật suy diễn If Then chương trình Prolog, mệnh đề luật suy diễn khai báo với ... thức 4.1.1.4 Luật thừa Một luật dẫn A → B gọi thừa suy luật từ luật lại Ví dụ : Trong tập luật gồm {A → B, B → C, A → C} luật thứ luật thừa suy từ luật lại 4.1.1.5 Thuật toán tối ưu tập luật dẫn ... NhaTrang Độ dài 27 0 110 160 25 0 95 145 90 70 50 160 170 100 145 170 60 160 160 100 60 23 0 22 0 110 - 17 - Số hiệu Đường 28 703 28 14B 1A 1A 1A 1A 24 24 26 1A 1A 14 1A 19 1A 1A 1A 615 26 1A  Báo cáo...

Ngày tải lên: 25/10/2013, 15:52

... (b + 2c) ≥ a (b + 2c) = 6a b + 2c (b + 2c) Chứng minh tương tự ta được: 9b 9b3 + b (c + 2a ) ≥ b (c + 2a ) = 6b2 c + 2a (c + 2a ) 9c3 9c3 + c (a + 2b) ≥ c (a + 2ab) = 6c2 (a + 2b) (a + 2b) Cộng ... ) ≥ (a + b2 + c2 ) + + 9⎜ ⎟ ⎜ ⎟ ⎜ b + 2c c + 2a a + 2b ⎠ ⎝ ⎛ a3 b3 c3 ⎞ ⎟ ≥ (a + b2 + c2 ) − (ab + bc + ca ) ≥ (a + b2 + c2 ) ⇒ 9⎜ + + ⎟ ⎜ ⎟ ⎜ b + 2c c + 2a a + 2b ⎠ ⎝ a3 b3 c3 a + b2 + c ⇒ + ... b, c Chứng minh bất đẳng thức: a b c 1 + + ≤ + + 2 a +b b +c c +a a b c Bài giải Áp dụng bất đẳng thức Cô-si ta có: a + b2 ≥ a b2 = 2ab b a Suy ra: a + b2 ≥ a b2 = 2ab b ⇒ ≤ a +b ab Chứng minh...

Ngày tải lên: 12/12/2013, 21:15

...    x1  x2    2    x1  x2      f ( x1 )  f ( x2 ) x1 x2  x 12 x2    x  x x  4x  (Do    12 2  x 12 x2  x 12  x2  x1  x2  x1  x2 )  x2   x1 x2  x2  Do đó, x ... biến  2;   Thật x1 , x2  (2; ) : x1  x2   x2x      f ( x1 )  f ( x2 )   x1   -  x2     x1  x2    22  x1   x2    x1 x2   x1  x2   x 12 x2  x1  x2   ... 13  2 2 12  18 24 18 24 18 24 13 y 13 z 13 y 13z 13 13 13  2 2  48 24 48 24 48 24 Cộng theo vế bất đẳng thức ta được:  1  121      xy yz zx  xyz 12  x  y  z  2 (đpcm)...

Ngày tải lên: 14/01/2014, 21:13

...    1 2k  2k  2k  2k  2k 2k 2k 2k 2k 2k  2a 1b 1c 1a 2b 1c 1a 1b 2c    3 3 3 3       1  22 n  2n  2n  2n  2n 2n 2n 2n 2n 2n  2 a 1b 1c 1a 2b 1c 1a ...    1 22 k  2k  2k  2k  2k 2k 2k 2k 2k 2k  2a 1b 1c 1a 2b 1c 1a 1b 2c    3 3 3 3       1  22 n1  2n1  2n1  2n1  2n1 2n1 2n1 2n1 2n1 2n1  2a 1b ...    1 22 k1  2k1  2k1  2k1  2k1 2k1 2k1 2k1 2k1 2k1  2a 1b 1c 1a 2b 1c 1a 1b 2c   3 3 3 3       1  22 n  2n  2n  2n  2n 2n 2n 2n 2n 2n  2a 1b...

Ngày tải lên: 14/01/2014, 21:13

... − 2a )2 (1 − 2b )2 (1 − 2c )2 + + ≥ (1 − a ) + a (1 − b )2 + b (1 − c )2 + c 4a − a + 4b − 4b + 4c − 4c + 2a − 2a + 2b − 2b + 2c − 2c + 1 27 27 ⇔ + + ≤ ⇔ f (a ) + f (b) + f (c) ≤ 2a − 2a + 2b − 2b ... a+b+c+d =2 Cmr GV: Nguyễn Tất Thu 3 3 Năm học 20 05 – 20 06 3 Chun đ s d ng ti p n đ tìm l i gi i ch ng minh b t đ ng th c 16 a2 b2 c2 d2 + + + ≤ 2 2 25 (a + 1) (b + 1) (c + 1) (d + 1) 2x2 2y2 z2 + ... tìm l i gi i ch ng minh b t đ ng th c 54 x + 27 2( 54 x3 − 27 x + 1) 2( 3 x − 1 )2 (6 x + 1) Ta có: − f ( x) = = ≥ ∀x ∈ (0;1) 25 25 (2 x − x + 1) 25 (2 x − x + 1) 54(a + b + c) + 81 27 ⇒ f ( a) + f (...

Ngày tải lên: 25/01/2014, 19:20

... : b2 + c2 ≥ 2bc Ta có : b2 + c2 ≥ 2bc ⇒ a + 2bc ≤ a + b2 + c2 ⇒ 1 a2 a2 ≥ ⇒ ≥ a + 2bc a + b2 + c2 a + 2bc a + b2 + c2 Chứng minh tương tự ta được: b2 b2 ≥ b2 + 2ca a + b2 + c2 c2 b2 ≥ c2 + 2ab ... a + b2 + c2 Cộng vế với vế bất đẳng thức ta bđt a2 b2 c2 a2 b2 c2 + + ≥ + + =1 a + 2bc b + 2ca c + 2ab a + b2 + c2 a + b2 + c2 a + b2 + c2 Dấu đẳng thức xảy ⇔ a = b = c > Bài 4: Chứng minh bất ... ( b + 2c ) ≥ a (b + 2c) = 6a b + 2c (b + 2c) Chứng minh tương tự ta được: 9b 9b3 + b (c + 2a ) ≥ b (c + 2a ) = 6b2 c + 2a (c + 2a ) 9c3 9c3 + c (a + 2b) ≥ c (a + 2ab) = 6c2 (a + 2b) (a + 2b) Cộng...

Ngày tải lên: 30/03/2014, 09:20

... a, b, c khác Chứng minh ba phương trình sau có nghiệm: ax2 + 2bx + c = (1) ; bx2 + 2cx + a = (2) ; cx2 + 2ax + b = (3) Bài Cho hai phương trình x2 + a1x + b1 = (1) x2 + a2x + b2 = (2) có hệ số ... Email: tranhung181 020 00@yahoo.com số ngun âm” x Có tồn hay khơng số thực x để ba mệnh đề có mệnh đề sai hai mệnh đề ? Bài Lập mệnh đề phủ định mệnh đề sau: a Với số ngun dương n n2 + n + số ngun ... xác định 2, 4 326 5 với cận sai số tuyệt đối d=0,003 12 Hỏi C có chữ số ? Bài 13 : Cho mệnh đề P : "Với số thực x, x số hữu tỉ 2x số hữu tỉ ” a) Dùng kí hiệu lơgic tập hợp để diễn tả mệnh đề xác định...

Ngày tải lên: 11/07/2014, 01:21

... z2 + 36 Hng dn gii Ta cú S = (2 x )2 + 22 + (3y )2 + 12 + z + r r r Trong mt phng ta Oxy , xột cỏc vect: a = (2 x; 2) , b = (3y; 12) , c = (4 z; 6) , r r r a = (2 x )2 + 2 , b = (3 y )2 + 122 ... z x + 3y + z 40 = = = = = = = x = 2, y = 8, z = 12 12 12 + 12 + 20 Vi x = 2, y = 8, z = 12 thỡ S = 20 Vy giỏ tr nh nht ca S bng 20 x = 2, y = 8, z = 12 Vớ d 15 Cho a, b, c l cỏc s thc dng ... a2 + b2 + a2 + b2 Ta cú: rr rr rr ( a + b)(1 ab) ( a + b)(1 ab) sin 2( u, v) = 2sin(u, v)cos(u, v) = 2 (1 + a )(1 + b ) (1 + a2 )(1 + b2 ) x + xy + y = Vớ d 19 Gi s h cú nghim Chng minh...

Ngày tải lên: 21/07/2014, 14:43

... kiểu suy luận thường gặp là: Suy luận diễn dịch (hay gọi suy diễn) suy luận nghe có lí (hay suy luận có lí) a) Suy luận diễn dịch: Là suy luận theo quy tắc suy luận tổng quát (của lôgíc mệnh đề) ... quát (của lôgíc mệnh đề) Trong suy luận diễn dịch, tiền đề kết luận rút phải Trong lôgíc vị từ, quy tắc suy luận lôgíc mệnh đề ta thường gặp vận dụng hai quy tắc suy luận đây: 1) (x  X ) p ( ... X a  X p(a) mệnh đề 2) (x  X ) p ( x), a  X p(a ) Có nghĩa : Nếu P(x)  Q(x) với x  X P(a) Q(a) mệnh đề Ví dụ : Mọi số tự nhiên có tổng chữ số chia hết cho chia hết cho Số 4 323 có tổng chữ...

Ngày tải lên: 23/07/2014, 08:20

... Trẻ em hôm – Thế giới ngày mai Website hỗ trợ giảng dạy chăm sóc trẻ em www.mamnon.com Hoạt động 2: Lớp có góc nào? Cô trò chuyện với trẻ gợi ý để trẻ kể tên góc lớp đồ dùng đồ chơi góc Cô cho...

Ngày tải lên: 26/07/2014, 10:21