教学提示：命题逻辑亦称命题演算，研究由命题为基本单位构成的前提与结论之间的可推导关系。
教学要求：了解命题、逻辑联词、逻辑等值和蕴涵等基本概念。掌握真值表技术与等值运算。重点介绍范式和命题演算的推理理论。 TckmZxi0UptrJSSA9eoeuq/AH1GwdUeWqvjWcYK9BEZn3t7sGOgXzXziT0yy72V5
