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

Câu hỏi này kiểm tra kiến thức về tam đoạn luận hợp logic trong logic học hình thức. Tam đoạn luận là một hình thức suy luận diễn dịch, trong đó từ hai mệnh đề (tiền đề) suy ra một mệnh đề thứ ba (kết luận). Để tam đoạn luận hợp lệ, cần có một trung từ (M) xuất hiện trong cả hai tiền đề, và một mối quan hệ logic phù hợp giữa các tiền đề và kết luận. Trong trường hợp này, ta có hai tiền đề: 1. M+ a P- (Mọi M đều là P) 2. S+ a P- (Mọi S đều là P) Để tìm mệnh đề bị lược bỏ, ta cần tìm một mệnh đề liên hệ S và M để có thể suy ra hai tiền đề trên. Mệnh đề bị lược bỏ phải chứa S và M. Xét các phương án: * **A. M+ i S (Một số M là S):** Nếu chấp nhận mệnh đề này, ta có thể suy ra S+ i P từ M+ a P và M+ i S (một số M là P, một số M là S, nên một số S là P). Tuy nhiên, S+ i P không tương đương với S+ a P (Mọi S đều là P). Do đó, A không phải đáp án đúng. * **B. M- o S+ (Một số M không phải S):** Nếu chấp nhận mệnh đề này, ta khó có thể suy ra hai tiền đề đã cho. Do đó, B không phải đáp án đúng. * **C. S+ a M (Mọi S đều là M):** Nếu chấp nhận mệnh đề này, ta có thể suy ra hai tiền đề đã cho. Từ S+ a M và M+ a P, ta suy ra S+ a P. Vậy C là đáp án có khả năng đúng nhất. * **D. S- i M (Một số S không phải M):** Nếu chấp nhận mệnh đề này, ta khó có thể suy ra hai tiền đề đã cho. Do đó, D không phải đáp án đúng. Vậy, đáp án đúng nhất là C. S+ a M.