02-23.1 谓词公式的解释和分类-课件