Câu hỏi: Bảng chân trị của biểu thức logic E(q1,q2,..,qn) là…?

A. Bảng liệt kê tất cả các giá trị của biểu thức E theo từng trường hợp về chân trị của bộ biến mệnh đề q1,q2,..,qn.

B. Bảng giá trị của biểu thức E

C. Bảng liệt kê các trường hợp của bộ biến mệnh đề q1,q2,..,qn

D. Bảng liệt kê các phép toán logic theo các trường hợp về chân trị của bộ biến mệnh đề.

Câu 1: 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 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 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 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: Qui tắc suy luận nào là cơ sở của suy diễn sau: "Nếu hôm nay trời mưa thì cô ta không đến, Nếu cô ta không đến thì ngày mai cô ta đến, Vậy thì, nếu hôm nay trời mưa thì ngày mai cô ta đến."

A. Modus Ponens (Khẳng định)

B. Modus Tollens (Phủ định)

C. Tam đoạn luận (Bắc cầu)

D. Từng trường hợp

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