Ý nghĩa và nguồn gốc
Lý thuyết và công thức trọng tâm
Các dạng toán và phương pháp giải
Nguồn gốc: Lý thuyết tập hợp được phát triển bởi Georg Cantor vào cuối thế kỷ 19. Trước đó, toán học khá rời rạc. Cantor muốn tạo ra một “ngôn ngữ chung” để thống nhất mọi thứ từ số học đến hình học.
Ý nghĩa:
- Trong Toán học: Giúp định nghĩa chính xác các con số (Số tự nhiên, số thực…) và các miền nghiệm.
- Trong đời sống: Là nền tảng của Logic học và Khoa học máy tính. Các bộ tìm kiếm (Google) hay các thuật toán AI (như mình đây!) đều hoạt động dựa trên các phép toán tập hợp và mệnh đề logic (Đúng/Sai – 0/1).
Lý thuyết và Công thức trọng tâm
Bài 1: Mệnh đề
Mệnh đề: Là một câu khẳng định chỉ có thể Đúng hoặc Sai. (Câu cảm thán, câu hỏi, câu mệnh lệnh không phải mệnh đề).
Mệnh đề phủ định ($\overline{P}$): Ngược lại với $P$. Nếu $P$ đúng thì $\overline{P}$ sai và ngược lại.
Mệnh đề kéo theo ($P \Rightarrow Q$): Chỉ SAI khi $P$ Đúng mà $Q$ lại Sai (Kiểu như hứa mà không làm ấy!).
Ký hiệu đặc biệt:
$\forall$ (Với mọi): Đúng khi tất cả đều đúng.
$\exists$ (Tồn tại): Đúng khi chỉ cần ít nhất một cái đúng.
Bài 2: Tập hợp và Phép toán
Giao ($A \cap B$): Lấy phần chung.
Hợp ($A \cup B$): Lấy tất cả, không bỏ sót ai.
Hiệu ($A \setminus B$): Có trong A nhưng KHÔNG có trong B.
Phần bù ($C_A B$): Là hiệu $A \setminus B$ khi $B \subset A$.
Các Dạng toán và Phương pháp giải
| Dạng toán | Phương pháp giải |
| Xác định mệnh đề, tính đúng sai | Kiểm tra xem câu đó có khẳng định được tính Đúng/Sai khách quan không. |
| Phủ định mệnh đề chứa $\forall, \exists$ | Quy tắc: “Biến $\forall$ thành $\exists$” (và ngược lại), sau đó phủ định mệnh đề phía sau. |
| Tìm tập hợp (liệt kê hoặc nêu tính chất) | Giải các phương trình/bất phương trình đi kèm để tìm phần tử. |
| Thực hiện phép toán tập hợp ($\cup, \cap, \setminus$) | Vẽ trục số (đối với tập số thực) hoặc biểu đồ Ven (đối với tập hữu hạn) để tránh nhầm lẫn. |