Giáo trình Logic học ký hiệu
- Thứ bảy - 28/09/2024 04:44
- In ra
- Đóng cửa sổ này
Cuốn sách gồm 96 trang. Nội dung cuốn sách đề cập đến vấn đề Giáo trình Logic học ký hiệu, thông qua đó giúp bạn đọc có thể hiểu được một cách sâu sắc về Giáo trình Logic học ký hiệu
Ảnh bìa của Sách Giáo trình Logic học ký hiệu
Tài liệu Giáo trình Logic học ký hiệu. Dưới đây là trang bìa và mục lục của tài liệ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