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: 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 2: Giả sử P và Q là 2 mệnh đề, chọn đáp án đúng cho định nghĩa mệnh đề P\( \leftrightarrow \) Q?

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

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

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

Câu 3: 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 4: Biểu thức hằng đúng là?

A. Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng.

B. Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề

C. Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề

D. Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai.

Câu 5: Hãy cho biết quan hệ “cùng quê” của 2 sinh viên có bao nhiêu tính chất?

A. Đối xứng

B. Đối xứng – bắc cầu

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

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

Câu 6: Trong các luật sau, luật nào là luật thống trị?

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\)