Biểu thức logic không chứa thành phần nào dưới đây.

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. Định nghĩa, biến đổi tương đương logic

B. Lập bảng giá trị chân lý và kết luận theo định nghĩa

C. Biến đổi tương đương logic

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

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. Tập chứa tất cả các phần tử thuộc A và đồng thời thuộc B.

B. Tập chứa tất cả các phần tử hoặc thuộc tập hợp A hoặc thuộc tập hợp B.

C. Tập chứa các phần tử thuộc tập hợp A nhưng không thuộc tập hợp B.

D. Tập bao gồm những phần tử không thuộc A.