Logic học đại cương
Hình vuông logic: quan hệ mâu thuẫn, đối chọi, thứ bậc giữa A, E, I, O
Hình vuông logic nối bốn phán đoán A, E, I, O: A–O, E–I mâu thuẫn; A–E đối chọi trên; I–O đối chọi dưới; A–I, E–O thứ bậc. Bảng suy luận và giả định tồn tại.