susumu 12.h 命題論理-8 意味論的推論