推論
あるいくつかの命題(前提)から、別の命題(結論)を導く。
P→Qを証明する場合、Pが真であるときQが真であることを示す。
P→Qが自明であるとき、P→Qが真、かつPが真であるとき、Qが真であることを示す。
その他
命題論理においては、 A 1 , ⋯ , A n {\displaystyle A_{1},\cdots ,A_{n}} を前提として、結論 C {\displaystyle C} が真である事を導く過程のことで、推論が正しいことは、( A 1 ∧ ⋯ ∧ A n ) ⊃ C {\displaystyle A_{1}\land \cdots \land A_{n})\supset C} が恒真式であることと同値。 A i {\displaystyle A_{i}} と C {\displaystyle C} は論理式。