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. Quy luật lý do đầy đủ.

B. Quy luật loại trừ cái thứ ba.

C. Quy luật phi mâu thuẫn.

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.

A. Lập luận hợp lôgích, có tiền đề và kết luận những mệnh đề đối chọi nhau.

B. Là một dạng nguỵ biện đặc biệt; một kiểu phản bác, phê bình triệt để.

C. Lập luận hợp lôgích, có tiền đề và kết luận những mệnh đề mâu thuẫn nhau.

A. Tam đoạn luận tĩnh lược.

B. Loại suy về quan hệ.

C. Loại suy về sự vật.

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.

A. Bác bỏ luận cứ không là lý do đầy đủ.

B. Bác bỏ luận chứng không hợp lôgích.

C. Bác bỏ luận cứ không chân thực.

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.