Câu hỏi: Loại suy là gì?

A. Cơ sở của phương pháp mô hình hóa.

B. Suy luận không chắc chắn nhưng sinh động, dễ hiểu.

C. Suy luận đi từ trường hợp riêng này đến trường hợp riêng khác nhờ một số dấu hiệu tương đồng giữa chúng.

D. Cả A, B và C.

Câu 1: Cho mệnh đề T, ta xác định mệnh đề ~T trái ngược với mệnh đề T, và chứng minh mệnh đề ~T đúng. Thao tác logic này được gọi là gì?

A. Chứng minh gián tiếp mệnh đề T.

B. Chứng minh phản chứng mệnh đề T.

C. Bác bỏ gián tiếp mệnh đề T.

D. Cả A, B, C đều sai.

Câu 2: “Lý luận bằng gậy” là biểu hiện cụ thể của lỗi logic gì?

A. Sai lầm cơ bản.

B. Lập luận vòng vo.

C. Vượt quá cơ sở.

D. Đánh tráo luận đề.

Câu 3: Bác bỏ là gì?

A. Chỉ là một dạng chứng minh đặc biệt.

B. Phản đối gay gắt, phê bình triệt để một luận điểm nào đó.

C. Vạch ra lập luận, luận cứ hay luận đề không đúng.

D. Cả A, B và C.

Câu 4: Bổ sung để được một định nghĩa đúng: “Chứng minh là thao tác logic ...”.

A. đi từ những tiền đề tới kết luận đúng.

B. thuyết phục người khác chấp nhận tính chân thực của luận đề do mình đưa ra.

C. dựa trên các luận cứ chân thực để xác lập tính chân thực của luận đề.

D. vạch ra tính sai lầm của phản luận đề.

Câu 5: “Chứng minh dựa vào tư cách cá nhân” là biểu hiện cụ thể của lỗi logic gì?

A. Sai lầm cơ bản.

B. Lập luận vòng vo.

C. Vượt quá cơ sở.

D. Đánh tráo luận đề.

Câu 6: Gọi T là luận đề; a, b, c, d là luận cứ; m, n, p, q là các hệ quả tất yếu được suy ra từ a, b, c, d. Sơ đồ [a ∧ b ∧ c ∧ d) → (m ∧ n ∧ q) → T] thể hiện chứng minh gì?

A. CM gián tiếp.

B. CM phản chứng.

C. CM trực tiếp.

D. CM loại trừ.