Sự thật, thông tin và suy luận ràng buộc

Chuyển lời văn thành điều kiện chính xác, rồi kiểm tra mọi khả năng chứ không chỉ khả năng thuận tiện.

Phủ định đúng lượng từ và phân biệt suy ra với mệnh đề đảo.

Mô hình hóa người nói thật và người nói dối bằng đầy đủ điều kiện đúng sai.

Khử dữ kiện chung và kiểm tra suy luận cục bộ có khớp toàn bộ hay không.