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

... 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

... 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 ... sát Các khoản 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 2002 có quy định Khoản Điều nêu bao quát khoản chi ngân sách: “Chi ... trả nợ Nhà nước; chi viện trợ khoản chi khác theo quy định pháp luật Các khoản thu khoản chi ngân sách nhà nước có mối liên hệ biện chứng, phụ thuộc tương tác thực theo nguyên tắc toàn diện cần...

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

... dungBài tập12/tr13 Câu Không mệnh đề - 1M 15 3 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 ... MĐ P Q mệnh đề trả lời -Chính xác hoá *Bài 17 /14 SGK Treo bảng phụ tập 17 lên bảng, cho HS hoạt động theo nhóm -Gọi đại diện nhóm nêu dáp án câu *Bài 13 /13 SGK mệnh đề phủ định mệnh đề là: a.Tứ ... 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...

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

... cùng: nhà hoc làm tập 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 ... xét sữa sai 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í ... đề Q(x)=>P(x) (2) tương tự mệnh đề 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 đủ để...

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

... 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 minh định lí Thế chứng minh đl? Phép chứng minh đợc gọi chứng minh ... 4: Chứng minh định lí gián tiếp-Phơng pháp phản chứng Hoạt động GV Gv nêu 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 ... lẻ,nên n=2k +1, k Do đó: n = (2k + 1) 2 =4k(k +1) chia hết cho CM đl lấy x X bất kì,sao cho P(x) đúng,bằng suy luận kiến thức ta suy Q(x) Ghi bảng Chứng minh trực tiếp đl:sgk Ví dụ: Cho P(n):...

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 " Ví dụ 2: CMR với x1 ta có: arctgx+arcsin Giải 2x +x = +arctg x 1+ x Xét hàm số y=arctgx+arcsin 2x +x D=R\ {1} +arctg x 1+ x Ta có: y'=(arctgx+arcsin 2x +x )' +arctg x 1+ x Chủ đề 4: Sử dụng ... thêm ví dụ sau: Ví dụ 5: Tìm m để phơng trình sau nghiệm với x sinmx+cosmx =1 Giải Đặt f(x)= sinmx+cosmx f ' (x) = 0, x (1) f(x) =1, với x f (450 ) = (2) Giải (1) : Ta đợc: m.cosx sinm-1x-msinx.cosm-1x=0, ... hàm tính chứng minh đẳng thức = (arctgx)'+ (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...

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

... z 1 + + 2 x y z = 1 + + x y z áp dụng * với x =1 , y=n , z= -(n +1) Ta có 1+ 1+ n n +1 + 1+ < + n +k 1+ - 1 + n (n + 1) ( n + 1) n + k +1 =1+ n +1 - 1 1 +1 + + n +1 n +1 n + 1 kn + n + < k +1+ ... (1- ) (1- 32 ) (1- (n + 1) 2 ) u 21 u u n 1 ) (1- ) (1- (n + 1) ) (1+ 1 ) (1+ ) (1+ (n + 1) ) 34 ( n + 2) 1. 2.3 n ( n + 2) 1 = 2.3.4 ( n +1) 2.3.4 ( n +1) = 2.(n +1) = + 2(n +1) >0,5 Vậy (1- 1 ) (1- ... biệt u1 , u2 ,., un khác >1 Chứng minh : (1- 1 ) (1- ) (1- ) > 0,5 u1 u u n Giải : không tính tổng quát giả sử u1 < u2 i +1 ( Do ui phân biệt ) (1- = (1- 21 1 1 1 ) (1- ) (1- ) > (1- ...

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 18 00 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 2 010 - 2 011 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 ... đờng thẳng cắt tiếp tuyến đờng tròn A E F cắt đờng tròn C D Chứng minh tứ giác CDEF nội tiếp Năm học 2 010 - 2 011 Phơng pháp chứng minh đa giác nội tiếp đờng tròn - Biên soạn: Trần Duy Vũ Bài...

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

... NhaTrang Độ dài 270 11 0 16 0 250 95 14 5 90 70 50 16 0 17 0 10 0 14 5 17 0 60 16 0 16 0 10 0 60 230 220 11 0 - 17 - Số hiệu Đường 28 703 28 14 B 1A 1A 1A 1A 24 24 26 1A 1A 14 1A 19 1A 1A 1A 615 26 1A  Báo cáo ... 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 ... 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...

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

... ⎝ a + b a + c ⎠ 16 ⎜ a b c ⎠ 1 1⎛ 1 ⎞ ⎛ 1 ⎟ ⎟ ⎜ ⎜ = ≤ ⎜ + ⎟≤ ⎜ + + ⎠ ⎟ ⎟ ⎜ a + 2b + c (a + b) + (b + c) ⎝ a + b b + c ⎠ 16 ⎝ a b c ⎟ 1 1⎛ 1 ⎞ ⎛ 1 2⎞ ⎟ ⎟ ⎜ = ≤ ⎜ + ⎟ ⎟ ⎜ ⎟ ⎟ ≤ 16 ⎜ a + b + c ⎠ ... Bài 3: 1 + + = Chứng minh rằng: a b c 1 + + 1 2a + b + 2c a + 2b + c a + b + 2c Cho a,b,c số dương thỏa mãn Bài giải: Biến đổi áp dụng bất đẳng thức cộng mẫu số ta được: 1 1⎛ 1 ⎞ ⎟ ≤ ⎛ + + 1 ⎟ ... b2 + c2 = Chứng minh rằng: a3 b3 c3 + + ≥ a+b b+c c+a Bài 4: Cho a, b,c ba số dương thỏa mãn điều kiện ab + bc + ca = Chứng minh rằng: a b c + + ≤ (1) 2 2 1+ a 1+ b 1+ c Hướng dẫn: + Sử dụng giả...

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

... xy 18 24 xy x z x z    33  zx zx y z y z    33  16 yz 16 yz x z y x z y     44  12 xyz 12 xyz 13 x 13 y 13 x 13 y 13 13 13  2 2 12  18 24 18 24 18 24 13 y 13 z 13 y 13 z ...   16  x y   z x     1 1 1 1       x  y  z 16  x y y z    Tương tự: 1 1 1 1       x  y  z 16  x y z z    Cộng theo vế bất đẳng thức trên, ta có: P 1 1 4 ...  x1   x2    x1 x2   x1  x2   x12 x2  x1  x2    x1  x2    2    x1  x2      f ( x1 )  f ( x2 ) x1 x2  x12 x2    x  x x  4x  (Do    12 2  x12 x2  x12...

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

... 5c  1    25      11 a  10 b  11 c 11 a  11 b  10 c 10 a  11 b  11 c       1  22n 1  2n 1  n 1  2n 1  n 1 n 1 n 1 n 1 n 1 n 1   a   b   c  a   b  1 c 1 a  1 b ...  1 22k 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  22n 1  2n 1  2n 1  2n 1  2n 1 2n 1 2n 1 2n 1 2n 1 ... 2k 2k 2k  2a 1b 1c 1a 2b 1c 1a 1b 2c    3 3 3 3       1  22n 1  2n 1  2n 1  2n 1  2n 1 2n 1 2n 1 2n 1 2n 1 2n 1  2a 1b 1c 1a 2b 1c 1a 1b 2c    3...

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

... th c x y a=b=c =1/ 3 ti p n c a đ th hàm s 4x 99 x − y = f ( x) = t i m có hồnh đ x =1/ 3 : y = ) 10 0 x − 2x + 4x 99 x − (3 x − 1) 2 (15 − 11 x ) Ta có : − = ≥ ∀x ∈ (0 ;1) 10 0 x − 2x + 10 0( x − x + 5) ... 10 Cho a, b,c>0 Cmr: 3 3 11 3a + ( b + c ) 3b3 + ( a + c ) 3c3 + ( b + a ) 11 Cho a,b,c>0.Cmr: a3 + b3 + c3 ≥ a + (b + c ) b + (c + a) c + (a + b) 12 Cho a,b,c đ dài c nh tam giác Cmr: 1 1 1 ... (3 x − 1) (2 x − 1) y = 18 x − Ph i ta có đánh giá: f ( x) − (18 x − 3) = ≤ (1) ? x − x2 Vì a,b,c đ dài ba c nh tam giác th a mãn a + b + c = 1, gi s a=max{a,b,c} 1 = a + b + c > a ⇒ a < suy a,...

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

... 1 a 1 b a+b Kết quả: S = Bài 5: Cho a, b, C số dương thỏa mãn a + b + c = Chứng minh rằng: 1 + + ≥ 1+ a 1+ b 1+ c Nhận xét : (1 + a ) + (1 + b) + (1 + c) = Áp dụng bất đẳng thức dạng ta được: 1 ... a + b a + c ⎠ 16 ⎜ a b c ⎠ 1 1⎛ 1 ⎞ ⎛ 1 ⎟ ⎟ ⎜ ⎜ = ≤ ⎜ + ⎟ ⎟ ⎜ ⎜ ⎟ ⎟ ≤ 16 ⎝ a + b + c ⎠ a + 2b + c (a + b) + (b + c) ⎝ a + b b + c ⎠ ⎛ 1 1⎜ 1 ⎞ ⎛ 1 2⎞ ⎟ ⎟ ⎜ = ≤ ⎜ + ⎟ ⎟ ⎜ ⎟ ⎟ ≤ 16 ⎜ a + b + c ... Bài 3: 1 + + = Chứng minh rằng: a b c 1 + + 1 2a + b + 2c a + 2b + c a + b + 2c Cho a,b,c số dương thỏa mãn Bài giải: Biến đổi áp dụng bất đẳng thức cộng mẫu số ta được: 1 1⎛ 1 ⎞ ⎟ ≤ ⎛ + + 1 ⎟...

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

... lơgic tập hợp để diễn tả mệnh đề xác định tính - sai b) Phát biểu mệnh đề đảo của P chứng tỏ mệnh đề đảo Sử dụng thuật ngữ “khi khi” phát biểu gộp hai mệnh đề thuận đảo Bài 14 : Trong tập sau, ... Email: tranhung1 810 2000@yahoo.com BÀI TẬP ÔN CHƯƠNG I Cho mệnh đề A : "∀x ∈ R, x2 − 4x + > 0" a) Mệnh đề A hay sai b) Lập mệnh đề phủ định mệnh đề A Bài 2: Cho hai tập hợp A = [1 ; 5) B = (3 ; ... 10 – Chương I + Q(x)=” x + Biên sọan: Trần Văn Hùng - THPT Nguyễn Bỉnh Khiêm Email: tranhung1 810 2000@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 đề...

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

... sinh gii toỏn gúp phn nõng cao cht lng dy v hc, tụi ó ỏp dng ti ti cỏc lp 12 A3, 12 A1 hai nm hc 2 011 -10 12, 2 012 -2 013 Khi c tip cn vi chuyờn ny, hc sinh hc rt hng thỳ v cú hiu qu Bng cỏch kim ... ữ ữ ữ b +1 c +1 a +1 r r u r r u r r u + v + w u + v + w , ta cú p dng bt ng thc 1 81 P (a + b + c) + + + ữ (a + b + c) + (a + b + c + 3)2 b +1 c +1 a +1 t t = a + b + c , suy t 3(ab ... + y 3 .1 + 1. y + 1 + y = + y (1) (2) T (1) v (2) suy P + y + y = + (3) Du = (3) xy du = (1) v (2) cựng xy ra, tc l y 0, + y y= y = Vy P = + x = 0, y = Chỳ ý i vi hc sinh lp 12 , cú...

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 đề) ... (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) Có nghĩa p(x) với x  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...

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

... Website hỗ trợ giảng dạy chăm sóc trẻ em www.mamnon.com - Các thăm tên góc III Tiến Hành: Hoạt động 1: Ngôi nhà bé Cô bé hát vận động theo nhạc hát: Ngôi nhà bé Trò chuyện với bé thành viên nhà mẫu...

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