命题模态归结的一种变型

本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结．证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发，使用标准模态归结推出空子句的演绎．从而证明了对于不可满足标准予句集、标准模态归结是完备的．这种标准模态归结，推理规则简单、直观且容易实现．

如何防治甘薯黑斑病

甘薯黑斑病又称甘薯黑疤病，已成为我国甘薯产区危害普遍而严重的病害之一。据统计，我国每年由该病造成的产量损失为5％-10％，家畜食用病薯还可引起中毒，严重者死亡。