補題

講座系

【数学】証明って何だろう

今、シリーズでオートマトンと言語に関する話を書いている。初回は以下だ。さて、前回は証明の解説の準備として、命題と論理を解説した。改めて言葉で見るとなかなかに難しそうだが、適宜真偽関係を見ながら進めてもらえればと思う。前回の記事は以下だ。…と...
スポンサーリンク