Giáo trình Logic học ký hiệu

📖 MỤC LỤC CHI TIẾT SÁCH GIÁO TRÌNH LOGIC HỌC KÝ HIỆU

CHƯƠNG 1. SỰ HÌNH THÀNH VÀ PHÁT TRIỂN CỦA LOGIC HỌC KÝ HIỆU

• Sự hình thành tư tưởng logic học trước A-ri-xtốt Trang 6
• Logic học A-ri-xtốt Trang 7
• Logic học của Phran-xi Bê-cơn Trang 10
• Logic học của Rê-ne Đê-các-tơ Trang 10
• Logic học của Lép-nít Trang 11
• Logic toán của Đgiôn Bull Trang 12

CHƯƠNG 2. PHÉP TÍNH BẢNG CỦA LOGIC MỆNH ĐỀ

• Mệnh đề và hình thức mệnh đề Trang 13
• Ngôn ngữ của logic mệnh đề Trang 15
• Bảng giá trị của các phép logic Trang 17
• Bảng giá trị của công thức mệnh đề Trang 20
• Các công thức tương đương Trang 21
• Quy tắc thay thế tương đương Trang 27
• Công thức đồng nhất chân và đồng nhất giả Trang 29

CHƯƠNG 3. DẠNG CHUẨN TẮC CỦA CÔNG THỨC MỆNH ĐỀ

• Khái niệm dạng chuẩn tắc Trang 33
• Dạng chuẩn tắc hội, dạng chuẩn tắc hội hoàn toàn Trang 34
• Suy diễn logic và hệ quả logic Trang 38
• Dạng chuẩn tắc hội rút gọn Trang 41
• Dạng chuẩn tắc tuyển và dạng chuẩn tắc tuyển hoàn toàn Trang 46
• Dạng chuẩn tắc tuyển rút gọn Trang 49

CHƯƠNG 4. MỘT SỐ HỆ THỐNG HÌNH THỨC CỦA LOGIC MỆNH ĐỀ

• Phép tính tự nhiên của logic mệnh đề Trang 53
• Phép tính tiên đề của logic mệnh đề Trang 83
• Tài liệu tham khảo Trang 95