LUẬN LÝ TOÁN HỌC (Mathematical Logic) 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@cse hcmut edu vn http \\www cse hcmut edu vn\~ntson * Chương 1[.]
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@cse.hcmut.edu.vn http:\\www.cse.hcmut.edu.vn\~ntson ntsơn NỘI DUNG Chương Tổng quan Chương Luận lý mệnh đề (propositional logic) Chương Luận lý vị từ (predicates logic) Chương ntsơn Chương Tổng quan ntsơn Định nghĩa Logic[16] Tự điển “Concise Oxford English Dictionary” định nghĩa logic : “Khoa học lý luận (reasoning), chứng minh (proof), suy nghĩ (thinking), suy luận (inference)“ Logic giúp ta phân tích lý luận sai Dĩ nhiên số người không cần biết logic lý luận được, biết dễ dàng nhận lý luận khơng có giá trị Chương ntsơn What logic isn’t[16] Logic không qui luật tuyệt đối điều hành vũ trụ Tương tự hình học Euclide, người ta tưởng qui luật phổ quát Nhưng bây giờ, người ta biết khơng phù hợp với khơng gian Chương ntsơn Argument[16] Lập luận (Arguments) Một lập luận (theo Monty Python sketch) chuỗi phát biểu liên kết để tạo nên phát biểu Có nhiều kiểu lập luận Lập luận suy diễn (deductive argument) xem xác thuyết phục Chương ntsơn Argument[16] Lập luận suy diễn có giai đoạn : tiền đề (premises) suy luận (inference) kết luận (conclusion) Chương ntsơn Argument[16] Bảng “thực trị” cho implication “” Premise Conclusion Inference P Q PQ đ đ s s đ s đ s đ s đ đ Chương ntsơn Argument[16] Nếu tiền đề suy luận kết luận phải (dịng 1.) Nếu tiền đề kết luận sai suy luận khơng có giá trị (dịng 2.) Nếu tiền đề sai suy luận kết luận sai (dịng 3, 4.) Chương ntsơn Argument[16] Một thí dụ với tiền đề sai, lý luận đến kết luận Thí dụ : Tiền đề : Tất loài cá sống biển Tiền đề : Rái cá cá Kết luận : Vậy rái cá sống biển Chương ntsơn ... tên formalism Chương ntsơn Lịch sử logic[ 12 ] Từ symbolic logic xuất ấn năm 18 47 có tên The Mathematical Analysis of Logic G Boole Formal Logic A De Morgan Logic lúc xem phần toán học Đánh dấu... philosophical logic Symbolic logic cịn có tên metamathematics Sau symbolic logic có tên Mathematical logic Giuseppe Peano đặt Mathematical logic logic mơ hình nghiên cứu cách tốn học Chương ntsơn Logic. .. Logic Thuật ngữ : Luận lý học(tiếng Việt) Logos (tiếng Hy lạp) Hướng tiếp cận truyền thống, logic ngành triết học Ngày (từ kỷ 19 ), logic ngành toán học Chương ntsơn Logic Thuật ngữ symbolic logic