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 phủ định

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

D. Luật tam đoạn luận (bắc cầu) 

Câu 1: Quy tắc suy luận nào sau đây là quy tắc tam đoạn luận?

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

B. \(((P→Q)\vee(Q→R)) →(P→R) \)

C. \(((P→Q)\vee(Q→R)) →(Q→R)\)

D. \(((P→Q) \wedge (Q→R)) →(P→R)\)

Câu 2: Luật nào sau đây là luật kéo theo?

A. \(p \to q \Leftrightarrow \overline p \vee q\)

B. \(p \to q \Leftrightarrow \overline p \wedge q\)

C. \(p \to q \Leftrightarrow p \vee q\)

D. \(p \to q \Leftrightarrow p \wedge q\)

Câu 3: 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 4: Có bao nhiêu trường hợp về chân trị của bộ biến mệnh đề (q1,q2,..,qn)? 

A. 2n

B. 2n

C. 2n+1

D. 2n-1

Câu 5: Quy tắc (luật )suy luận nào là cơ sở của suy diễn sau: Là phi công thì phải biết lái máy bay. An là phi công nên An biết lái máy bay

A. Luật cộng

B. Luật rút gọn

C. Luật khẳng định

D. Luât phủ định 

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

A. \(P \wedge Q\)

B. Q

C. \(P \vee Q\)

D. P