摘要
本论文介绍了公式蕴含的几种证法:真值表法、等价演算法、直接证法、间接证法等,灵活应用公式蕴含的证明方法,有利于逻辑推理的顺利进行。
The paper introduces several methods of proof about formula implication： truth table method; equivalent performing mathematical calculations method; direct method; indirect method and so on, Applying flexibly the method of proof on the formula implication is helpful to the logical inference without a hitch,
出处
《重庆职业技术学院学报》
2006年第2期153-154,共2页
Journal of Chongqing Vocational& Technical Institute
关键词
命题公式
蕴合
直接证法
间接证法
proposition formula
implication
the method of direct proof
the method of indirect proof
