三段式逻辑形式

三段式逻辑推理是从两个前提推出一个结论的推理。由于推理所依据的前提类型不同，三段式推理也有各种类型。主要有直言三段式推理、选言三段式推理、假言三段式推理等。三段式推理除了必然的推理，还可以进行或然的推理的构建。或然的三段式推理是指从前。