Tìm phán đoán tương đương logic với: ~a → b.

~a ∨ b

~a ∧ b

a ∧ b

a ∨ b

A

I

E hay O

A hay I

Có những sinh viên không biết nghiên cứu khoa học

Có những sinh viên nghiên cứu khoa học rất dở

Không phải tất cả sinh viên đều nghiên cứu khoa học dở

Có những người nghiên cứu khoa học rất giỏi là sinh viên

Một số loài không có hại là côn trùng

Những loài côn trùng khác có hại

Không phải tất cả các loài côn trùng đều có hại

Không thực hiện được

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