7.2 知识蕴涵谓词逻辑公理系统