日本語から記号論理へ

第1章 日本語(眠れる森の美女 あいまい表現の簡単な例 量化詞なるもの ほか) 第2章 記号論理(否定記号 全称量化子 存在量化子 ほか) 第3章 数学(数学的帰納法 ある種の有限級数の和 整数論 ほか)