Từ tiền đề “Có loài côn trùng không có hại”, bằng phép đổi chỗ, kết luận hợp logic được rút ra là gì?

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

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

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

Kết luận phải là PĐ lệ thuộc vào PĐ tiền đề

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

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

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

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

Đạ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

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

Suy luận bắc cầu, không hợp logic

Suy luận đa đề, không hợp logic

Tam đoạn luận phức, kiểu kéo theo thuần túy, dạng tĩnh lược, hợp logic

Tam đoạn luận phức, kiểu kéo theo thuần túy, dạng tĩnh lược, không hợp logic

[(a ∨ b) ∧ ~a] ⇒ b

[(a ∨ b) ∧ ~a] ⇒ b

[(a ∨ b) ∧ a] ⇒ ~b

[(a ∨ b) ∧ ~b] ⇒ a

[(a → b) ∧ ~b] ⇒ ~a

[(a → ~b) ∧ a] ⇒ ~b

[(~a → b) ∧ ~b] ⇒ a

[(~a → ~b) ∧ b] ⇒ ~a

Đúng; ((p → q) ∧ p) → q

Đúng; ((p → q) ∧ ~p) → ~q

Đúng; ((p → q) ∧ ~q) → ~p

Sai; ((p → q) ∧ ~ q) → (r ∨ s)

Đượ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

Chỉ dùng trong khoa học thực nghiệm, từ các sự kiện quan sát rút ra mọi định luật chung

PP phần dư

PP tương đồng

PP khác biệt và PP đồng thay đổi

PP đồng thay đổi và PP phần dư

Kết luận

Đại tiền đề

Tiểu tiền đề

Cả A, B và C