Suy luận và chứng minh

Câu 1. Loại suy luận hợp logic nào đảm bảo chắc chắn kết luận xác thực nếu có các tiên đề xác thực?

• A.      Suy loại diễn dịch

• B.      Suy luận quy nạp

• C.     Suy luận tương tự

• D.      Cả A,B và C

Câu 2. Thao tác logic đi từ một hay vài tiền đề có quan hệ logic với nhau để rút ra một kết luận được gọi là gì?

• A.      Diễn dịch trực tiếp

• B.      Quy nạp hoàn toàn

• C.      Suy luận

• D.      Suy luận gián tiếp

Câu 3. Thao tác logic đi từ một tiền đề để rút ra 1 kết luận được gọi là gì?

• A.      Diễn dịch trực tiếp

• B.      Suy luận gián tiếp

• C.      Quy nạp khoa học

• D.      Cả A, B và C sai

Câu 4. Thế nào là suy luận hợp logic?

• A.      Suy luận tuân thủ mọi quy tắc logic hình thức

• B.      Suy luận từ đề đúng và tuân thủ mọi quy tắc logic

• C.      Suy luận luôn đưa đến kết luận xác thực

• D.      Suy luận có lý nhưng luôn đưa đến kết luận sai lầm

Câu 5. Thế nào là suy luận đúng?

• A.      Suy luận hợp logic

• B.      Suy luận đưa đến kết luận đúng

• C.      Suy luận hợp logic và xuất phát từ mọi tiền đề đều xác thực

• D.      Cả A, B và C đều đúng

Câu 6. Thao tác logic đi từ 2 tiền đề có quan hệ logic với nhau để rút ra một phán đoán mới làm kết luận được gọi là gì?

• A.      Diễn dịch trực tiếp

• B.      Quy nạp hoàn toàn

• C.      Quy nạp hoàn toàn

• D.      Cả A, B và C đều sai

Câu 7. Hình thức nào dưới đây thuộc chứng minh trực tiếp?

• A. Chứng minh loại dần

• B. Chứng minh mệnh đề mạnh hơn

• C. Chứng minh tổng hợp

• D. Chứng minh phản chứng

Câu 8. Chứng minh phân tích được chia làm mấy hình thức?

• A. 1

• B. 2

• C. 3

• D. 4

Câu 9. Bài toán trên sử dụng hình thức chứng minh nào?

• A. Chứng minh gián tiếp

• B. Chứng minh tổng hợp

• C. Chứng minh quy nạp toán học

• D. Chứng minh quy nạp hoàn toàn

Câu 10. Cấu trúc của chứng minh gồm mấy phần?

• A. 4

• B. 3

• C. 2

• D. 1