1) α contradiction
α-矛盾式
2) generalized contradiction
广义矛盾式
1.
By the study of the formal deductive system L~* for fuzzy propositional calculus and therevised Kleene logic system, a downgrade algorithm among generalized contradictions have been given,and its properties have been discussed.
通过对模糊命题演算的形式演绎系统L~*及修正的Kleene逻辑系统W,W,W_k的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具。
2.
As a counterpart of upgrade algorithm of generalized tautologies in Gdel logic system we give a kind of downgrade algorithm among generalized contradictions in this system.
与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助。
3.
We establish a downgrade algorithm among generalized contradictions in Gainse Rescher logic system r, G r, S n.
在Gainse Rescher逻辑系统 Gr,Gr,Sn 中的广义矛盾式之间建立了一种降级算法 ,并讨论了该降级算法的基本性质 。
3) generalized contradictory
广义矛盾式
1.
The generalized contradictory theory in subalgebras of revised Kleene system;
修正的Kleene系统中的子代数的广义矛盾式
2.
The Generalized Contradictory Theory in Revised Product Logical System;
修正的Product逻辑系统中的广义矛盾式
5) paradoxical equality
矛盾等价式
6) resolve contradiction
怪圈式矛盾
补充资料：α,α,α,α',α',α'-六氯对二甲苯
分子式：C8H4Cl6
分子量：312.84
CAS号：68-36-0
性质：白色针状或粉末状结晶。熔点108-110℃。溶于二甲苯、石油醚、乙醇、植物油，不溶于水。无味，有特殊臭味，遇光、碱会缓慢分解而呈酸性。
制备方法：以混二甲苯为原料，先用98%硫酸磺化，使间二甲苯生成间二甲苯磺酸盐。从磺化反应物中分离出含邻、对二甲苯的油层，水洗、干燥，减压蒸馏出邻、对二甲苯。间二甲苯磺酸盐经水解可得副产品间二甲苯。由邻、对二甲苯经氯化即得1，4-双（三氯甲基）苯：在反应锅中投入邻、对二甲苯，再加入过氧化苯甲酰和三乙醇胺。加热到70℃后，在光照射下导入氯气，于70-80℃反应6h，再升温至100-120℃继续反应，至反应液相对密度达到1.560-1.580（65℃），即为反应终点，停止通氯，减压脱除余氯。降温至5℃，过滤，洗涤得粗品，重结晶，活性炭脱色得成品。
用途：抗血吸虫病药物。对肝吸虫病、阿米巴原虫病、疟疾以及肠道线虫有一定疗效。但对神经系统的不良反应较多见，且延迟反应持续较久。
分子量：312.84
CAS号：68-36-0
性质：白色针状或粉末状结晶。熔点108-110℃。溶于二甲苯、石油醚、乙醇、植物油，不溶于水。无味，有特殊臭味，遇光、碱会缓慢分解而呈酸性。
制备方法：以混二甲苯为原料，先用98%硫酸磺化，使间二甲苯生成间二甲苯磺酸盐。从磺化反应物中分离出含邻、对二甲苯的油层，水洗、干燥，减压蒸馏出邻、对二甲苯。间二甲苯磺酸盐经水解可得副产品间二甲苯。由邻、对二甲苯经氯化即得1，4-双（三氯甲基）苯：在反应锅中投入邻、对二甲苯，再加入过氧化苯甲酰和三乙醇胺。加热到70℃后，在光照射下导入氯气，于70-80℃反应6h，再升温至100-120℃继续反应，至反应液相对密度达到1.560-1.580（65℃），即为反应终点，停止通氯，减压脱除余氯。降温至5℃，过滤，洗涤得粗品，重结晶，活性炭脱色得成品。
用途：抗血吸虫病药物。对肝吸虫病、阿米巴原虫病、疟疾以及肠道线虫有一定疗效。但对神经系统的不良反应较多见，且延迟反应持续较久。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条