Tài liệu trình bày lý thuyết về suy luận logic mệnh đề; mô hình suy luận logic mệnh đề và một số bài tập vận dụng để giúp các bạn vận dụng, củng cố kiến thức hiệu quả hơn.
MƠ HÌNH SUY LUẬN LOGIC MỆNH ĐỀ Danh sách thành viên nhóm Huỳnh Thị Bé Huyền Hồng Yến Nhi Dương Trần Đan Thư Phạm Thị Trang Nguyễn Ngọc Bảo Trân I Lí luận Mơ hình Mơ hình gồm thành phần là: mục tiêu, thành phần quan hệ Mục tiêu MƠ HÌNH Thành phần Quan hệ Suy luận logic mệnh đề: Suy luận logic mệnh đề một trình rút kết luận, từ hay nhiều phán đốn hình thành, người ta xây dựng phán đoán để phản ánh đối tượng nhận thức rút kết luận Mô hình suy luận logic mệnh đề: Mơ hình suy luận logic mệnh đề mơ hình cần xác định điểm bắt Kết luận mệnh đề MH suy luận Phương pháp Quy luật Sự kiện, luật đầu, điểm kết thúc trình từ điểm bắt đầu dẫn đến điểm kết thúc Gồm thành phần: + Thành phần tiền đề (điểm xuất phát): tạo từ kiện luật Sự kiện vấn đề, việc xảy cịn luật mối quan hệ việc, vấn đề Không phải lúc luật cho biết trước (hay mối quan hệ việc, vấn đề), lúc cần hiểu biết, tri thức để tìm luật vấn đề Sự kiện luật phán đoán xuất phát để từ tìm tri thức mới, phán đoán đối tượng + Câu kết luận(điểm kết thúc): Là thân tri thức mới, phán đoán mà người ta suy luận rút từ tiền đề sử dụng phương pháp hợp lí tạo nên mệnh đề kết luận đắn có tính suy luận logic + Phương pháp(q trình): Ở phải vận dụng tri thức để xem xét, lựa chọn phương pháp phù hợp để từ tiền đề đưa đến kết luận cách hợp lí Đó tổng hợp quy luật logic kết hợp với cấu logic phán đoán để tạo quy tắc logic xác định cho phép người ta suy kết luận từ tiền đề II Vận dụng Bài tốn thực tế: Nếu Minh khơng học hành tử tế mẹ Minh giận Mặc khác Bình thường xuyên chơi khuya mẹ Bình giận Biết mẹ Bình mẹ Bình giận giữ Hồng Hơn (bạn thân Bình Minh) nhận than phiền Và cuối Hồng Hơn khơng nhận than phiền Vậy Minh học hành tử tế Bình khơng thường xun chơi khuya? Mơ hình hóa: Mơ hình hóa cách áp đặt toán thực tế vào mơ hình Từ đưa kết luận cần thiết Ta có kiện sau p: Minh học hành tử tế q: mẹ Minh giận s: Bình thường xuyên chơi khuya t: mẹ Bình giận r: Hồng Hơn nhận than phiền Từ ta có luật: ¬p→q s→t q˅t→r ¬r Kết luận p˄¬s ? hay ¬p→¬s Giải Bước Sự kiện ¬r q˅t→r ¬(q˅t) ¬q˄¬t ¬q ¬p→q Lý giả thuyết giả thuyết Modus tollens kiện bước 1,2 phủ định kiện bước Luật rút gọn kiện bước giả thuyết 10 11 p ¬t s→t ¬s p˄¬s Modus tollens kiện bước 5, Luật rút gọn kiện bước giả thuyết Modus tollens kiện bước 8, Kết hợp kiện bước 8, Minh học hành tử tế Bình khơng thường xun chơi khuya Vậy Từ tiền đề kiện luật, áp dụng các quy luật logic kết hợp với cấu logic phán đoán để tạo quy tắc logic xác định, cho phép người ta suy kết luận từ tiền đề Đây mơ hình suy luận logic mệnh đề ... Từ tiền đề kiện luật, áp dụng các quy luật logic kết hợp với cấu logic phán đoán để tạo quy tắc logic xác định, cho phép người ta suy kết luận từ tiền đề Đây mơ hình suy luận logic mệnh đề ...+ Câu kết luận( điểm kết thúc): Là thân tri thức mới, phán đoán mà người ta suy luận rút từ tiền đề sử dụng phương pháp hợp lí tạo nên mệnh đề kết luận đắn có tính suy luận logic + Phương... hợp để từ tiền đề đưa đến kết luận cách hợp lí Đó tổng hợp quy luật logic kết hợp với cấu logic phán đoán để tạo quy tắc logic xác định cho phép người ta suy kết luận từ tiền đề II Vận dụng Bài