■本章对命题等值和推理演算进行讨论,是 以语义的观点进行的非形式的描述,不仅 直观且容易理解,也便于实际问题的逻辑 描述和推理。 ■严格的形式化的讨论见第三章所建立的公 理系统。◼ 本章对命题等值和推理演算进行讨论，是 以语义的观点进行的非形式的描述，不仅 直观且容易理解，也便于实际问题的逻辑 描述和推理。 ◼ 严格的形式化的讨论见第三章所建立的公 理系统