大詞不當

大詞不當（Illicit major）是一種形式謬誤，是因三段論中的大詞在結論周延，而在大前提中不周延，而導致論證無效。

直言三段論推理規則

例句：

推理規則：

結論中的謂詞是大詞(P)；包含大詞的前提為大前提
結論中的主詞是小詞(S)；包含小詞的前提為小前提
二前提中重複出現的詞是中詞(M)
判定論述的語氣及周延性（以下周延記為+，不周延記為-）：
- 全稱肯定(A)：「所有A是B」，A+ B- （單稱為準三段論，可視為全稱肯定）
- 全稱否定(E)：「沒有A是B」，A+ B+
- 特稱肯定(I)：「有些A是B」，A- B-
- 特稱否定(O)：「有些A不是B」，A- B+

例句分析結果：

有效性檢驗：

結論中周延的詞必須在前提中周延（謬誤：大詞不當、小詞不當）
中詞必須周延至少一次（謬誤：中詞不周延）
結論中否定命題的數目必須和前提中否定命題的數目相等：
- 二前提皆肯定，則結論必須為肯定（謬誤：肯定推得否定）
- 一前提是否定，則結論必須為否定（謬誤：否定推得肯定）
- 二前提皆否定，則三段論必無效（謬誤：互斥前提）

其他檢驗：

狗是哺乳動物，貓不是狗。因此，貓不是哺乳動物。

此例可分析如下：

結論中「哺乳動物」是謂詞，故為大詞；「貓」是主詞，故為小詞，「狗」是中詞。大前提的「哺乳動物」是指「部分哺乳動物」，是不周延的；結論的「哺乳動物」是指「所有哺乳動物」，是周延的。大詞「哺乳動物」在結論中周延卻在前提中不周延，可知此論證無效。

伊澤瑞爾是射手，圖奇不是伊澤瑞爾。因此，圖奇不是射手。

y=2^x是遞增函數，y=3x不是y=2^x。因此，y=3x不是遞增函數。

第一格AEE論段，無效。