Cho tập A = { 1, 2, 3, 4, 5, 6 } và quan hệ R ⊆ A x A với:

R= {(1,1), (2,2), (3,3),(4,4), (5,5), (6,6), (1,3), (3,1),(1, 5), (5, 1),(2, 4), (4, 2), (2,6), (6,2), (3,5), (5,3), (4,6), (6,4)}

Đồ thị biểu diễn quan hệ R là

Cho A = {1, 2, 3, 4, 5, 6}. Quan hệ R được xác định: \(\forall a,b \in A,aRb \Leftrightarrow a + b = 2k(k = 1,2,...)\). Xác định phân hoạch do R sinh ra:

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…?

Trong các luật sau, luật nào là luật thống trị?

Để 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?

Cho A và B là hai tập hợp. Phép giao của A và B được ký hiệu A + B, là:

Cho A là tập hữu hạn, B là tập vũ trụ. Phần bù của A trong B là:

Cho biết quan hệ nào dưới đây là quan hệ tương đương:

Để chứng minh \(\sqrt 2 \) là số vô tỷ, ta dùng phương pháp chứng minh nào? 

Khi chạy chương trình:

Var S, i, j : Integer;

Begin

S := 0;

for i:= 1 to 3 do

for j:= 1 to 4 do S := S + 1 ;

End.

Giá trị sau cùng của S là:

Cần bố trí thực hiện N chương trình trên một máy tính. Hỏi có bao nhiêu cách bố trí khác nhau.