LUẬN LÝ TOÁN HỌC (Mathematical Logic)

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)

Chương 1
ntsơn

Chương 1. Tổng quan

ntsơn

Thảo luận nhóm 5 phút
•  Nhất quán & Mâu thuẫn -  Định nghĩa 2 khái niệm trên -  Sự khác nhau và giống nhau. -  Một số thí dụ minh họa. •  Mỗi nhóm viết ra ý kiến và trình bày trước lớp.

Chương 1
ntsơn

Lịch sử logic[12]
Logic là nền tảng của tất cả lý luận “có lý”. Người Hy lạp cổ đã nhận ra vai trò của logic trong toán học và triết học. Một luận đề có tính hệ thống về logic xuất hiện đầu tiên trong tác phẩm Organon của Aristotle. Tác phẩm này có ảnh hưởng lớn