Câu hỏi: Để 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. Đị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 

Câu 1: Để 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:

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.

Câu 2: Luật P→Q tương đương với luật nào sau đây?

A. \(\overline P \wedge Q \)

B. \(\overline P \vee Q \)

C. \(P \vee \overline Q \)

D. \(P \wedge \overline Q \)

Câu 3: Đoạn dưới đây chứng minh “3n + 2 là lẻ thì n là lẻ”: Vì 3n + 2 lẻ là đúng ta có 2 là số chẵn nên 3n là số lẻ, mà 3 là số lẻ nên n là số lẻ. Vậy ta đã có thể kết luận n là lẻ. Đoạn trên sử dụng phương pháp chứng minh nào: 

A. Gián tiếp

B. Trực tiếp

C. Phân chia trường hợp

D. Phản chứng

Câu 4: Cho biết quan hệ “lớn hơn hoặc bằng” trên tập Z có những tính chất nào?

A. Phạn xạ - đối xứng

B. Phản xạ - đối xứng – bắc cầu

C. Phản xạ - đối xứng – phản đối xứng

D. Phản xạ - phản đối xứng – bắc cầu

Câu 5: Cho A, B là 2 tập hợp. A là tập con của B được ký hiệu A x B, khi:

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 

Câu 6: Luật nào trong các luật sau là luật phân bố (phân phối)?

A. \(p \wedge (q \vee r) \Leftrightarrow (p \wedge q) \vee (p \wedge r); p \vee (q \wedge r) \Leftrightarrow (p \vee q) \wedge (p \vee r) \)

B. \(p \wedge (q \vee r) \Leftrightarrow (p \wedge q) \wedge r;p \vee (q \wedge r) \Leftrightarrow (p \vee q) \vee r\)

C. \(p \wedge (q \vee r) \Leftrightarrow (p \vee q) \vee (p \vee r);p \vee (q \wedge r) \Leftrightarrow (p \wedge q) \wedge (p \wedge r)\)

D. \(\overline {p \wedge q} \Leftrightarrow \overline p \vee \overline q \)