推論
A 1 , ⋯ , A n → C {\displaystyle A_{1},\cdots ,A_{n}\to C} と記号化され、推論式(英語版)(英: sequent)と呼ばれる。推論式と意味論的推論(英: semantical inference)を対応づけることで上記の内容が得られる。
述語論理では、 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} は論理式。