三段式邏輯形式

三段式邏輯推理是從兩個前提推出一個結論的推理。由於推理所依據的前提類型不同，三段式推理也有各種類型。主要有直言三段式推理、選言三段式推理、假言三段式推理等。三段式推理除了必然的推理，還可以進行或然的推理的構建。或然的三段式推理是指從前。