假言三段论

以纯为假言命题、或其中一前提为假言命题所构成的三段论。如「如甲则乙，如乙则丙，故如甲则丙」此为纯假言三段论式；「如甲则乙，今甲，故乙」，「如甲则乙，今非乙，故非甲」此为混假言三段论式，前者为立式，后者为破式。