Câu hỏi: 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 1: 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 \)

Câu 2: 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

Câu 3: 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 4: Xác định chân trị của biểu thức ( X→Y ) \(\vee \) ( Y → Z ) và (X →Z) khi X = Y=Z=0? 

A. 1 và 1

B. 0 và 0

C. 1 và 0

D. 0 và 1 

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

A. 1 và 1

B. 0 và 0

C. 1 và 0

D. 0 và 1 

Câu 6: 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