disjunction sign
- disjunction sign的基本解释
-
-
析取符号
- 相似词
- 更多 网络例句 与disjunction sign相关的网络例句 [注：此内容来源于网络，仅供参考]
-
This article expounds on the essentials of all n avigation de sign ing, and, based on the theory of modern library comprehensive de sign ing, illustrates the sign ificance and detailed de sign ing methods of outdoor navigational system, indoor sign de sign ing and de sign ing of bookshelf sign s.
文章阐述了图书馆各种导向设计的基本要素，并以现代图书馆综合设计观点举例说明户外导向系统、内部标志及架位标识设计的重要意义和具体设计方法要点。
-
There are many problems in the relationship bewteen town government and village committee after the cancellation of the agricultural tax, including that the liceity of town governments facing challenges because the absence of the supply of rural public goods; the "attach-up" of town governments leading to disjunction between town governments and village committee; the bureaucratization of town governments intensifying their confrontation with the village committees; the disjunction and confrontation leading the excessive autonomy of villages; the failure of the system of "one case one meeting" strengthening the tendency of town subordination of villages.
取消农业税后我国的乡村关系中存在着诸多问题：行政村公共产品供给缺位，乡镇政府面临着合法性挑战；乡镇政府的"上附性"会导致其与行政村的脱节；乡镇政府的官僚化会加剧其与行政村的对立；乡村之间的脱节与对立会导致行政村的过度自治化；"一事一议"制度失效会强化行政村的乡镇附属化倾向。在这里需要说明的是，行政村的过度自治化和乡镇附属化倾向在农业税改革之前就存在着，但农业税改革之后这些情况虽然存在，但却是由不同的原因引起的。
-
Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.
研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。
- 更多网络解释 与disjunction sign相关的网络解释 [注：此内容来源于网络，仅供参考]
-
disjunction sign：析取记号
disjunction 析取 | disjunction sign 析取记号 | disjunction symbol 析取记号