Câu hỏi: Hãy cho biết quy tắc (Luật) nào là cơ sở của mô hình suy diễn sau:

A. Luật khẳng định

B. Luật từng trường hợp

C. Luật tam đoạn luận rời

D. Luật tam đoạn luận

Câu 1: Quy tắc (luật )suy luận nào là cơ sở của suy diễn sau: Được khen thưởng nếu học giỏi hoặc công tác tốt. An được khen thưởng, nhưng An không học giỏi nên An phải công tác tốt.

A. Luật khẳng định

B. Luật phủ định

C. Luật tam đoạn luận

D. Luật tam đoạn luận rời 

Câu 2: Phương pháp phản chứng là phương pháp?

A. Quy bài toán ban đầu về bài toán con đơn giản hơn

B. Giả sử điều cần chứng minh là sai để từ đó suy ra mâu thuẫn

C. Liệt kê tất cả các khả năng để từ đó đưa ra quyết định.

D. Biểu diễn nghiệm của bài toán bằng các dữ kiện ban đầu

Câu 3: Xác định chân trị của biểu thức (\(\neg \) X→Y ) \( \vee \) (\(\neg \) Y → Z ) và (\(\neg \) X →Z) khi X = Y=Z=1?

A. 1 và 1

B. 0 và 0

C. 1 và 0

D. 0 và 1 

Câu 4: Mệnh đề \(\overline Q \vee (P \wedge Q)\) tương đương logic với mệnh đề nào sau đây?

A. \(P \wedge Q\)

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

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

D. \(\overline Q \)

Câu 5: Hãy cho biết quy tắc (Luật) nào là cơ sở của mô hình suy diễn sau:

A. Luật rút gọn

B. Luật cộng

C. Luật khẳng định

D. Luật tam đoạn luận

Câu 6: Quy tắc suy luận nào sau đây là Modus Tollens (Phủ định)?

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

B. \((\overline P \wedge (P \to Q)) \to Q\)

C. \((\overline Q \wedge (P \to Q)) \to \overline P \)

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