三段論證(三段推理syllogism)：間接的推理典型，由兩個前提命題推出一個結論命題的演繹論證。推理分兩種：直接推理(前提只有一個)、間接推理(前提有兩個或以上)。
定言三段論證(categorical syllogism)：三段論證的一種典型，即以兩個定言命題為前提，堆出一個定言命題為結論的間接推理。其前提命題和結論命題正好都是定言命題。