Câu hỏi: Để 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 1: Đ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 2: Giả sử P và Q là 2 mệnh đề, chọn đáp án đúng cho định nghĩa mệnh đề P→Q?

A. Là một mệnh đề nhận chân trị đúng khi một trong hai hoặc cả 2 mệnh đề cùng đúng, nhận chân trị sai trong các trường hợp còn lại.

B. Là một mệnh đề nhận chân trị đúng khi P và Q có cùng chân trị. Nhận chân trị sai trong các trường hợp còn lại.

C. Là một mệnh đề nhận chân trị đúng khi P sai hoặc cả P và Q cùng đúng. Nhận chân trị sai khi và chỉ khi P đúng Q sai

D. Là 1 mệnh đề nhận chân trị đúng khi P và Q cùng đúng, sai khi P và Q cùng sai.

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

A. Các mệnh đề

B. Các vị từ

C. Các biến mệnh đề

D. Các phép toán logic

Câu 4: Trong các luật sau, luật nào là luật về phần tử trung hoà?

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

B. \(p \vee 1 \Leftrightarrow 1;p \wedge 0 \Leftrightarrow 0 \)

C. \(p \vee 0 \Leftrightarrow p;p \wedge 1 \Leftrightarrow p \)

D. \(p \vee p \Leftrightarrow p;p \wedge p \Leftrightarrow p\)

Câu 5: Cho A = {1,3,3,3,5,5,5,5,5} và B = {1,3,5}. Đáp án nào dưới đây mô tả chính xác nhất mối quan hệ giữa A và B:

A. Khác nhau

B. A là con B

C. Bằng nhau

D. B là con A

Câu 6: Luật nào trong các luật sau là luật đối ngẫu (De Morgan).

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 ;\overline {p \vee q} \Leftrightarrow \overline p \wedge \overline q \)