Nội dung được xóa Nội dung được thêm vào
Di chuyển từ Thành viên:Nguyenthephuc/Test sang!
Dòng 464:
===Viết cấu trúc định nghĩa, định lí toán học===
===Giải bài toán bằng suy luận lôgic===
Thông thường khi giải một bài toán dùng công cụ của lôgic mệnh đề ta tiến hành theo các bước sau:
:''Bước 1:'' Phiên dịch đề bài từ ngôn ngữ đời thường sang ngôn ngữ của lôgic mệnh đề:
:* Tìm xem bài toán được tạo thành từ những mệnh đề nào.
:* Diễn đạt các điều kiện (đã cho và phải tìm) trong bài toán bằng ngôn ngữ của lôgic mệnh đề.
:''Bước 2:'' Phân tích mối liên hệ giữa điều kiện đã cho với kết luận của bài toán bằng ngôn ngữ của lôgic mệnh đề.
:''Bước 3:'' Dùng các phương pháp suy luận lôgic dẫn dắt từ các điều kiện đã cho tới kết luận của bài toán.
 
'''Ví dụ:'''
 
Tại [[Tiger Cup 98]] có bốn đội lọt vào vòng bán kết: Việt Nam, Singapor, Thái Lan và Inđônêxia. Trước khi thi đấu vòng bán kết, ba bạn [[Thành viên:DHN|Dụng]], [[Thành viên:Nguyễn Thanh Quang|Quang]], [[Thành viên:Tttrung|Trung]] dự đoán như sau:
:''Dụng:'' Singapor nhì, còn Thái Lan ba.
:''Quang:'' Việt Nam nhì, còn Thái Lan tư.
:''Trung'': Singapor nhất và Inđônêxia nhì.
 
Kết quả, mỗi bạn dự đoán đúng một đội và sai một đội. Hỏi mỗi đội đã đạt giải mấy?
 
''Giải:''
 
Kí hiệu các mệnh đề:
:* d<sub>1</sub>, d<sub>2</sub> là hai dự đoán của Dụng.
:* q<sub>1</sub>, q<sub>2</sub> là hai dự đoán của Quang.
:* t<sub>1</sub>, t<sub>2</sub> là hai dự đoán của Trung.
 
Vì Dụng có một dự đoán đúng và một dự đoán sai, nên có hai khả năng:
:* Nếu G(d<sub>1</sub>) = 1 thì G(t<sub>1</sub>) = 0. Suy ra G(t<sub>2</sub>) = 1. Điều này vô lí vì cả hai đội Singapor và Inđônêxia đều đạt giải nhì.
:* Nếu G(d<sub>1</sub>) = 0 thì G(d<sub>2</sub>) = 1. Suy ra G(q<sub>2</sub>) = 0 và G(q<sub>1</sub>) = 1. Suy ra G(t<sub>2</sub>) = 0 và G(t<sub>1</sub>) = 1.
 
Vậy Singapor nhất, Việt Nam nhì, Thái Lan ba còn Inđônêxia đạt giải tư.
 
===Giải bài toán thực tiễn===