susumu 12.j 命題論理-10 構文論的推論