たんげん S1-1
命題と論理
⤵ 合流 — さきに まなんで おきたい こと
「6は偶数である」——正しい。「10は3の倍数である」——正しくない。数学は、こうした白黒のはっきりつく主張を積み上げてできている。
このたんげんで学ぶ論理のことばは、数学という言語の文法だ。これから先のすべての証明・すべての定義が、この文法の上に建てられていくよ。論理と集合ルート（S）の出発点だ。
たんげん S1-1
「6は偶数である」——正しい。「10は3の倍数である」——正しくない。数学は、こうした白黒のはっきりつく主張を積み上げてできている。
このたんげんで学ぶ論理のことばは、数学という言語の文法だ。これから先のすべての証明・すべての定義が、この文法の上に建てられていくよ。論理と集合ルート（S）の出発点だ。