Điều kiện đủ để xây dựng được một suy luận diễn dịch trực tiếp hợp lôgích là gì?

[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

Bacon xây dựng dành cho khoa học thực nghiệm

R. Descartes xây dựng dành cho khoa học lý thuyết

S. Mill xây dựng dành cho khoa học thực nghiệm