証明 入門編

命題と論理の基礎を学ぶ

この編で学ぶこと

数学の「証明」とは何かを理解するための第一歩である。難しい記号は使わず、日常の言葉から始める。

  • 「命題」とは何か
  • 「かつ」「または」「ならば」の意味
  • 簡単な証明の読み方

目次

  1. 第1章 命題とは何か

    真か偽か決まる文、命題の例と非例

  2. 第2章 論理演算（かつ・または・でない）

    AND、OR、NOT の意味と真理値表

  3. 第3章 「ならば」の意味

    条件文 P → Q の正しい理解

  4. 第4章 逆・裏・対偶

    条件文の変形と同値関係

  5. 第5章 証明を読んでみよう

    簡単な証明の構造を理解する

  6. 第6章 練習問題

    入門編の総まとめと理解確認のための問題（解答例付き）

前提知識

特別な前提知識は必要ない。整数の性質や基本的な代数操作、 変数の扱いなど、 中学数学程度の内容を例として用いる。

よくある質問

証明の入門で学ぶ内容は何か。

「証明とは何か」という基本概念、命題・公理・定理の区別、論理記号の基礎（かつ・または・ならば・否定）、証明の書き方の形式と慣習を学ぶ。数学的証明を初めて学ぶ人向けの出発点である。

数学的証明と「説明」はどう違うか。

「説明」は直観や例で納得させることが目的であるが、「証明」は仮定から出発して論理規則のみを用いて結論を導く過程であり、反例が一つでもあれば証明は無効となる。証明は再現可能な論理的手続きであり、別の人が読んでも同じ結論に到達できる必要がある。

証明が書けるようになるにはどのように練習すればよいか。

まず既存の証明をよく読んで「どの仮定を使ったか」「どのステップで何の定理を使ったか」を分析する。次に簡単な命題（偶数の和、連続整数の積など）の証明を自分で書く練習をする。初めは形式的な書き方を真似て、徐々に自分の言葉で書けるようにしていく。