E: Tất cả S không là P - Tách rời: Tất cả P không là SO: Một số S không là P - Không thu được kết luận O: Một số S không là P - Không thu được kết luận
c. Suy luận dựa vào quan hệ giữa các phán đoán đơn
trong hình vuông logic
Dựa vào quan hệ mâu thuẫn: A – O; E -I
Tiền đề Kết luận
A: Mọi S là P O: Không phải một số S không là PI: Một số S là P E: Không phải mọi S không là P I: Một số S là P E: Không phải mọi S không là P E: Mọi S không là P I: Không phải một số S là P
O: Một số S không là P A: Không phải mọi S là P Dựa vào quan hệ phụ thuộc : A – I ; E - O Dựa vào quan hệ phụ thuộc : A – I ; E - O
Tiền đề Kết luận
A: Mọi S là P I: Một số S là P
E: Mọi S không là P O: Một số S không là PI: Không phải một số S là P A: Không phải mọi S là P I: Không phải một số S là P A: Không phải mọi S là P
Dựa vào quan hệ đối chọi : A – E ; I – Ọ
Tiền đề Kết luận
A: Mọi S là P E: Không phải mọi S không là PE: Mọi S không là P A: Không phải mọi S là P E: Mọi S không là P A: Không phải mọi S là P
Tiền đề Kết luận
I: Không phải một số S là P O: Một số S không là PO: Không phải một số S không