推論と証明など

用語・関連語
- 命題
  - 不明瞭な点のない文章
- 公理
  - 証明する必要のないもの
- 悪魔の証明
  - 存在しないものを証明することを例えた表現
推論の方法
- 帰納法
  - 個別の事例から一般的な内容を導く
- 演繹法
  - 一般的な内容を個別の事例に当てはめること
  - 推論
  - 三段論法
    - 大前提と小前提から、結論を導き出す(A=B,C=A→C=B)
    - 蓋然的三段論法（仮言的三段論法）
    - 選言的三段論法
  - 両刀論法
  - 同値の推論
証明の方法
- 背理法（帰謬法、間接証明、間接還元法）
  - 命題が偽であることを証明するために、命題を真であると仮定する
- 対偶法