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.

B.

C.

D.

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.

B.

C.

D.

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. P ∧ Q

B.

C.

D.

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)