Cách phân loại quy nạp nào đúng?

A. S+ e P+.

B. S- o P+.

C. S+ a P.

A. Đúng; (p∧q)→r(p ∧ q) → r(p∧q)→r → ( p∨ q)→ r(~p ∨ ~q) → ~r( p∨ q)→ r.

B. Sai; (p∧q)→r(p ∧ q) → r(p∧q)→r → ( p∨ q)→ r(~p ∨ ~q) → ~r( p∨ q)→ r.

C. Đúng; (p∧ q)→r(p ∧ ~q) → r(p∧ q)→r → ( p∨q)→ r(~p ∨ q) → ~r( p∨q)→ r.

A. Suy luận từ tiền đề chứa tri thức riêng rút ra kết luận chứa tri thức bao quát mọi tri thức riêng đó.

B. Suy luận đem lại tri thức tổng quát và gần đúng.

C. Suy luận dựa trên mối liên hệ nhân quả để rút ra kết luận.

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

B. Đúng, vì tuân theo tất cả các quy tắc tam đoạn luận.

C. Sai, vì tiểu từ chu diên trong tiền đề, nhưng không chu diên trong kết luận.

A. (a∨b)∧ a(a ∨ b) ∧ ~a(a∨b)∧ a ⇒ b.

B. (a∨b)∧ a(a ∨ b) ∧ ~a(a∨b)∧ a ⇒ b.

C. (a∨b)∧a(a ∨ b) ∧ a(a∨b)∧a ⇒ ~b.

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

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

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