双重否定律,double-negation law,在线英语词典,英文翻译,专业英语

1) double-negation law

双重否定律

2) double

双重

Discussing the management baseed on double capability of medical equipmnet;

论医疗设备的双重能本管理

This article,analyzes this novel in the perspective of fable-type novels,and tries to digs out the double effect of aesthetics found in the novel.

本文旨在从寓言体小说的角度重新解读《猫城记》,并试图分析由此而产生出的双重审美效果。

3) dual

双重

4) dual nature

双重性（双重类别）

5) Dual Fluorescence

双重荧光

Dual Fluorescence of Methyl Salicylate in Aqueous Solution of β-Cyclodextrin;

水杨酸甲酯在β-环糊精水溶液中的双重荧光光谱

The influence of β-CD and DM-β-CD on dual fluorescence of OS is investigated.

考察了不同溶剂中水杨酸异辛酯(OS)的双重荧光性质,研究了β-环糊精(-βCD)和二甲基-O-β-环糊精(DM-β-CD)对OS双重荧光光谱的影响,并通过OS分子和-βCD空腔的大小对比,对OS分子与-βCD空腔的结合位点进行了讨论。

Dual fluorescence at ca .

1-萘胺 (NA)的基态与激发态电离已有诸多报道 ,但主要集中于低 p H介质中 1 -萘铵离子的酸碱电离过程 ,并已在 NA的酸性水溶液中观察到了分别对应于萘铵离子和中性萘胺分子的双重荧光[1] 。

6) dual curing

双重固化

Preparation and properties of UV-heat dual curing materials;

光-热双重固化材料的制备及性能研究

This paper reviews the recent research development of UV curing systems including free radical, cationic,free radical-cationic and dual curing system.

综述了紫外光固化体系,包括自由基紫外光固化体系、阳离子紫外光固化体系、自由基-阳离子混杂光固化体系和双重固化体系的研究进展。

Effect of ultraviolet and heat dual curing on properties of coatings was studied and mechanism of ultraviolet and heat dual curing was discussed.

探讨光、热固化的原理及特点,研究了紫外光和热双重固化对涂料性能的影响。

参考词条

双重震源双重物源双重结构双重控制双重介质双重糖化 “双重”身份双重性双重密封双重机制双重PCR 双重构造双重回归加味附子理中汤解集

补充资料：双重否定律

双重否定律
double negation, law of

　　双，否定律【d阅晓够，公扣，Iawof二脚扣枷。m op一明a朋a3眼001 一条逻辑定律，依照这条定律，“如果A假是假的，那么A真”.这条定律也称为双重否定消去律(口刀戊llation Iaw of double飞罗tion).在形式逻辑语言中，该定律表示为，，p二p并且通常以这种形式(或相应的公理模式(雀幻创n sch日rr屹))出现于形式理论的公理中.双重否定律是传统数学中间接证明(indi-n℃tp代幻f)的逻辑基础，在相容理论中依照下述方法使用间接证明:假设在给定的数学理论中命题A假就导出一个矛盾;由于理论是相容的，这就证明“非A”是假的，从而A是真的.作为一个法则，双重否定律不适宜应用到构造性的考虑中，也包括对算法有能行性要求的数学基本命题之中不宜使用双重否定律.上述情况的一个典型例子是形如“对任意x存在一个y使得B(x，y)真”的命题A的任一间接证明;最后一步(即应用双重否定律)不能实行，因为命题构造的正确性必定要求算法的存在(也就是对任意x，给出y的一个构造法使得B(x，力真).然而上面的讨论，包括双重否定律，不能导致任一算法的构造法，乃至根本没那样的算法可能存在(也见构造选择原理(con-str以为Ve seb山on PrindPle)). 双重否定律与排中律(场wof此exdud曰而d-die)密切相关，并且在某种意义下等价于它.于是在直觉主义命题演算中，这两个定律中的每一个皆可以从另一个推演出.晰咚愁.翼获知prOO化切叫罗足’一泳。译
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引双重乳液双重改性双重丢手双重保护双重加热双重热备

1) double-negation law 双重否定律 2) double 双重 1. Discussing the management baseed on double capability of medical equipmnet; 论医疗设备的双重能本管理 2. This article,analyzes this novel in the perspective of fable-type novels,and tries to digs out the double effect of aesthetics found in the novel. 本文旨在从寓言体小说的角度重新解读《猫城记》,并试图分析由此而产生出的双重审美效果。 3) dual 双重 4) dual nature 双重性（双重类别） 5) Dual Fluorescence 双重荧光 1. Dual Fluorescence of Methyl Salicylate in Aqueous Solution of β-Cyclodextrin; 水杨酸甲酯在β-环糊精水溶液中的双重荧光光谱 2. The influence of β-CD and DM-β-CD on dual fluorescence of OS is investigated. 考察了不同溶剂中水杨酸异辛酯(OS)的双重荧光性质,研究了β-环糊精(-βCD)和二甲基-O-β-环糊精(DM-β-CD)对OS双重荧光光谱的影响,并通过OS分子和-βCD空腔的大小对比,对OS分子与-βCD空腔的结合位点进行了讨论。 3. Dual fluorescence at ca . 1-萘胺 (NA)的基态与激发态电离已有诸多报道 ,但主要集中于低 p H介质中 1 -萘铵离子的酸碱电离过程 ,并已在 NA的酸性水溶液中观察到了分别对应于萘铵离子和中性萘胺分子的双重荧光[1] 。 6) dual curing 双重固化 1. Preparation and properties of UV-heat dual curing materials; 光-热双重固化材料的制备及性能研究 2. This paper reviews the recent research development of UV curing systems including free radical, cationic,free radical-cationic and dual curing system. 综述了紫外光固化体系,包括自由基紫外光固化体系、阳离子紫外光固化体系、自由基-阳离子混杂光固化体系和双重固化体系的研究进展。 3. Effect of ultraviolet and heat dual curing on properties of coatings was studied and mechanism of ultraviolet and heat dual curing was discussed. 探讨光、热固化的原理及特点,研究了紫外光和热双重固化对涂料性能的影响。参考词条双重震源双重物源双重结构双重控制双重介质双重糖化 “双重”身份双重性双重密封双重机制双重PCR 双重构造双重回归加味附子理中汤解集补充资料：双重否定律双重否定律 double negation, law of 　　双，否定律【d阅晓够，公扣，Iawof二脚扣枷。m op一明a朋a3眼001 一条逻辑定律，依照这条定律，“如果A假是假的，那么A真”.这条定律也称为双重否定消去律(口刀戊llation Iaw of double飞罗tion).在形式逻辑语言中，该定律表示为，，p二p并且通常以这种形式(或相应的公理模式(雀幻创n sch日rr屹))出现于形式理论的公理中.双重否定律是传统数学中间接证明(indi-n℃tp代幻f)的逻辑基础，在相容理论中依照下述方法使用间接证明:假设在给定的数学理论中命题A假就导出一个矛盾;由于理论是相容的，这就证明“非A”是假的，从而A是真的.作为一个法则，双重否定律不适宜应用到构造性的考虑中，也包括对算法有能行性要求的数学基本命题之中不宜使用双重否定律.上述情况的一个典型例子是形如“对任意x存在一个y使得B(x，y)真”的命题A的任一间接证明;最后一步(即应用双重否定律)不能实行，因为命题构造的正确性必定要求算法的存在(也就是对任意x，给出y的一个构造法使得B(x，力真).然而上面的讨论，包括双重否定律，不能导致任一算法的构造法，乃至根本没那样的算法可能存在(也见构造选择原理(con-str以为Ve seb山on PrindPle)). 双重否定律与排中律(场wof此exdud曰而d-die)密切相关，并且在某种意义下等价于它.于是在直觉主义命题演算中，这两个定律中的每一个皆可以从另一个推演出.晰咚愁.翼获知prOO化切叫罗足’一泳。译　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com