2.2 命题逻辑的归结 2.2.1 命题逻辑基础