谓词逻辑的等价式和蕴涵式10111