susumu 12.f 命題論理-6 完全系