Giải quyết các vấn đề logic là một hoạt động giải trí và bổ ích. Điểm đặc biệt của nó là ban đầu chỉ có một tuyên bố sai và đúng, và không có công thức. Chúng ta hãy xem xét một số phương pháp giải pháp cơ bản, có phạm vi hiệu quả riêng.
Hướng dẫn
Bước 1
Phương pháp lập luận - đơn giản nhất - dựa trên lập luận tuần tự (phát sinh từ điều kiện của vấn đề), và xác minh của chúng là thật hay giả, và tất cả các tuyên bố tiếp theo đều dựa trên bản gốc đã được xác minh.
Ví dụ. Tổng số tuổi của hai mẹ con là 98 tuổi. Con gái chào đời khi mẹ tôi 22 tuổi. Cả hai đều bao nhiêu tuổi? Bài giải: Vì hiệu số tuổi của họ là 22 tuổi (tuổi mẹ đã có con gái) nên 98 - 22 = 76 (năm). Tuổi con gái gấp đôi tuổi con gái, khi đó 76: 2 = 38 (tuổi). Điều này có nghĩa là các bà mẹ 98 - 38 = 60 (tuổi).
Bước 2
Phương pháp bảng là một phương pháp trực quan ngụ ý xây dựng một bảng theo các điều kiện của bài toán đố và điền tuần tự vào các số 0 hoặc 1, tùy thuộc vào kết luận thu được (sai-đúng).
Ví dụ. Có một bình 8 lít chứa đầy nước.
Làm thế nào để đổ ra 4 lít nếu có các thùng rỗng có thể tích 3 và 5 lít? Phán quyết:
Bước 3
Phương pháp sơ đồ khối có thể áp dụng để giải các bài toán về vật chứa và trọng lượng và thuận tiện hơn nhiều so với phương pháp liệt kê các phương án (không cho phép chúng ta suy ra các quy tắc chung). Đầu tiên, các lệnh được hình thành (giống với các hoạt động được thực hiện), và sau đó trình tự sơ đồ của chúng được xây dựng. Đây là lưu đồ nổi tiếng trong lập trình dẫn đến giải pháp của vấn đề. Sự tiếp nối hợp lý của phương pháp này là phương pháp giải có sự hỗ trợ của máy tính. Bản chất của nó, trong việc chuyển thuật toán thu được sang ngôn ngữ lập trình.
Bước 4
Phương pháp giải đại số liên quan đến việc giải các hệ phương trình logic. Tất cả các tuyên bố phát sinh từ điều kiện của bài toán đều được chỉ định bằng chữ cái và được viết dưới dạng công thức. Giải hệ phương trình thu được (nhân với nhau), suy ra phát biểu đúng.
Bước 5
Một cách đồ họa để giải quyết hệ thống cũng có thể. Đối với điều này, một sơ đồ của các mối quan hệ logic ("cây điều kiện logic") được vẽ dựa trên các phương trình thu được của hệ thống. Hơn nữa, một tổng hợp lý ngụ ý phân nhánh và một tích có nghĩa là các điều kiện sau đây nối tiếp nhau. Quyết định đến từ phân tích. Điều này cũng bao gồm phương pháp vòng tròn Euler - việc xây dựng một lược đồ hình học phản ánh giao điểm hoặc sự kết hợp của các tập hợp.
Bước 6
Không kém phần thú vị là phương pháp chơi bida dựa trên lý thuyết về quỹ đạo.
Tuy nhiên, để xem xét chi tiết của nó, một bài báo riêng biệt, rất thú vị, sẽ được yêu cầu.
