ちょっとした思いつきとか都合で数学的 (というか論理学的) な話をいくつか書いていこうと思います。
　長月はわんくま勉強会で論理の話をしているんですが、ちょこちょこ何か書いていかないと急に資料作るの大変だとか、多分これまでのセッションでぽかーんになったままの人が沢山居るだろうからフォローしないとなとか例示が足りてなかったなとか口頭でフォローするからいいやとそれだけでわかる資料になってないなとか思うところがあります。
　なので数学なお話をしばらく書いていこうかなと思います。計算理論や論理学の本に書いてあるような説明から、わんくま勉強会で話しているときにポロポロと漏らしていた長月の感想的な部分など、長月の言葉で論理学を見ていきましょう。
　第一回の今回は命題論理について。

目次

• 1.命題論理事始め
• 1.1.命題ってなんだ？
• 1.2.論理って何だ？
• 1.3.結局命題論理ってなんだ？
• 2.命題論理の規則
• 2.1.命題変数
• 2.2.論理結合子
• 2.3.書き換え規則