tailieunhanh - Bài giảng Luận lý Toán học: Chương 2 - Nguyễn Thanh Sơn

Bài giảng Luận lý Toán học: Chương 2 do Nguyễn Thanh Sơn biên soạn giúp các bạn nắm những kiến thức về luân lý mệnh đề với những nội dung chính như cấu trúc của luận lý mệnh đề (LLMĐ), suy luận tự nhiên trong LLMĐ, ngữ nghĩa của LLMĐ. | LUẬN LÝ TOÁN HỌC (Mathematical Logic) Nguyễn Thanh Sơn Khoa KH&KT MT ĐH Bách Khoa TpHCM email : ntson@ http:\\\~ntson Chương 2 : Luận lý mệnh đề Nội dung I. Cấu trúc của luận lý mệnh đề (LLMĐ) II. Suy luận tự nhiên trong LLMĐ III. Ngữ nghĩa của LLMĐ I. Cấu trúc của luận lý mệnh đề Thuật ngữ[11] Luận lý mệnh đề (LLMĐ) có tên tiếng Anh : Propositional logic. Propositional Calculus. Từ calculus là một thuật ngữ chung cho bất kỳ lãnh vực toán học liên quan tới việc tính toán (calculating). Thí dụ : số học được gọi là calculus of numbers. Khảo sát 1 định nghĩa LLMĐ[11] Propositional Calculus là việc tính toán trên các mệnh đề (propositions hoặc statement). Mệnh đề là câu khai báo có giá trị đúng (T) hoặc sai (F). xuất hiện một số câu hỏi : - câu khai báo là gì (định nghĩa) ? - dựa vào đâu để đánh giá đúng sai ? Đối tượng của LLMĐ Các loại câu của ngôn ngữ tự nhiên (NNTN) được định nghĩa từ Văn Phạm của NNTN. LLMĐ chỉ khảo sát câu khai báo. Câu khai báo thỏa một số điều kiện được LLMĐ gọi là công thức nguyên (atom). Công thức nguyên (CTN) là phần tử cơ bản của LLMĐ. Câu khai báo Thí dụ : “trời sẽ mưa" là câu khai báo. “hãy đi ra khỏi lớp" không là câu khai báo. "2+2 = 4" là câu khai báo. "1 = 0" là câu khai báo. Đánh giá đúng sai Thí dụ : * Đại số là một ngành toán học. (đ) * Mọi người cần có một đức tin. (đ|s) * Mặt trời là một khối vuông. (đ|s) * “2+2 = 4”. (đ|s) * A. Lincoln đã là tổng thống của Mỹ. (đ) Công thức nguyên Công thức nguyên (atom) là câu khai báo : - được biểu diễn bằng một ký hiệu. - đánh giá được đ, s. - sự đánh giá đúng sai không thay đổi theo không gian & thời gian. Giá trị đúng sai của 1 câu khai báo được gọi là thực trị (truth value). Công thức nguyên Thí dụ : “Đoàn Thị Điểm là dịch giả của Chinh phụ ngâm” → được ký hiệu là A (trong LLMĐ). “Mặt trời xoay quanh trái đất”. → được ký hiệu là B. “Nếu hàm số f liên tục thì f khả vi”. → được ký hiệu là C. “Phong đi câu cá | LUẬN LÝ TOÁN HỌC (Mathematical Logic) Nguyễn Thanh Sơn Khoa KH&KT MT ĐH Bách Khoa TpHCM email : ntson@ http:\\\~ntson Chương 2 : Luận lý mệnh đề Nội dung I. Cấu trúc của luận lý mệnh đề (LLMĐ) II. Suy luận tự nhiên trong LLMĐ III. Ngữ nghĩa của LLMĐ I. Cấu trúc của luận lý mệnh đề Thuật ngữ[11] Luận lý mệnh đề (LLMĐ) có tên tiếng Anh : Propositional logic. Propositional Calculus. Từ calculus là một thuật ngữ chung cho bất kỳ lãnh vực toán học liên quan tới việc tính toán (calculating). Thí dụ : số học được gọi là calculus of numbers. Khảo sát 1 định nghĩa LLMĐ[11] Propositional Calculus là việc tính toán trên các mệnh đề (propositions hoặc statement). Mệnh đề là câu khai báo có giá trị đúng (T) hoặc sai (F). xuất hiện một số câu hỏi : - câu khai báo là gì (định nghĩa) ? - dựa vào đâu để đánh giá đúng sai ? Đối tượng của LLMĐ Các loại câu của ngôn ngữ tự nhiên (NNTN) được định nghĩa từ Văn Phạm của NNTN. LLMĐ chỉ khảo .

• Toán học
• Luận lý Toán học
• Bài giảng Luận lý Toán học
• Luận lý mệnh đề
• Cấu trúc luận lý mệnh đề
• Suy luận luận lý mệnh đề
• Ngữ nghĩa luận lý mệnh đề
• Tóm tắt Luận án Tiến sĩ
• Lý luận và phương pháp dạy học bộ môn Toán học
• Dạy học giải toán có lời văn
• Năng lực giao tiếp toán học
• Phương pháp dạy học môn Toán học
• Cấu trúc của luận lý mệnh đề
• Suy luận tự nhiên
• Ngữ nghĩa của luận lý mệnh đề
• Bài giảng Lý luận dạy học môn Toán 2
• Lý luận dạy học môn Toán 2
• Dạy học tính toán số
• Dạy học tính toán đại số
• Biểu thức đại số
• Bài giảng Lý luận dạy học môn Toán 1
• Lý luận dạy học môn Toán 1
• Phương pháp dạy học toán
• Phương tiện dạy học môn toán
• Tình huống điển hình trong dạy học Toán
• Phát triển năng lực tự học
• Rèn luyện kĩ năng về dạy học toán
• Luận án Tiến sĩ
• Luận án Tiến sĩ Khoa học giáo dục
• Hình thức giao tiếp toán học
• Hoạt động dạy học môn Toán
• Quản lý hoạt động dạy học môn Toán
• Thực trạng quản lý dạy học môn Toán
• Giải pháp quản lý dạy học môn Toán
• Phương pháp dạy học môn Toán
• Dạy học Toán trung học phổ thông
• Dạy học giải bài toán
• Dạy học tri thức phương pháp
• Dạng toán có thuật giải
• Luận văn Thạc sĩ Khoa học giáo dục
• Ứng dụng nguyên lý Dirichlet
• Rèn luyện năng lực suy luận toán học
• Quá trình dạy học môn Toán ở THCS
• Mathematical Logic
• Luận lý vị từ
• Ngữ nghĩa của luận lý vị từ
• Luận án Tiến sĩ Toán học
• Luận án Toán học
• Tiến sĩ Toán học
• Lý thuyết xác suất
• Thống kê toán học
• Các định lý ergodic
• Đề thi kết thúc học phần
• Đề thi kết thúc môn học
• Đề thi của trường ĐH Đồng Tháp
• Đề thi môn Lý luận dạy học toán ở tiểu học
• Lý luận dạy học toán ở tiểu học
• Phương pháp dạy học toán ở tiểu học
• Những suy luận có lý
• Suy luận toán học
• Tương tự trong toán học
• Quy nạp trong toán học
• Quy nạp toán học
• Toán học vật lí
• Luận văn Thạc sĩ
• Luận văn Thạc sĩ Toán học
• Định lý Van Aubel
• Bài toán hình học
• Phương pháp toán sơ cấp
• Vận dụng định lý van Aubel
• Phương pháp giải quyết vấn đề
• Quá trình giải quyết vấn đề
• Phương trình đường thẳng
• Phương pháp dạy học tiểu học
• Gán thực trị
• Toán Giải tích
• Định lý điểm bất động
• Không gian kiểu mêtric