Phương pháp chứng minh đi từ giả thiết đến kết luận thông qua các luật suy diễn, các định lý, các nguyên lý hay các kết quả đã có từ trước được gọi là phương pháp chứng minh:

Biểu thức logic A được gọi là hằng sai nếu:

Kết quả của một cuộc điều tra ở Hà Nội cho thấy 96% các gia đình có máy thu hình, 98% có điện thoại và 95% có điện thoại và máy thu hình. Tính tỷ lệ % các gia đình ở Hà Nội không có thiết bị nào là). ( Tỷ lệ % các gia đình có điện thoại hoặc máy thu hình là 98%+96%-95%=99%. Tỷ lệ % các gia đình không có điện thoại và không có máy thu hình là 1%)

Cho tập A = {1, 2, 3, {a,4}, {a,b,c}, \(\emptyset \)}. Lực lượng của A bằng: 

Câu nào dưới đây KHÔNG là một mệnh đề:

Trong bất kỳ 27 từ tiếng Anh nào cũng đều có:

Đồ thị G vô hướng n đỉnh là một cây nếu:

Cho tập A = {a, b, c, {3, 4, 5}, (a,b), \(\emptyset \)}. Lực lượng của A bằng: 

Cho 2 tập A, B với \(\left| A \right| = 100,{\rm{ }}\left| B \right| = 200,{\rm{ }}A \subseteq B.{\rm{ }}\left| {A \cup B} \right|\) là:

Để chứng minh một quy tắc suy luận đúng ta thường sử dụng các phương pháp:

Có năm loại học bổng khác nhau để phát cho sinh viên. Hỏi phải có ít nhất bao nhiêu sinh viên để chắc chắn có 5 người được nhận học bổng như nhau.

Nội dung của nguyên cộng tổng quát được phát biểu:

Cho A và B là hai tập hợp. Hiệu của A và B được ký hiệu A-B, là:

G là một đơn đồ thị phẳng liên thông n đỉnh, m cạnh, gọi r là số miền trong biểu diễn phẳng của G khi đó:

Cho C = { 2, 4, 5, 6, 7, 8}, k = 6, n=9. Kết quả nào đúng trong số những kết quả dưới đây sau khi thực hiện thuật toán Test(C, k, n): 

Function Test(C:array[1..10] of integer; k,n:integer); 

Var i,j: integer; 

Begin 

i:=k; While (i>0) and (c[i]=n-k+i) do i:=i-1;

If i> 0 then

Begin c[i]:= c[i] +1;

For j:= i+1 to k do c[j]:=c[i] + j-1;

End;

End;

Có 12 học viên trong một lớp. Có bao nhiêu cách để 12 học viên có 3 bài kiểm tra khác nhau nếu 4 học viên có chung mỗi bài kiểm tra?

Cho tập A = {a, b}, B = {0, 1, 2} câu nào dưới đây là SAI:

Trong khai triển (x+y)²⁰⁰ có bao nhiêu số hạng?

Đoạn dưới đây chứng minh “3n + 2 là lẻ thì n là lẻ”: Vì 3n + 2 lẻ là đúng ta có 2 là số chẵn nên 3n là số lẻ, mà 3 là số lẻ nên n là số lẻ. Vậy ta đã có thể kết luận n là lẻ. Đoạn trên sử dụng phương pháp chứng minh nào: 

Cho thuật toán:

Function Test(a,b): Integer;

Begin

If (b = a) or (b = 0) then Test:=1

Else Test := Test (a-1,b-1) + Test (a-1,b);

End;

Với a = 21, b = 3. Kết quả nào đúng trong số những kết quả dưới đây:

Cho 2 tập A, B với \(\left| A \right| = 13,{\rm{ }}\left| B \right| = 19,{\rm{ }}\left| {A \cap B} \right|{\rm{ }} = 1.{\rm{ }}\left| {A \cup B} \right|\) là: