以純?yōu)榧傺悦}、或其中一前提為假言命題所構(gòu)成的三段論。如「如甲則乙,如乙則丙,故如甲則丙」此為純假言三段論式;「如甲則乙,今甲,故乙」,「如甲則乙,今非乙,故非甲」此為混假言三段論式,前者為立式,后者為破式。