ntsơn
LUẬN LÝ TOÁN HỌC
(Mathematical Logic)
Nguyễn Thanh Sơn
Khoa KHMT&CN ĐH Bách Khoa TpHCM
email : [email protected]
http:\\www.cse.hcmut.edu.vn\~ntson
ntsơn
Chương 1
NỘI DUNG
Chương 1. Tổng quan
Chương 2. Luận lý mệnh đề (propositional logic)
Chương 3. Luận lý vị từ (predicates logic)
ntsơn
Chương 1
Tài liệu tham khảo
[1] Encyclopia of AI. Vol 2. 1987 John Wiley & Sons. Inc
[2] 4proplogichandout.pdf (MIT courses)
[3] chương Propositional Logic trong quyển Logic in Computer Science
: Modelling and Reasoning about Systems Michael Huth & Mark
Ryan (reprinted 2006).
[3’] chương Predicates Logic trong quyển Logic in Computer Science :
Modelling and Reasoning about Systems Michael Huth & Mark
Ryan (reprinted 2006).
[4] DeductionI.pdf
[5] 7ruleshandout.pdf (MIT courses)
[6] chapter09.pdf
[7] Logic and proof (notes.pdf, slides.pdf)
[8] chương Binary decision diagrams trong quyển Logic in Computer
Science : Modelling and Reasoning about Systems Michael Huth &
Mark Ryan (reprinted 2006).

Chương 1
Bức tranh về logic
Tên trước kia của mathematical logic là symbolic
logic và metamathematics.
Thuật ngữ symbolic logic được dùng để đối kháng
với philosophical logic.
Mathematical logic là logic được mô hình và
nghiên cứu một cách toán học.
Mathematical logic là tên do Giuseppe Peano đặt.
ntsơn
Chương 1
Bức tranh về logic
Về cơ bản mathematical logic vẫn là logic của
Aristotle.
Từ quan điểm ký hiệu thì mathematical logic là
một ngành của đại số trừu tượng (abstract
algebra).
ntsơn
Chương 1
Bức tranh về logic
[Factasia]
Tổng quan :
Logic là cơ sở hợp lý và là nền tảng cho
toán học,
khoa học và
kỹ thuật, đặc biệt cho
công nghệ thông tin.
ntsơn
Chương 1
Bức tranh về logic

Câu hỏi
:
Làm sao biết lý luận trên là đúng hay sai.
ntsơn
Chương 1
Mục tiêu của luận lý toán học
•Khảo sát lý luận trong thế giới thực.
–Tương quan giữa các phát biểu của 1 ngôn
ngữ hình thức hoặc phi hình thức
(consistency, entailment, ).
• Mô hình hóa lý luận của thực tế.
–Hệ thống chứng minh (proof).
ntsơn
Chương 1
Phân loại luận lý toán học
[1]
• Inductive logic.
Logic có quá trình lý luận từ những trường hợp
cá biệt suy ra một kết luận tổng quát.
• Deductive logic
.
Logic có quá trình lý luận từ một phát biểu tổng
quát suy ra một kết luận cá biệt.
ntsơn
Chương 1
Inductive logic
[1]
• Được dùng trong các tình huống không đầy đủ
thông tin.
•Thời gian lấy thông tin lâu.

Định nghĩa luận lý toán học
[2]
• Cú pháp cho biết cái gì được logic chấp nhận.
•Ngữ nghĩa
là ý nghĩa thực tế của các đối tượng
trong logic.
• Cú pháp là hình thức
còn ngữ nghĩa là nội dung
của các đối tượng trong logic.
•Hệ thống chứng minh
sản sinh các đối tượng
mới từ các đối tượng có sẵn.
ntsơn
Chương 1
Cấu trúc khảo sát
•Mỗi logic được khảo sát theo trình tự sau :
–Cấu trúc.
–Ngữ nghĩa.
– Suy luận.
ntsơn
Chương 1
Một vài thuật ngữ
[7]
Statements ∈ language
Statements are true, false or meaningless
Declarative assertions
Informal (e.g. English) or formal language (eg. C, Java)
Entailment = logical consequence
Logical proofs model human reasoning
Interpretations and Validity