“Chào mào thích ăn hạt kê; bởi vì chào mào là một loài chim; mà mọi loài chim đều thích ăn hạt kê”. Tam đoạn luận này đúng hay sai, tại sao?

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. Quy nạp hình thức, quy nạp phóng đại và quy nạp khoa học.

B. Quy nạp thông thường và quy nạp toán học.

C. Quy nạp hoàn toàn và quy nạp không hoàn toà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)∧b(a → b) ∧ b(a→b)∧b ⇒ a.

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

A. S+ e P+.

B. S- o P+.

C. S+ a P.

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.