Dựa theo quan hệ gì của hình vuông lôgích ta có sơ đồ suy luận: A ↔ ~O ; E ↔ ~I?

Tiền đề và kết luận phải là 2 phán đoán có chủ từ và vị từ giống nhau

Tiền đề và kết luận phải là 2 phán đoán có quan hệ đồng nhất nhau

Tiền đề và kết luận phải là 2 phán đoán có các thành phần giống nhau

[a→ b]⇒[ b→a][a → ~b] ⇒ [~b → a][a→ b]⇒[ b→a]

[ a→b]⇒[ b→ a][~a → b] ⇒ [~b → ~a][ a→b]⇒[ b→ a]

[ b→a]⇒[ a→b][~b → a] ⇒ [~a → b][ b→a]⇒[ a→b]

[a→ b]⇒[ b→a][a → ~b] ⇒ [~b → a][a→ b]⇒[ b→a]

[ a→b]⇒[b→a][~a → b] ⇒ [b → a][ a→b]⇒[b→a]

[a→b]⇒[ a→ b][a → b] ⇒ [~a → ~b][a→b]⇒[ a→ b]

A hay I

E hay O

A hay E

A hay I

E hay O

A hay E

Đại tiền đề là A hay E; tiểu tiền đề là A hay I

Đại tiền đề là A hay E; có tiền đề là O hay E

Đại tiền đề là A hay E; có 1 tiền đề là A hay I

Sai, vì trung từ không chu diên trong cả hai tiền đề

Đúng, vì các tiền đề và kết luận đều đúng

Sai, vì cả hai tiền đề đều là phán đoán bộ phận

Trái ngược (tương phản)

Mâu thuẫn (tương khắc)

Lệ thuộc (bao hàm)

Tam đoạn luận đơn hình 3, hợp lôgích

Quy nạp hình thức

Loại suy tính chất

Được sử dụng trong khoa học để nghiên cứu mọi mối liên hệ nhân quả

Không cần khảo sát nhiều trường hợp mà kết luận được rút ra luôn đúng

Dựa trên mối liên hệ nhân quả để rút ra kết luận có độ tin cậy cao