Mô hình suy luận logic mệnh đề

Chia sẻ: Huỳnh Huyền | Ngày: | Loại File: PDF | Số trang:3

Thêm vào BST

Báo xấu

168
lượt xem 5
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

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.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Mô hình suy luận logic mệnh đề

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