本章小结 本章首先引入命题及逻辑联结词, 并在此基础上定义了公式以及公式的等 价、蕴涵、范式等,然后用等价式、蕴 涵式等进行命题演算和推理本章将初步 体现数理逻辑的基本观点和方法,为将 来从事计算机工作打下良好的基础 8 返回本章首页 2021/1212021/1/21 8 本章小结 本章首先引入命题及逻辑联结词， 并在此基础上定义了公式以及公式的等 价、蕴涵、范式等，然后用等价式、蕴 涵式等进行命题演算和推理.本章将初步 体现数理逻辑的基本观点和方法，为将 来从事计算机工作打下良好的基础. 返回本章首页