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.

B.

C.

D.

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 đề.

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

A.

B.

C.

D.

A.

B.

C.

D.

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

A. P ∧ Q

B. Q

C. P ∨ Q

D. P