inference)とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。正しさを妥当性という。あらゆる事柄は言語において表現されるのであるから、妥当な推論には、その推論が指し示す事柄が妥当であること(意味論)、その推論が行われた状況において妥当であること(語用論)、その推論の構文が妥当であること(構文論)、が考えられる。論理学の古典論理では、ある言語によって表現された文章内容が「真偽を問えるもの」であった場合、それを命題と呼び、ある命題から他の命題を導くことを推論という。このとき、導かれる元の命題を前提または仮定といい、導かれた命題を結論という。命題には、その内容と独立に常に真であるような命題が存在し、これをトートロジー(恒真式)という。このトートロジーを推論に利用すれば、妥当な推論であるといえることになる。数理論理学の「推論」はこれのみを指す。推論編集あるいくつかの命題(前提)から、別の命題(結論)を導く。P→Qを証明をする場合、Pが真であるときQが真であることを示す。P→Qが自明であるとき、P→Qが真、かつPが真であるとき、Qが真であることを示す。「三段論法」を参照ふたつの命題(前提)から、ひとつの命題(結論)を導く。実験や経験などによるいくつかの特別な場合から、一般的な法則を導き出す。事例ベース推論この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。3.0のもとで利用可能です。プライバシーデスクトップ。