“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. Đú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. S+ e P+.

B. S- o P+.

C. S+ a P.

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. S+ e P+.

B. S- o P+.

C. S+ a P.

A. Sai, vì cả hai tiền đề đều là phán đoán bộ phận.

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

C. Đúng, vì tuân theo tất cả các quy tắc tam đoạn luận đơ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. (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.