susumu 12.g 命題論理-7 命題論理の文法