Sách tham khảo Logic toán gồm có 4 chương, trình bày cụ thể như sau: Đại số mệnh đề; Đại số vị từ; Suy luận và chứng minh; 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 2 dưới đây. | Logic toán sách tham khảo ƢƠNG 3 SUY LUẬN VÀ ỨNG M N Nội dung trọng tâm Khái niệm về suy luận toán học Một số quy tắc suy luận Các phƣơng pháp chứng minh và biết vận dụng các phƣơng pháp này để chứng minh một bài toán cụ thể. Suy luận đƣợc xem là một trong những nền tảng xây dựng nên các ngành khoa học tự nhiên. Từ xƣa đến nay nhờ suy luận mà ngƣời ta có thể nhận thức đƣợc cái chƣa biết từ những cái đã biết. Suy luận còn là cơ sở của sự sáng tạo. Từ các phán đoán đƣa đến các chứng minh để chấp nhận hay bác bỏ một vấn đề nào đó. Suy luận Suy luận - Suy luận hợp logic Suy luận là một quá trình suy nghĩ để rút ra mệnh đề mới kết luận của suy luận từ một hay nhiều mệnh đề đã có các tiền đề . Cho P Q là hai mệnh đề hoặc biểu thức mệnh đề Nếu ta lập mệnh đề P Q Do P vậy Q Từ P suy ra Q thì ta đã suy luận từ tiền đề P để có kết luận Q. Có hai khả năng a P Q 1 hằng đúng Khi đó ta có một phép suy diễn hay một phép suy luận hợp logic với qui tắc suy diễn P là trong đó Q là kết luận logic của P . Q Trong các qui tắc suy diễn thì các giả thiết đƣợc viết phía trên dấu gạch ngang kết luận đƣợc viết phía dƣới. b P Q không là hằng đúng tức là có thể chỉ ra một trƣờng hợp mà P đúng nhƣng Q sai phép suy luận là không hợp logic tức là Q không phải là kết luận logic của P . - 65 - Logic toán sách tham khảo Những suy luận có dùng các qui tắc suy diễn còn gọi là suy luận có cơ sở. Khi tất cả các suy luận có cơ sở là đúng thì sẽ dẫn đến một kết luận đúng. Một suy luận có cơ sở có thể dẫn đến một kết luận sai nếu một trong các tiền đề đã dùng trong suy diễn là sai. Phân loại suy luận - Suy luận diễn dịch suy diễn là suy luận theo những qui tắc qui tắc suy diễn xác định rằng nếu các tiền đề là đúng thì kết luận cũng đúng. - Suy luận có lý suy luận qui nạp là suy luận không theo một quy tắc suy luận tổng quát nào. Nó chỉ xuất phát từ những tiền đề đúng để rút ra một kết luận có thể đúng mà cũng có thể sai. Suy luận diễn dịch hái niệm về suy luận diễn dịch và chứng
