荒谬蕴涵相关硕士博士期刊学术论文

公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式，由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了......