Câu hỏi: 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ừ.

Câu 1: 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 2: Ba bộ phận cấu thành một chứng minh là gì?

A. Luận cứ, luận đề, lập luận.

B. Diễn dịch, quy nạp, loại suy.

C. Đại tiền đề, tiểu tiền đề, kết luận.

D. Dữ kiện, giả thuyết, kiểm chứng.

Câu 3: Lỗi logic “Đánh tráo luận đề” thường xảy ra trong trường hợp nào?

A. Suy luận loại suy.

B. Chứng minh hay bác bỏ.

C. Nguỵ biện dựa vào tình cảm hay bạo lực.

D. Nguỵ biện “cái sau cái đó là do cái đó”.

Câu 4: Giả thuyết khoa học là gì?

A. Dự đoán của các nhà khoa học về tương lai.

B. Cách cắt nghĩa, lý giải tạm thời của các nhà khoa học.

C. Giả định có cơ sở khoa học về mối liên hệ mang tính quy luật của các hiện tượng, quá trình xảy ra trong thế giới.

D. A, B, C đều đúng.

Câu 5: Do điều gì dẫn đến “Sai lầm cơ bản”?

A. Sử dụng luận cứ không xác thực khi chứng minh hay bác bỏ.

B. Không tuân thủ các quy luật cơ bản của tư duy.

C. Không tuân thủ các quy tắc cơ bản trong chứng minh.

D. Không hiểu được những điều đơn giản, cơ bản trong lập luận.

Câu 6: 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.