(这里有且只有三个判断：大前提/小前提/结论) 推理格式：凡M皆是P S是M .S是P NOT正：直言三段论有四种不同形式，称为四个格。 (主项、谓项、前提、周延性等) (3)假言直言三段论 假言直言三段论就是从一个假言判断和一个直言判断得出第三个判断的推 理。 假言直言三段论有肯定式和否定式两种： ·肯定式，是从肯定假言前提的前件，从而肯定它的后件的推理 例若两角是对项角，则此两角相等： ∠AOC和∠BOD是对顶角， ∴.∠AOC=∠BOD A→B] 肯定式的推理格式： ●否定式，是从否定假言前提的后件，从而否定它的前件的推理。 例若两角是对顶角，则此两角相等： ∠AOC≠∠BOD ∴∠AOC和∠BOD不是对顶角 否定式的推理格式： A-B (这里，BA分别表示判断B、A的否定) 如果大前提A→B,用其等价命题B一A代替，()就成为(m) （这里有且只有三个判断：大 前提/ 小前提 / 结论） 推理格式：凡 M 皆是 P S P S M 是 是  NOTE：直言三段论有四种不同形式，称为四个格。 （主项、谓项、前提、周延性等） （3）假言直言三段论 假言直言三段论就是从一个假言判断和一个直言判断得出第三个判断的推 理。 假言直言三段论有肯定式和否定式两种： ⚫ 肯定式，是从肯定假言前提的前件，从而肯定它的后件的推理。 例 若两角是对顶角，则此两角相等； AOC BOD AOC BOD ；  =   和 是对顶角 肯定式的推理格式： (i) B A A B       ⚫ 否定式，是从否定假言前提的后件，从而否定它的前件的推理。 例 若两角是对顶角，则此两角相等； AOC和BOD不是对顶角 AOC  BOD 否定式的推理格式： (ii) A B A B       （这里， B，A 分别表示判断 B、A 的否定） 如果大前提 A B ，用其等价命题 B  A 代替，（ii）就成为（iii）