The application of disjunctive syllogism is indispensable to investigation, which has been proved by investigation practice for a long time.
侦查工作离不开选言推理的运用，这已为长期的侦查实践所证明。
Disjunctive words coexistence refers to two disjunctive words being used in a sentence.
转折词语的连用是指在同一个句子中两个表示转折意思的词语连用。
The disjunctive reasoning is an important reasoning in the process of detection of crimes.
选言推理在侦查活动中具有重要的作用。
The application of disjunctive syllogism contributes to the judgment of the nature of a case, reduction of investigation areas, and proof of investigation suppositions.
运用选言推理有助于判定案件的性质，缩小侦查的范围，证明侦查假设。
The paper analyzes the contents of exclusive logical thinking, its manifestation in economic activities, and its relationship with the law of excluded middle and disjunctive inference.
本文分析了排他性逻辑思维的内容，在经济活动中的表现及与排中律、选言推理的关系。
With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.
针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。
Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。
应用推荐