1) α-MP rule
α-MP规则
3) fuzzy MP rule
模糊MP规则
4) Generalized semantic MP-rule
广义语义MP-规则
5) generalized semantic MP rule
广义语义MP规则
1.
In the logic system H12,a new partition of F(S) can be obtained by utilizing the concept of generalized tautologies,moreover,a variety of generalized semantic MP rules and generalized semantic HS rules are obtained in H12.
以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0
2.
The generalized semantic MP rule in the revised Kleene logic system is applied to Hα logic system.
另外,逻辑系统-W中的广义语义MP规则也成为其中的一个特例。
6) generalized semantic C-MP rule
广义语义C-MP规则
补充资料：α,α,α,α',α',α'-六氯对二甲苯
分子式：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℃，过滤，洗涤得粗品，重结晶，活性炭脱色得成品。
用途：抗血吸虫病药物。对肝吸虫病、阿米巴原虫病、疟疾以及肠道线虫有一定疗效。但对神经系统的不良反应较多见，且延迟反应持续较久。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条