Hai biểu thức mệnh đề E, F (có cùng bộ biến mệnh đề) được gọi là tương đương logic nếu…?

p ∧ (p ∨ q) ⇔ p; p ∨ (p ∧ q) ⇔ p

p ∨ 1 ⇔ 1; p ∧ 0 ⇔ 0

p ∨ 0 ⇔ p; p ∧ 1 ⇔ p

p ∨ p ⇔ p; p ∧ p ⇔ p

2 + 2 < 3

3 * 2 = 6

x + 1 = 2

3 - 1 > 2

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

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

{1, 2, 3, 4, 5, 7}

{2, 4}

{1, 2, 3, 4, 6, 8}

{1, 2, 3, 4, 5, 6, 7, 8}

Phản chứng

Quy nạp

Gián tiếp

Trực tiếp

Đưa ra một công thức cho lời giải bài toán

Chỉ ra nghiệm tốt nhất theo một nghĩa nào đó của bài toán

Đưa ra danh sách tất cả các cấu hình tổ hợp có thể có

Chỉ ra một nghiệm hoặc chứng minh bài toán không có nghiệm

Không duyệt các cấu hình không thuộc tập các cấu hình

Không bỏ xót và không lặp lại bất kì một cấu hình nào

Không bỏ xót một cấu hình nào

Không duyệt lại các cấu hình đã duyệt

Định nghĩa đối tượng thông qua chính nó

Định nghĩa đối tượng thông qua các đối tượng trừu tượng

Định nghĩa đối tượng thông qua các đối tượng đã xác định

Định nghĩa đối tượng thông qua các đối tượng khác

C(n+r,r)

C(n+r+1,r)

C(n+r-1,r-1)

C(n+r-1,r)

Đưa ra màn hình thương của n cho 10

Đưa ra màn hình đảo ngược số n

Đưa ra màn hình số dư trong phép chia của n cho 10

Đưa ra màn hình là n nếu n nhỏ hơn 10 và thương của n cho 10 nếu n ≥ 10