对命题逻辑和谓词逻辑的核心归纳可以做到一目了然