Mệnh đề nào đã bị lược bỏ trong kiểu tam đoạn luận hợp lôgích: M+ a P- ; M+ a S- ?

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.