讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。

相关句子

序号 句子
101 但由于其本身具有的特殊性质,现有的无线网络管理协议不能高效地应用于卫星网络中。
102 当今时代,对大部分亚特兰提斯的臆测中没有被提到的是亚特兰提斯「第二个月亮」的利用和真实性质。
103 当然那儿也有高级餐厅,大小土产百货,一家地标性质的书店和演出场地。
104 祷告本身就是宗教性质的,州政府鼓励做祷告,就是在扶植一种它所确定和支持的宗教活动,从而违背"确立宗教条款"。
105 得到了既约剩余系中同阶元的等幂和的一系列性质及其计算公式,并给出了证明。
106 地役权:限制,妨碍,租赁,保留,限制性条款,合同申明,特别估价,法令或者其他类似性质。
107 的内容性质,及采取纪律处分之理由。
108 第三部分研究商业名称权的性质与内容。
109 第一个章节为阅读这本笔记本做了铺垫,而第二个章节把人物带入这片土地,享受从来没有过的喜悦,但是未来如何在此类性质的书中很少提及。
110 点多面广、资金性质复杂,地下钱庄案隐蔽性强、取证难度大。
111 电场线的一般定义及从电场线图归纳的普遍性质符合各种静电场。
112 电离辐射能够改变电极过程的性质,并能破坏其动力学的平衡。
113 动笔前,我便划定了这篇小说玄幻奇丽的性质,我知道一篇侃侃而谈的环保呼吁文是很难引起广泛关注的,所以,我用最梦幻的题材写最现实的事。
114 读书要先分类,有些书须精读,有些因属参考性质,不求甚解亦无妨。
115 短周期性质的剩余静校正问题,国内外已有广泛介绍。
116 对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。
117 对该问题范围和性质的描述才刚刚开始,对许多风险因素仍存有争议,而证明能够有效预防虐待老人情况发生的证据也依旧有限。
118 对后者的多角度审视,则形成了从张承志及其作品与社会、历史的关系切人的社会历史性质的研究,或者更多的是直接从文本切人的对文本的多侧面具体分析。
119 对磷肥施用进行定址管理,为考量作物差异与土壤性质变异下,将田间土壤规划出差异性施肥之磷肥施用管理区。
120 对事物的性质,特征等故意地夸张或缩小。
121 对向量值缓慢振动函数及遥远概周期函数的性质作了讨论。
122 对新型无机混凝剂的性质、混凝机理、制造方法进行了综述,列举了典型的应用实例,并对的发展提出了建议。
123 对有奖销售所附赠品的责任问题也应依其性质具体分析,从而得出相应的解决方法。
124 对于唐代边塞诗这一诗史奇观,学界多从相关战争性质进行研究。
125 对于脱肠患者,如果是频发性质的患者,将被列入“补充役”,但如果没有并发症,则仍将归为兵役服役对象。
126 对于中国古典长篇章回小说的性质,中国学者一般认为是“通俗文学”。
127 多元智能理论是挑战传统智能结构及其性质的新的认知理论。
128 而哥廷根学派,主导思想是与实验结果密切相关的物理量的使用,而非对易关系成为次要的,导出的性质。
129 而且,查询优化器通过以一种新的方式估计执行成本,判别内存中的表的不同性质。
130 而且,在一些情况下,它们能表现出更接近金属的性质。
131 而事实上,我们应该怎样理解科学普及工作量化,在科学的性质?
132 凡是带有抗议性质或附加什么条件的话,最好不要再讲,否则就显得气量太小了。
133 凡是带有抗议性质或附加什么条件的话,最好不要再讲,否则就显得气量太小了。狄更斯 
134 方法:在文献研究基础上,根据处方的功能主治和药物成分的性质,采用超声波提取方法,确定了制备工艺。
135 放荡放荡不羁的状态或性质。
136 非常低的通货膨胀和通货紧缩在性质上会引起相类似的经济问题,虽然当通货紧缩压力增大时,经济运行的成本可能会急剧上升。
137 夫人虽有性质美,而心辩知,必将求贤师而事之,择良友而友之。
138 浮力不是单个水分子的性质。
139 符号计算主义的意向实在论论证的要点,是表明具有语义性质的命题态度的因果效力。
140 腐殖质性质及矿物组成具有明显的地带性烙印。
141 富国和贫国之间的经济关系存留著浓厚的新殖民主义性质。
142 伽玛函数的单调性质和对数完全单调性质被获得了。
143 该县声称征用是为了公共利用,但其"公共"的性质实在牵强附会。
144 该盐同嘌呤霉素游离碱具有相同的药理学性质,它的高度的水溶性能给体外研究应用提供一些优势。
145 盖层的排替压力决定了盖层的封闭性质。
146 高分子材料具有传统固化材料所没有的优越性质,其在土加固方面的发展前途远大。
147 高顺式结构合成聚合物的性质当然与天然橡胶的性质非常相似。
148 各种谈判,无论是个人还是商务性质的谈判,彼此叱骂的可能性远高于热忱地握手。
149 给出了数阵的加法、数乘和乘法定义,并给出高阶等差数阵和周期数阵的运算性质。
150 给出了伪逆算子的运算性质及满射有界算子的伪逆算子的一种表示。