Để chứng minh tích của 3 số tự nhiên liên tiếp luôn chia hết cho 6, người ta chứng minh như sau:

- Đặt P(n) = n(n+1)(n+2). P(n) chia hết cho 6 với n>0.

- Ta có, với n = 1; P(1) = 1.2.3 = 6, chia hết cho 6

- Giả sử P(n) đúng, ta đi chứng minh (n+1)(n+2)(n+3) chia hết cho 6.

- Ta có, (n+1)(n+2)(n+3) = n(n+1)(n+2) + 3(n+1)(n+2).

- Ta đã có n(n+1)(n+2) chia hết cho 6. Mặt khác (n+1)(n+2) luôn chia hết cho 2 (kết quả này đã được chứng minh). Do vậy, 3(n+1)(n+2) chia hết cho 6. Như vậy ta được điều phải chứng minh.

Đoạn trên sử dụng phương pháp nào?

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

B. A là con B

C. Bằng nhau

D. B là con A

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. p ∧ (p ∨ q) ⇔ p; p ∨ (p ∧ q) ⇔ p

B. p ∨ 1 ⇔1; p ∧ 0 ⇔ 0

C. p ∨ 0 ⇔ p; p ∧ 1 ⇔ p

D. p ∨ p ⇔ p; p ∧ p ⇔ p

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 bao gồm những phần tử không thuộc A.

D. 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.

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.