Để chứng minh một quy tắc suy luận đúng ta thường sử dụng các phương pháp:
Trả lời:
Đáp án đúng: B
Để chứng minh một quy tắc suy luận là đúng, chúng ta có thể sử dụng hai phương pháp chính:
1. **Lập bảng giá trị chân lý và kết luận theo định nghĩa:** Phương pháp này bao gồm việc xây dựng bảng chân trị cho các mệnh đề liên quan trong quy tắc suy luận. Sau đó, dựa vào định nghĩa về tính đúng đắn của quy tắc suy luận (ví dụ: nếu các tiền đề đều đúng thì kết luận cũng phải đúng), ta kiểm tra xem quy tắc có thỏa mãn định nghĩa này hay không.
2. **Biến đổi tương đương logic:** Phương pháp này sử dụng các luật logic để biến đổi quy tắc suy luận ban đầu thành một dạng tương đương. Nếu dạng tương đương này là một hằng đúng (ví dụ: một tautology), thì quy tắc suy luận ban đầu cũng đúng.
Các phương án khác không đầy đủ hoặc không chính xác. Phương án 1 chỉ đề cập đến định nghĩa và biến đổi tương đương logic, nhưng thiếu phương pháp lập bảng giá trị chân lý. Phương án 3 chỉ đề cập đến biến đổi tương đương logic. Phương án 4 chỉ đề cập đến chứng minh trực tiếp, không phải là phương pháp chung để chứng minh quy tắc suy luận đúng.
Bộ 525 câu hỏi trắc nghiệm ôn thi môn Toán rời rạc có đáp án dưới đây sẽ là tài liệu ôn tập hữi ích dành cho các bạn sinh viên. Mời các bạn cùng tham khảo!
30 câu hỏi 60 phút
