VI. Áp dụng
1. Xác định tính mâu thuẫn của một tập công thức 2. Trả lời câu hỏi đúng, sai 2. Trả lời câu hỏi đúng, sai
3. Tìm kiếm câu trả lời
VII. Giản lược tiền đề
1. Giản lược tiền đề là quy luật logic 2. Giản lược tiền đề một chiều 2. Giản lược tiền đề một chiều
3. Giản lược tiền đề yếu
Chương 5 RELEVANT LOGIC
I Dẫn nhập
II. Nghịch lý của suy diễn logic và phép toán kéo theo
1. Các nghịch lý
2. Các cố gắng giải quyết nghịch lý
III. Suy diễn logic – một quan hệ về nội dung, hay là về thông tin giữa các mệnh đề các mệnh đề
1. Các đặc điểm của quan hệ suy diễn logic
2. Thông tin của mệnh đề. Nội dung logic là thông tin 3. Nguyên nhân của nghịch lý suy diễn logic (cổđiển) 3. Nguyên nhân của nghịch lý suy diễn logic (cổđiển)
IV Quan hệ suy diễn logic relevant
V Xác định về mặt hình thức nguyên nhân nghịch lý của khái niệm kéo theo logic cổ điển. Hệ logic tự nhiên relevant kéo theo logic cổ điển. Hệ logic tự nhiên relevant
1. Nguyên nhân nghịch lý của khái niệm kéo theo logic cổ điển về mặt
hình thức
2.Hệ suy luận tự nhiên relevant
TÀI LIỆU THAM KHẢO
1. Nguyễn Đức Dân. Logic và Tiếng Việt, NXB Giáo dục, Hà Nội 1996 2. Nguyễn Đức Đồng, Nguyễn Văn Vĩnh. Logic toán, NXB Thanh Hóa
3. Phạm Đình Nghiệm. Cơ sở phương pháp luận của lập trình logic, Luận án Phó tiến sĩ triết học, Moskva 1991 (Tiếng Nga).
4. E. Mendencon. Nhập môn logic toán, NXB Khoa học, (Tiếng Nga).
5. M. Genesereth. Computational logic . http://logic.stanford.edu/~cs157/notes/ 6. E.K. Voisvillo. Khía cạnh triết lý-nhận thức luận của logic relevant, Moskva 1988
(Tiếng Nga).
7. A.N. Kongomorov, A.G. Dragalin. Nhập môn logic toán, NXB Đại học Tổng hợp Moskva, 1982 (Tiếng Nga).
8. Huge. Introduction to logic
9. P. Tidman, H. Kanane. Logic and Philosophy. A modern introduction, Wadsworth Publishing Company.