Quyển sách tham khảo "Logic toán" này nhằm 2 mục đích trình bày các kiến thức về Logic toán; vận dụng Logic toán vào dạy học toán ở trường phổ thông. Mời các bạn cùng tham khảo nội dung phần 1 dưới đây. | Logic toán sách tham khảo TRƯỜNG ĐẠI HỌC THỦ DẦU MỘT O O Ọ T N N SÁCH THAM KHẢO LOGIC TOÁN Tài liệu dành cho sinh viên ngành sư phạm toán Biên soạn ThS. Nguyễn Thành Long chủ biên ThS. Lê Thành Đạt Bình Dƣơng Tháng 06 Năm 2016 -1- Logic toán sách tham khảo -2- Logic toán sách tham khảo MỤC LỤC MỞ ĐẦU . - 7 - CHƯƠNG 1 ĐẠI SỐ MỆNH ĐỀ. - 9 - Mệnh đề . - 9 - Định nghĩa . - 9 - Phân loại mệnh đề . - 10 - Các phép toán mệnh 10 - Phép phủ định . - 10 - Phép hội . - 11 - Phép tuyển . - 12 - . Phép tuyển chọn . - 13 - Phép kéo theo . - 13 - Phép tƣơng đƣơng phép kéo theo hai chiều . - 14 - Biểu thức mệnh đề .- 15 - Định nghĩa . - 15 - Hằng đúng - Hằng sai . - 16 - Mệnh đề hệ quả. - 18 - Tƣơng đƣơng Logic . - 19 - Các công thức tƣơng đƣơng logic . - 20 - Một số quy tắc thay thế . - 21 - Mệnh đề liên hợp .- 22 - Các mệnh đề liên hợp . - 22 - Qui tắc phản đảo . - 22 - Luật logic .- 23 - Mệnh đề amp lý thuyết tập hợp .- 24 - Mệnh đề amp tập hợp . - 24 - Phép toán mệnh đề amp ánh xạ . - 25 - Biểu thức logic và mạch điện .- 27 - Phƣơng trình logic .- 28 - BÀI TẬP CHƯƠNG 1 . - 32 - PHẦN ĐỌC THÊM . - 37 - CHƯƠNG 2 ĐẠI SỐ VỊ TỪ. - 39 - Vị từ Hàm mệnh đề .- 39 - Các phép toán logic trên vị từ hàm mệnh đề .- 42 - Phủ định của một vị từ . - 42 - Phép hội của hai vị từ . - 42 - -3- Logic toán sách tham khảo Phép tuyển của hai vị từ . - 43 - Phép kéo theo của hai vị từ . - 43 - Phép tƣơng đƣơng . - 43 - Mệnh đề có lƣợng từ có chứa ký lƣợng .- 44 - Mệnh đề có chứa lƣợng từ tồn tại . - 45 - Mệnh đề có chứa lƣợng từ với mọi . - 45 - Chân trị của mệnh đề tồn tại mệnh đề tổng quát . - 45 - Các phép toán về mệnh đề có lƣợng từ . - 48 - Phủ định mệnh đề có lƣợng từ . - 49 - BÀI TẬP CHƯƠNG 2 . - 51 - PHẦN ĐỌC THÊM . - 58 - LOGIC BA TRỊ .- 58 - LOGIC MỜ .- 61 - CHƯƠNG 3 SUY LUẬN VÀ .
