Để 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. 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. {4, 3, 5, 2}

B. {a | a là số tự nhiên lớn hơn 1 và nhỏ hơn 6}

C. {b | b là số thực sao cho 1 < b2 < 36}

D. {2, 2, 3, 4, 4, 4, 5}

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. Khác nhau

B. A là con B

C. Bằng nhau

D. B là con A

A. Tồn tại phần tử thuộc A thì tồn tại phần tử thuộc B

B. Tồn tại phần tử thuộc A thì cũng thuộc B

C. Mọi phần tử thuộc A thì tồn tại phần tử thuộc B

D. Mọi phần tử thuộc A đều thuộc B