Suy luận trực tiếp với tiền đề là phán đoán thuộc tính đơn

Bài viết này xác định thông tin của các phán đoán theo kiểu của Bar-Hillel và Carnap để nghiên cứu các hệ thống suy luận trực tiếp tương ứng với các diễn giải phán đoán khác nhau đó. Kết quả cho thấy quan hệ được biểu diễn bằng hình vuông logic và phép đảo ngược của các phán đoán thuộc tính đơn thay đổi trong các hệ thống khác nhau.