第六节形式演绎 本节给出了形式演绎的三个规则及举例说明 这三个规则的灵活应用; 规则P:在演绎过程中可以随便使用前题 集合中任一公式 规则Q:在演绎过程中可以随便使用前面 演绎出来的某些公式的逻辑结果 ●规则D:如果震要演绎出的公式具有PQ 的形式,则可以将P做为附加前题使用 设法演绛出Q来 证明的三种方法,即真值表法,直接证法 和间接证法 返回本章首页 2021/1/212021/1/21 7 第六节 形式演绎 本节给出了形式演绎的三个规则及举例说明 这三个规则的灵活应用; ⚫ 规则P：在演绎过程中可以随便使用前题 集合中任一公式; ⚫ 规则Q：在演绎过程中可以随便使用前面 演绎出来的某些公式的逻辑结果; ⚫ 规则D：如果需要演绎出的公式具有P→Q 的形式，则可以将P做为附加前题使用， 设法演绎出Q来. ⚫ 证明的三种方法，即真值表法，直接证法 和间接证法. 返回本章首页