1) conditional α-tautologies
条件α-重言式
1.
The notions of conditional α-tautologies of formulas in the propositional logic systems based on regular implication operators are proposed.
在基于正则蕴涵算子的命题逻辑系统中给出了公式的条件α-重言式的概念,讨论了它们的性质,并分别在Lukasiew icz逻辑系统、Go¨del逻辑系统、乘积逻辑系统、L*逻辑系统及相应的n值逻辑系统中研究了条件α-重言式的分布。
2) α-tautology
α-重言式
1.
The truth degree of Intuitionistic Fuzzy Propositional Logic formula is defined by probability measure,the relation of α-truth degree and α-tautology is researched.
利用概率测度来定义直觉模糊命题逻辑公式A的α-真度,研究α-真度与α-重言式的关系,推理规则以及真度值在[0,1]中的分布;把王国俊教授关于一维赋值格上的重言式理论和真度理论通过加上一定的约束条件推广并应用到二维赋值格上。
3) Σ-(α-Tautology)
∑-(α-重言式)
4) α(-|(a.e.)) tautology
α(-|(a.e.))重言式
5) accessible α-tautology
可达α-重言式
6) H~α condition
H~α条件
补充资料：α,α,α,α',α',α'-六氯对二甲苯
分子式：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℃，过滤，洗涤得粗品，重结晶，活性炭脱色得成品。
用途：抗血吸虫病药物。对肝吸虫病、阿米巴原虫病、疟疾以及肠道线虫有一定疗效。但对神经系统的不良反应较多见，且延迟反应持续较久。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条