Sơ đồ suy luận nào sai?

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

(a→b)∧b(a → b) ∧ b(a→b)∧b ⇒ a

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

Sai; ( p→r)∧p(~p → r) ∧ p( p→r)∧p → ~r

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

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

(a→b)∧(c→d)∧(b∨d){(a → b) ∧ (c → d)} ∧ (b ∨ d)(a→b)∧(c→d)∧(b∨d) ⇒ (a ∨ c)

(a→ b)∧(c→ d)∧(b∨d){(a → ~b) ∧ (c → ~d)} ∧ (b ∨ d)(a→ b)∧(c→ d)∧(b∨d) ⇒ ~(a ∧ c)

(a→b)∧(c→d)∧( b∨ d){(a → b) ∧ (c → d)} ∧ (~b ∨ ~d)(a→b)∧(c→d)∧( b∨ d) ⇒ (a ∨ c)

(a→b)∧(a→d)∧(b∨d){(a → b) ∧ (a → d)} ∧ (b ∨ d)(a→b)∧(a→d)∧(b∨d) ⇒ a

(a→ b)∧(c→ b)∧ b{(a → ~b) ∧ (c → ~b)} ∧ ~b(a→ b)∧(c→ b)∧ b ⇒ (a ∨ c)

(a→b)∧(a→d)∧( b∨ d){(a → b) ∧ (a → d)} ∧ (~b ∨ ~d)(a→b)∧(a→d)∧( b∨ d) ⇒ ~a

Bao quát, phong phú

Chắc chắn, bao quát, không mới lạ

Chắc chắn, ngắn gọn, phong phú

Kết luận

Đại tiền đề

Tiểu tiền đề

đi từ những tiền đề tới kết luận đúng

thuyết phục người khác chấp nhận tính chân thực của luận đề do mình đưa ra

dựa trên các luận cứ chân thực để xác lập tính chân thực của luận đề

Dự đoán của các nhà khoa học về tương lai

Cách cắt nghĩa, lý giải tạm thời của các nhà khoa học

Giả định có cơ sở khoa học về mối liên hệ mang tính quy luật của các hiện tượng, quá trình xảy ra trong thế giới

Chứng minh gián tiếp

Chứng minh phản chứng

Chứng minh trực tiếp

Chứng minh luận đề sai

Chứng minh luận cứ sai vì mâu thuẫn với luận đề

Chứng minh mệnh đề mâu thuẫn với luận đề là mệnh đề sai