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: Năm 1860, Pasteur đem lên núi Alpes 73 bình đựng nước canh đóng kín đã khử trùng: Ở mực nước biển, mở 20 bình, ít ngày sau 8 bình hư; Ở độ cao 85m, mở 20 bình, ít ngày sau 5 bình hư; Ở dộ cao hơn nữa, mở 20 bình, ít ngày sau 1 bình hư. Những bình còn lại đóng kín không hư. Từ những sự kiện này, ông kết luận: Các vi sinh vật đã làm hư bình nước canh không phải tự nhiên mà có, mà chúng do bụi bặm trong không khí mang vào; số vi sinh vật đó giảm dần tương ứng với độ cao, độ lạnh và độ kém của không khí. Kết luận này được rút ra nhờ vận dụng phương pháp gì?

A. PP phần dư.

B. PP tương đồng.

C. PP khác biệt và PP đồng thay đổi.

D. PP đồng thay đổi và PP phần dư.

Câu 3: 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 4: Trong chứng minh phản chứng chúng ta phải làm gì?

A. CM luận đề sai.

B. CM luận cứ sai vì mâu thuẫn với luận đề.

C. CM mệnh đề mâu thuẫn với luận đề là mệnh đề sai.

D. Chỉ ra không thể thiết lập được mối liên hệ giữa luận cứ với luận đề.

Câu 5: Ai đó nói “Tôi là kẻ nói dối”; vậy người đó nói dối hay nói thật?

A. Nói dối.

B. Nói thật.

C. Là người nói thật nhưng trong trường hợp này nói dối.

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

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