susumu 12.B 命題論理2 論理代数と論理主義