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

A. Chứng minh qui nạp mạnh

B. Chứng minh trực tiếp

C. Chứng minh quy nạp yếu

D. Chứng minh phản chứng.

A. Khác nhau

B. A là con B

C. Bằng nhau

D. B là con A

A. p∧(q∨r) ⇔ (p∧q) ∨ (p∧r); p∨(q∧r) ⇔ (p∨q) ∧ (p∨r)

B. p∧(q∨r) ⇔ (p∧q) ∧ r; p ∨ (q∧r) ⇔ (p∨q) ∨ r

C. p∧(q∨r) ⇔ (p∨q) ∨ (p∨r); p∨(q∧r) ⇔ (p∧q) ∧ (p∧r)

D. 

A. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, đồng thời thuộc cả A và B.

B. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, không đồng thời thuộc cả A và B.

C. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, không đồng thời thuộc cả A và B.

D. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, đồng thời thuộc cả A hoặc B.

A. Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng

B. Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề.

C. Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề

D. Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai

A. Một nhóm các đối tượng hay vật thể có chung tính chất nào đó.

B. Một nhóm các đối tượng và vật thể có chung tính chất nào đó.

C. Một nhóm các đối tượng và vật thể có chung duy nhất một tính chất nào đó.

D. Một nhóm các phần tử có chung duy nhất một tính chất nào đó