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

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

Câu 2: Quy tắc suy luận nào sau đây là Modus Ponens (khẳng đị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 3: 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 4: Biết chân trị của mệnh đề P → Q là 0, thì chân trị của các mệnh đề P Λ Q và Q → P tương ứng là?

A. 0 và 1

B. 1 và 0

C. 0 và 0

D. 1 và 1

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