3.2 知识蕴涵命题逻辑公理系统