Mệnh đề và tập hợp -Cơ sở của suy luận logíc

Mệnh đề và tập hợp -cơ sở của suy luận logíc I.Tập hợp: a) Khái niệm: Tập hợp là khái niệm cơ bản của Toán học! b) Phương pháp xác định tập hợp +) Phương pháp liệt kê:, +)Chỉ ra phần tử đặc trưng cho tập hợp: c)Biểu diễn tập hợp +)Dùng biểu đồ Venz +)Với tập số ta có thể biểu diễn trên trục số. d)Phép toán: Cho hai tập hợp . Khi ấy: i/Tập con kí hiệu: +)Điều kiện tương đương : Nhận xét: Tập là con của mọi tập hợp -Ví dụ: +)Hai tập hợp bằng nhau: ii/Giao của hai tập hợp kí hiệu: +)Điều kiện tương đương: iii/Hợp của hai tập hợpkí hiệu: +)Điều kiện tương đương: iv/Hiệu của hai tập hợp kí hiệu: +)Điều kiện tương đương: Đặc biệt khi thì được gọi là phần bù của trong -Ví dụ: 1) Cho ,, 2.Tìm tập xác định của: a) b) c), d) e) 3.Tìm tập nghiệm của : a) b) c) d) e) g) f) h) i) k) 4. Tìm tập nghiệm của các bất phương trình sau: a) b) c) d) 4.Tìm , và . Biết: a)và b) II.Toán mệnh đề 1.Một mệnh đề là phát biểu một khẳng định nào đó , chỉ nhận một giá trị trân lý xác định Hoặc đúng, hoặc sai. “Luật bài trung” 2.Một mệnh đề không thể nhận đồng thời hai giá trị vừa đúng và vừa sai “ Luật phi mâu thuẫn” 1 0 0 1 3.Mệnh đề phủ định: là mệnh đề đúng thì là phủ định của mệnh đềlà sai, và ngược lại! Mệnh đềđúng, nếuphần tử đều đúng, sai nếu một phần tử sai, hoặc đúng. -Ví dụ:1)Cho mệnh đề A: để “S” Tìm mệnh đề phủ định của mệnh đề của A? 2) Cho B: sao cho “Đ” Tìm mệnh đề phủ định của mệnh đề của B? 1)có tập nghiệm “S” 2) có nghiệm “Đ” 4.Phép toán cơ bản về mệnh đề Cho, là hai mệnh đề. Khi ấy ta có: 1 1 1 1 0 0 0 1 1 0 0 1 i/ Phép kéo theo: đglà mệnh đề “kéo theo” -Ví dụ: 1)Nếu HCNcólà hình vuông 1 1 1 1 0 0 0 1 0 0 0 1 2) Trong không gian “Đ” ii/Phép tương đương: làtương đương với -Ví dụ: 1. nhọn “Đ” 2. nhọn “S” 2.vuông tại “Đ” Ký hiệu phổ biến: và ký hiệu tồn tại +): Mọi thuộc ta có tính chất +):Tồn tại thuộc ta có tính chất -Ví dụ: 1.Phủ định của mệnh đề “mọi học sinh của lớp X” đều gỏi toán” là mệnh đề” Có ít nhất một học sinh của lớp X không gỏi toán” 2.Với ta luôn có: “S” 3. “S” 4.Với “Đ” 5.Với “Đ” 6.Cmr: Với, a) ta luôn có 7.Vớita có 8.Tìm nghiệm của: a) b) c) 9.Tìm tập nghiệm của: a) b) c) III.Tổng quan về suy diễn cơ bản trong toán học -Ta đã biết: Định lý toán học là những mệnh đề đúng có dạng. Trong đó là giả thiết, còn là kết luận, Chính bản thânvàcũng là các mệnh đề đúng. -Đkiện cần-Đkiện đủ +)Trong định lý , thì điều kiện cần để có, còn đkiện đủ để có . -Ví dụ:Xác định để pt có nghiệm duy nhất? Bài gải: -Đkiện cần: Nhận thấy vớita có là hàm chẵn Do đó nếu ptcó nghiệm thìcũng là nghiệm. Nên ptcó nghiệm duy nhất thay vào pt -Đkiện đủ: Với thì pt trở thành: (ko tm) Vậy không có giá trị nào để pt có nghiệm duy nhất. +) Nếu là một định lý, thì là định lý đảo. Khi ấy gọi là định lý thuận. +)Nếu tồn tại đồng thời vàđúng. Thì ta có Ta nói: là điều kiện cần và đủ để có và ngược lại là điều kiện cần và đủ để có. -Ví dụ: đều khi và chỉ khi . 1.Chứng minh trực tiếp Giải sử ta cần chứng minh mệnh đề đúng. b1/ Từ giả thiết là đúng b2/ Dùng suy diễn logic suy ra đúng. b3/ Kết luận đúng. -Ngoài cách chứng minh trực tiếp như trên ta có thể chứng minh một cách gián tiếp bằng: 2.Phương pháp phản chứng b1/ Giải sử: sai b2/ dùng suy diễn logic =>..=> sai (Trái gt !) b3/ Kết luận đúng.(đpcm !) -Ví dụ: 1)Xác định các giá trị của để có nghiệm? 2)Với . Cmr nếu thì Bài giải G/sử không khi ấy có dạng hoặc, hoặc với +) Nếu thì ta có không (Trái giải thiết!) +) Nếu thì ta có không(Trái giải thiết!) Vậy điều giải sử sai. Do đó nếu thì =>đpcm. 3.Phương pháp chứng minh quy nạp Để chứng minh mệnh đề đúng với b1/Kiểm tra mệnh đề với b2/ Giải sử mệnh đề đúng với ,với (gt quy nạp) b3/Ta đi chứng minh đúng . Kết luận: đúng với -Ví dụ Cmr:Với ta luôn có IV.Bài tập đề nghị: 1.Điều kiện cần để số nguyên là số nguyên tố là 2. Với Chứng minh rằng: 3.Nếu có tổng hai góc đối diện bằng thì nội tiếp đường tròn 4. Với 2 sốta luôn có: 5. Với Chứng minh rằng: 6. Với Chứng minh rằng: 7.Tính tổng: a) 8.Cho các tập hợp Cmr: i/ ii/ 9. Với là các tập hợp. Khẳng định nào đúng trong các khẳng định sau: a) b) c) d) 10.Chứng minh rằng: nếu 11.Nếu 12.Cho các tập hợp: Cmr: i/ ii/? 13.Tìm tập nghiệm của a) b) c) 14.Tìm tập xác định của: a) b) c) d) e) g) h) k) 15.Cho a) giải ptvới b)Xác định để pt có hai nghiệm dương phân biệt c)Xác định để pt có hai nghiệm âm phân biệt d)Trường hợp pt có hai nghiệm phân biệt. Tìm các giá trị của để: 16.Tìm tập nghiệm của: a) b) c) 17.Giải bất phương trình: a) b) c) 18.Tìm tập nghiệm của a) b) c)